Mark Rosinski, markrosi@purdue.edu Joseph Lam, lam5@purdue.edu Beichen Xiao, xiaob@purdue.edu

Outline:

Email the group to see if anyone else is currently making changes before you begin making changes yourself!!!

P-groups

Definitions:

• Let p be a prime p be an integer greater or equal to 0. A p-group is a group of order pⁿ.
• A subgroup of order p^k for some k ≥ 1 is called a p-subgroup.
• If |G| = p^αm where p does not divide m, then a subgroup of order p^α is called a Sylow p-subgroup of G.

Propositions:

If G is a p-group then G contains an element of order p.

1. If G is a p-group then Z(G)cannot be equal to {1}
2. Let p be a prime and let G be a group of order p². Then G is abelian.
3. If G is a p-group of order pa, then there exists a chain, {1} is contained in N1 contained in N2 contained in...contained in Na-1 contained in Gof normal subgroups of G, such that |Ni|=pi.

All content above and proofs of these Propositions can be found here

Further Information on p-groups:

• Lie Algebras
  • A lie ring is a set R with two binary operations - addition and the Lie bracket - such that
    • (R,+) is an abelian group;
    • Bilinearity: The bracket operation distributes over addition;
    • Alternating on the vector space g: [x,x] = 0 for all x in R;
    • The Jacobi Identity: [[x,y],z]+[[y,z],x]+[[z,x],y]=0 for all x,y,z in R.
  • If F is a field, and R is an F-vector space with a[x,y]=[ax,y] then R is a Lie algebra.
  • To every finite p-group one can associate a Lie ring L(G), and if G/G' is abelian then L(G) is actually a lie algebra over the finite field GF(p).
    • Proposition: Let φ be an automorphism of the finite p-group G. Then φ induces an automorphism on L(G), and if φ has order prime to p, then the induced automorphism has the same order.

• Number of Groups
  • Let g(n) denote the number of groups of order n.
    • i) g(p)=1 for p a prime.
    • ii) if p<q, then g(pq)=1 if q is not congruent to 1 mod p, and g(pq)=2 otherwise.
    • iii) g(p²)=2.
    • iv) g(p³)=5.

From this we can see that the number of groups of order n depends more on the prime structure then on its size.

Look at this table to help explain this notion:

All content of Lie Algebras and Number of groups from this page can be found from here as well as additional information on these topics. 

Automorphism Groups of order pⁿ

Propositions:

1. Let G denote the elementary abelian group of order pⁿ.  Then $ Aut(G)\cong GL_{n}(p) $, the group of n x n matrices over GF(p). 
2. Let G denote the cyclic group of order n.  Then Aut(G) is abeilan, and has order φ(n), where φ denotes Euler's φ-fuction.
3. Let G be a cyclic p-group with p odd, and write A=Aut(G). Then A is cyclic.

All information from this section is available from here as well as further information and proofs of these propositions on Automorphism Groups of order pⁿ. 

Regular p-groups

Definitons:

• For every $ a, b \in G $ there exists $ c \in [<a,b>,<a,b>] $ such that a^pb^p = (a'b)^pc^p
• For every $ a, b \in G $ there exist $ c_1 , c_2 , . . . , c_k \in [<a,b>,<a,b>] $ such that $ a^p b^p = (ab)^p c^p _1 c^p _2 . . . c^p _k $
• For evert $ a, b \in G $ and every natural number n there exist Failed to parse (syntax error): c_1 , c_2 , . . . , c_k \in {,a,b>,<a,b>]

such that $ a^q b^q = (ab)^q c^q _1 c^q _2 . . . c^q _k $ where q = pn

Sylow's Theorems

Notation:

Syl_p(G) = the set of Sylow p-subgroups of G

n_p(G)= the # of Sylow p-subgroups of G =|Syl_p(G)|

Theorems:

Let G be a group of order p^αm, where p is a prime, m≥1, and p does not divide m.  Then:

1. Syl_p(G) cannot be the empty set. 
2. All Sylow p-subgroups are conjugate in G. To expand, if P₁ and P₂ are both Sylow p-subgroups, then there is some g in G such that P₁=gP₁g^-1.                           In particular, n_p(G)=(G:N_G(P)).
3. Any p-subgroup of G is contained in a Sylow p-subgroup
4. n_p(G) is congruent to 1 mod p. 

All content from this section and proofs of these Theorems can be found here

Application of Sylow theorems

1. File:Kai.jpg

Extra Information

For students looking for extensive history on p-groups, Sylow's Theorems and finite simple groups in general you can find this information here

References

Sikimeti Ma'u. Notes on Sylow's Theorems. Retrived from math.berkeley.edu/~sikimeti/SylowNotes.pdf
Alavaro Loustau. Latex Tutorial.  Retreived from omega.albany.edu:8008/Symbols.html

David A. Craven. The Theory of p-Groups. Retreived from [http://people.maths.ox.ac.uk/craven/docs/lectures/pgroups.pdf people.maths.ox.ac.uk/craven/docs/lectures/pgroups.pdf

Ronald Solomon.  A Brief Histroy of the Classification of the Finite Simple Groups www.ams.org/journals/bull/2001-38-03/S0273-0979-01-00909-0/S0273-0979-01-00909-0.pdf
http://groupprops.subwiki.org/wiki/Regular_p-group (I'm not confident we should use this as a reference.  It's like usign wikipedia, very frowned upon.)