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

Line 13: | Line 13: | ||

==Elements== | ==Elements== | ||

+ | The analysis given below does not apply to the case <math>p = 2</math>. For <math>p = 2</math>, we get the [[dihedral group:D8]], which is studied separately. | ||

+ | ===Upto conjugacy=== | ||

+ | |||

+ | Every element has order <math>p</math>. | ||

+ | |||

+ | The center has order precisely <math>p</math>, so there are <math>p</math> elements that form conjugacy classes of size 1. These are, specifically, the elements with <math>a_{12} = a_{23} = 0</math>, and they're thus parametrized by their <math>a_{13}</math> entry. | ||

+ | |||

+ | 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 <math>p^2</math>. Thus, the conjugacy class of the element is of size <math>p</math>. | ||

+ | |||

+ | Thus, there is a total of <math>p</math> conjugacy classes of size 1 and <math>p^2 - 1</math> conjugacy classes of size <math>p</math>. | ||

+ | |||

+ | ===Upto automorphism=== | ||

+ | |||

+ | There are only three classes of elements upto automorphism: | ||

+ | |||

+ | # The identity element, which forms a class of size 1 | ||

+ | # The non-identity elements in the center, which form a class of size <math>p - 1</math> | ||

+ | # The non-central elements, which form a class of size <math>p^3 - p</math> | ||

==Subgroups== | ==Subgroups== | ||

+ | |||

+ | Here is the complete list of subgroups: | ||

+ | |||

+ | # The trivial subgroup (1) | ||

+ | # The center, which is a group of order <math>p</math>. In matrix terms, this is the subgroup comprising matrices <math>a_{ij}</math> with <math>a_{12} = a_{23} = 0</math>. (1) | ||

+ | # Subgroups of order <math>p</math> generated by non-central elements. These are not normal, and occur in conjugacy classes of size <math>p</math>. (<math>p(p+1)</math>) | ||

+ | # Subgroups of order <math>p^2</math> containing the center. These are the inverse images via the quotient map by the center, of subgroups of order <math>p</math> in the [[inner automorphism group]]. (<math>p + 1</math>) | ||

+ | # The whole group. (1) | ||

{{normal subgroups}} | {{normal subgroups}} | ||

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

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

{{characteristic subgroups}} | {{characteristic subgroups}} | ||

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

− | * The | + | * The group is [[characteristic-comparable group|characteristic-comparable]]: any two characteristic subgroups can be compared |

− | + | * More generally, any characteristic subgroup and any normal subgroup can be compared. | |

− | + | * The characteristic subgroups are precisely the subgroups that occur in the [[derived series]], [[upper central series]] and [[lower central series]]. | |

{{fully characteristic subgroups}} | {{fully characteristic subgroups}} | ||

Line 51: | Line 71: | ||

===Automorphisms=== | ===Automorphisms=== | ||

− | The automorphisms essentially permute the subgroups of order <math>p^2</math> containing the center, while leaving the center itself unmoved. | + | The automorphisms essentially permute the subgroups of order <math>p^2</math> containing the center, while leaving the center itself unmoved. |

==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 exponentiation by <math>p+1</math>. | 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 exponentiation by <math>p+1</math>. |

## Revision as of 23:30, 17 July 2008

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

## Contents

## Definition

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

Each such matrix can be described by the three entries . The multiplication of matrices and gives the matrix where:

## Elements

The analysis given below does not apply to the case . For , we get the dihedral group:D8, which is studied separately.

### Upto conjugacy

Every element has order .

The center has order precisely , so there are elements that form conjugacy classes of size 1. These are, specifically, the elements with , and they're thus parametrized by their entry.

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 . Thus, the conjugacy class of the element is of size .

Thus, there is a total of conjugacy classes of size 1 and conjugacy classes of size .

### Upto automorphism

There are only three classes of elements upto automorphism:

- The identity element, which forms a class of size 1
- The non-identity elements in the center, which form a class of size
- The non-central elements, which form a class of size

## Subgroups

Here is the complete list of subgroups:

- The trivial subgroup (1)
- The center, which is a group of order . In matrix terms, this is the subgroup comprising matrices with . (1)
- Subgroups of order generated by non-central elements. These are not normal, and occur in conjugacy classes of size . ()
- Subgroups of order containing the center. These are the inverse images via the quotient map by the center, of subgroups of order in the inner automorphism group. ()
- 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:

- The group is characteristic-comparable: any two characteristic subgroups can be compared
- More generally, any characteristic subgroup and any normal subgroup can be compared.
- The characteristic subgroups are precisely the subgroups that occur in the derived series, upper central series and lower central series.

### Fully characteristic subgroups

The fully characteristic subgroups are precisely the same as the characteristic ones.

The central factors are precisely the same as the characteristic subgroups.

There are no proper nontrivial direct factors. In other words, the group is directly indecomposable.

## Endomorphisms

### Automorphisms

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

## Related groups

For any prime , there are two non-Abelian groups of order . One of them is this, and the other is the semidirect product of the cyclic group of order by a group of order acting by power maps (with the generator corresponding to exponentiation by .