Purchase Solution

# Application of Sylow's Theorems

Not what you're looking for?

a. Let G = Gl_3(F_p) denote the multiplicative group of all 3 x 3 nonsingular matrices with entries in the field of p elements F_p = Z/pZ. Show that the set of all matrices of the form

(1 a b
0 1 c
0 0 1)

where a,b, c belong to F_p, is a Sylow-p subgroup of G.

b. Is it the only Sylow-p subgroup of G?

##### Solution Summary

In this solution, we use Sylow's theorems to show that a particular subset of G = GL(3,Z_p) is a Sylow subgroup of G.

##### Solution Preview

a. To show that the set H of matrices of the above form is a Sylow-p subgroup of G, it suffices to show that it is a subgroup of order p^k, where #G = p^k q with q not divisible by p. Clearly the order of H is p^3, since there are p choices for each of a, b, and c. We also know that the order of G is given by

#G = (p^3 - 1)(p^3 - p)(p^3 - p^2) = p^3(p^3 - 1)(p^2 - 1)(p - ...

##### Probability Quiz

Some questions on probability

##### Graphs and Functions

This quiz helps you easily identify a function and test your understanding of ranges, domains , function inverses and transformations.

##### Exponential Expressions

In this quiz, you will have a chance to practice basic terminology of exponential expressions and how to evaluate them.