Subgroup structure of unitriangular matrix group:UT(3,p)
From Groupprops
(Redirected from Subgroup structure of prime-cube order group:U(3,p))
This article gives specific information, namely, subgroup structure, about a family of groups, namely: unitriangular matrix group:UT(3,p).
View subgroup structure of group families | View other specific information about unitriangular matrix group:UT(3,p)
Let be an odd prime.
The group is the group of unipotent upper-triangular matrices over the prime field of
elements, and is also the unique (up to isomorphism) non-abelian group of order
and exponent
. It is defined by the presentation:
.
In the matrix description, each matrix can be described by the three entries
. The matrix looks like:
The multiplication of matrices and
gives the matrix
where:
With the matrix description, we can set as the matrix with
and the other two entries zero,
as the matrix with
and the other two entries zero, and
as the matrix with
and the other two entries zero.
The group has the following subgroups:
Tables for quick information
FACTS TO CHECK AGAINST FOR SUBGROUP STRUCTURE: (group of prime power order)
Lagrange's theorem (order of subgroup times index of subgroup equals order of whole group, so all subgroups have prime power orders)|order of quotient group divides order of group (and equals index of corresponding normal subgroup, so all quotients have prime power orders)
prime power order implies not centerless | prime power order implies nilpotent | prime power order implies center is normality-large
size of conjugacy class of subgroups divides index of center
congruence condition on number of subgroups of given prime power order: The total number of subgroups of any fixed prime power order is congruent to 1 mod the prime.
Table classifying subgroups up to automorphisms
Automorphism class of subgroups | Representative | Isomorphism class | Order of subgroups | Index of subgroups | Number of conjugacy classes | Size of each conjugacy class | Number of subgroups | Isomorphism class of quotient (if exists) | Subnormal depth (if subnormal) |
---|---|---|---|---|---|---|---|---|---|
trivial subgroup | ![]() |
trivial group | 1 | ![]() |
1 | 1 | 1 | prime-cube order group:U(3,p) | 1 |
center of unitriangular matrix group:UT(3,p) | ![]() ![]() |
group of prime order | ![]() |
![]() |
1 | 1 | 1 | elementary abelian group of prime-square order | 1 |
non-central subgroups of prime order in unitriangular matrix group:UT(3,p) | Subgroup generated by any element with at least one of the entries ![]() |
group of prime order | ![]() |
![]() |
![]() |
![]() |
![]() |
-- | 2 |
elementary abelian subgroups of prime-square order in unitriangular matrix group:UT(3,p) | join of center and any non-central subgroup of prime order | elementary abelian group of prime-square order | ![]() |
![]() |
![]() |
1 | ![]() |
group of prime order | 1 |
whole group | all elements | unitriangular matrix group:UT(3,p) | ![]() |
1 | 1 | 1 | 1 | trivial group | 0 |
Total (5 rows) | -- | -- | -- | -- | ![]() |
-- | ![]() |
-- | -- |
Tables classifying isomorphism types of subgroups
Group name | GAP ID | Occurrences as subgroup | Conjugacy classes of occurrence as subgroup | Occurrences as normal subgroup | Occurrences as characteristic subgroup |
---|---|---|---|---|---|
Trivial group | ![]() |
1 | 1 | 1 | 1 |
Group of prime order | ![]() |
![]() |
![]() |
1 | 1 |
Elementary abelian group of prime-square order | ![]() |
![]() |
![]() |
![]() |
0 |
Prime-cube order group:U3p | ![]() |
1 | 1 | 1 | 1 |
Total | -- | ![]() |
![]() |
![]() |
![]() |
Table listing number of subgroups by order
Group order | Occurrences as subgroup | Conjugacy classes of occurrence as subgroup | Occurrences as normal subgroup | Occurrences as characteristic subgroup |
---|---|---|---|---|
![]() |
1 | 1 | 1 | 1 |
![]() |
![]() |
![]() |
1 | 1 |
![]() |
![]() |
![]() |
![]() |
0 |
![]() |
1 | 1 | 1 | 1 |
Total | ![]() |
![]() |
![]() |
![]() |