Difference between revisions of "Unitriangular matrix group:UT(3,p)"

From Groupprops
Jump to: navigation, search
Line 29: Line 29:
  
 
In this case, for instance, we can take the subgroup with <math>a{12} = 0</math> as the elementary Abelian subgroup of order <math>p^2</math> and the subgroup with <math>a_{23} = a_{13} = 0</math> as the cyclic subgroup of order <math>p</math>.
 
In this case, for instance, we can take the subgroup with <math>a{12} = 0</math> as the elementary Abelian subgroup of order <math>p^2</math> and the subgroup with <math>a_{23} = a_{13} = 0</math> as the cyclic subgroup of order <math>p</math>.
 +
 +
==Families==
 +
 +
# These groups fall in the more general family <math>U(n,p)</math> of unipotent upper-triangular matrices, which is the <math>p</math>-Sylow subgroup of the [[general linear group]] <math>GL(n,p)</math>. This further can be generalized to <math>U(n,q)</math> where <math>q</math> is the power of a prime <math>p</math>, which is the <math>p</math>-Sylow subgroup of <math>GL(n,q)</math>.
 +
# These groups also fall into the general family of [[extraspecial group]]s.
  
 
==Elements==
 
==Elements==
Line 50: Line 55:
  
 
==Subgroups==
 
==Subgroups==
 
+
{{further|[[Subgroup structure of prime-cube order group:U3p]]}}
 
Here is the complete list of subgroups:
 
Here is the complete list of subgroups:
  
Line 71: Line 76:
 
* The characteristic subgroups are precisely the subgroups that occur in the [[derived series]], [[upper central series]] and [[lower central series]].
 
* The characteristic subgroups are precisely the subgroups that occur in the [[derived series]], [[upper central series]] and [[lower central series]].
  
{{fully characteristic subgroups}}
+
==Subgroup-defining functions==
 
 
The fully characteristic subgroups are precisely the same as the characteristic ones.
 
 
 
===[[Central factor]]s===
 
  
The central factors are precisely the same as the characteristic subgroups.
+
{| class="wikitable" border="1"
 +
! Subgroup-defining function !! Subgroup type in list !! Isomorphism class !! Comment
 +
|-
 +
| [[Center]] || (2) || [[Center::Group of prime order]] ||
 +
|-
 +
| [[Commutator subgroup]] || (2) || [[Commutator subgroup::Group of prime order]] ||
 +
|-
 +
| [[Frattini subgroup]] || (2) || [[Frattini subgroup::Group of prime order]] || The <math>p + 1</math> maximal subgroups of order <math>p^2</math> intersect here.
 +
|-
 +
| [[Socle]] || (2) || [[Socle::Group of prime order]] || This subgroup is the unique [[minimal normal subgroup]], i.e.,the [[monolith]], and the group is [[monolithic group|monolithic]]. Also, [[minimal normal implies central in nilpotent]].
 +
|}
  
===[[Direct factor]]s===
+
===Quotient-defining function===
  
There are no proper nontrivial direct factors. In other words, the group is [[directly indecomposable group|directly indecomposable]].
+
{| class="wikitable" border="1"
 +
! Quotient-defining function !! Isomorphism class !! Comment
 +
|-
 +
| [[Inner automorphism group]] || [[Inner automorphism group::Elementary abelian group of prime-square order]] || It is the quotient by the center, which is of prime order.
 +
|-
 +
| [[Abelianization]] || [[Abelianization::Elementary abelian group of prime-square order]] || It is the quotient by the commutator subgroup, which is of prime order.
 +
|-
 +
| [[Frattini quotient]] || [[Frattini quotient::Elementary abelian group of prime-square order]] || It is the quotient by the Frattini subgroup, which is of prime order.
 +
|}
  
 
==Implementation in GAP==
 
==Implementation in GAP==
Line 99: Line 118:
 
==Related groups==
 
==Related groups==
  
For any prime <math>p</math>, there are two non-Abelian groups of order <math>p^3</math>. One of them is this, and the [[prime-cube order group:p2byp|other]] is the semidirect product of the cyclic group of order <math>p^2</math> by a group of order <math>p</math> acting by power maps (with the generator corresponding to multiplication by <math>p+1</math>).
+
For any prime <math>p</math>, there are (up to isomorphism) two non-abelian groups of order <math>p^3</math>. One of them is this, and the [[prime-cube order group:p2byp|other]] is the semidirect product of the cyclic group of order <math>p^2</math> by a group of order <math>p</math> acting by power maps (with the generator corresponding to multiplication by <math>p+1</math>).
 
 
==Subgroup-defining functions===
 
 
 
{{center|group of prime order}}
 
 
 
{{commutator subgroup|group of prime order}}
 
 
 
{{frattini subgroup|group of prime order}}
 
 
 
{{socle|group of prime order}}
 

Revision as of 22:26, 13 May 2009

This article is about a family of groups with a parameter that is prime. For any fixed value of the prime, we get a particular group.
View other such prime-parametrized groups

Definition

As a group of matrices

Given a prime p, the group U_3(p) is defined as follows: it is the group of upper triangular matrices with 1s on the diagonal, and entries over F_p (with the group operation being matrix multiplication).

Each such matrix (a_{ij}) can be described by the three entries a_{12}, a_{13}, a_{23}. The matrix looks like:

\begin{pmatrix}
1 & a_{12} & a_{13} \\
0 & 1 & a_{23}\\
0 & 0 & 1\end{pmatrix}

The multiplication of matrices A = (a_{ij}) and B = (b_{ij}) gives the matrix C = (c_{ij}) where:

  • c_{12} = a_{12} + b_{12}
  • c_{13} = a_{13} + b_{13} + a_{12}b_{23}
  • c_{23} = a_{23} + b_{23}

The analysis given below does not apply to the case p = 2. For p = 2, we get the dihedral group:D8, which is studied separately. For further information on the contrast between the case of 2 and of odd primes, refer U3p:odd prime versus two.

As a semidirect product

This group of order p^3 can also be described as a semidirect product of the elementary Abelian group of order p^2 by the cyclic group of order p, where the generator of the cyclic group of order p acts via the automorphism:

(a,b) \mapsto (a,a+b)

In this case, for instance, we can take the subgroup with a{12} = 0 as the elementary Abelian subgroup of order p^2 and the subgroup with a_{23} = a_{13} = 0 as the cyclic subgroup of order p.

Families

  1. These groups fall in the more general family U(n,p) of unipotent upper-triangular matrices, which is the p-Sylow subgroup of the general linear group GL(n,p). This further can be generalized to U(n,q) where q is the power of a prime p, which is the p-Sylow subgroup of GL(n,q).
  2. These groups also fall into the general family of extraspecial groups.

Elements

Upto conjugacy

Every element has order p.

The conjugacy classes are as follows:

  1. The center has order precisely p, so there are p elements that form conjugacy classes of size 1. These are, specifically, the elements with a_{12} = a_{23} = 0, and they're thus parametrized by their a_{13} entry.
  2. For every element outside the center, the centralizer of that element is the subgroup generated by that element and the center, and is hence of order p^2. Thus, the conjugacy class of the element is of size p. Thus, there is a total of p^2 - 1 conjugacy classes of size p.

Upto automorphism

There are only three classes of elements upto automorphism:

  1. The identity element, which forms a class of size 1
  2. The non-identity elements in the center, which form a class of size p - 1
  3. The non-central elements, which form a class of size p^3 - p

Subgroups

Further information: Subgroup structure of prime-cube order group:U3p Here is the complete list of subgroups:

  1. The trivial subgroup (1)
  2. The center, which is a group of order p. In matrix terms, this is the subgroup comprising matrices a_{ij} with a_{12} = a_{23} = 0. (1)
  3. Subgroups of order p generated by non-central elements. These are not normal, and occur in conjugacy classes of size p. (p(p+1))
  4. Subgroups of order p^2 containing the center. These are the inverse images via the quotient map by the center, of subgroups of order p in the inner automorphism group. (p + 1)
  5. The whole group. (1)

Normal subgroups

The subgroups in (1), (2), (4) and (5) above are normal.

Characteristic subgroups

The subgroups in (1), (2) and (5) above are normal. In other words, there are only three characteristic subgroups. Some notable facts:

Subgroup-defining functions

Subgroup-defining function Subgroup type in list Isomorphism class Comment
Center (2) Group of prime order
Commutator subgroup (2) Group of prime order
Frattini subgroup (2) Group of prime order The p + 1 maximal subgroups of order p^2 intersect here.
Socle (2) Group of prime order This subgroup is the unique minimal normal subgroup, i.e.,the monolith, and the group is monolithic. Also, minimal normal implies central in nilpotent.

Quotient-defining function

Quotient-defining function Isomorphism class Comment
Inner automorphism group Elementary abelian group of prime-square order It is the quotient by the center, which is of prime order.
Abelianization Elementary abelian group of prime-square order It is the quotient by the commutator subgroup, which is of prime order.
Frattini quotient Elementary abelian group of prime-square order It is the quotient by the Frattini subgroup, which is of prime order.

Implementation in GAP

Group ID

For any prime p, this group is the third group amoung the groups of order p^3. Thus, for instance, if p = 7, the group is described as:

SmallGroup(343,3)

Endomorphisms

Automorphisms

The automorphisms essentially permute the subgroups of order p^2 containing the center, while leaving the center itself unmoved.

Related groups

For any prime p, there are (up to isomorphism) two non-abelian groups of order p^3. One of them is this, and the other is the semidirect product of the cyclic group of order p^2 by a group of order p acting by power maps (with the generator corresponding to multiplication by p+1).