# Subgroup structure of groups of prime-cube order

From Groupprops

This article gives specific information, namely, subgroup structure, about a family of groups, namely: groups of prime-cube order.

View subgroup structure of group families | View other specific information about groups of prime-cube order

Note that the tables here work correctly *only* for groups of order where is an *odd* prime. The case behaves differently. For that case, see subgroup structure of groups of order 8.

## Numerical information on counts of subgroups by isomorphism type

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.

### Number of subgroups per isomorphism type

The number in each column is the number of subgroups in the given group (by row) of the isomorphism type of the (column) group:

Group | Second part of GAP ID | Nilpotency class | Minimum size of generating set | group of prime order | cyclic group of prime-square order | elementary abelian group of prime-square order | Total (row sum + 2, for trivial group and whole group) |
---|---|---|---|---|---|---|---|

cyclic group of prime-cube order | 1 | 1 | 1 | 1 | 1 | 0 | 4 |

direct product of ... | 2 | 1 | 2 | 1 | |||

prime-cube order group:U(3,p) | 3 | 2 | 2 | 0 | |||

semidirect product of ... | 4 | 2 | 2 | 1 | |||

elementary abelian group of prime-cube order | 5 | 1 | 3 | 0 |

### Number of conjugacy classes of subgroups per isomorphism type

The number in each column is the number of conjugacy classes of subgroups in the given group (by row) of the isomorphism type of the (column) group:

Group | Second part of GAP ID | nilpotency class | minimum size of generating set | group of prime order | cyclic group of prime-square order | elementary abelian group of prime-square order | Total (row sum + 2, for trivial group and whole group) |
---|---|---|---|---|---|---|---|

cyclic group of prime-cube order | 1 | 1 | 1 | 1 | 1 | 0 | 4 |

direct product of ... | 2 | 1 | 2 | 1 | |||

prime-cube order group:U(3,p) | 3 | 2 | 2 | 0 | |||

semidirect product of ... | 4 | 2 | 2 | 2 | 1 | ||

elementary abelian group of prime-cube order | 5 | 1 | 3 | 0 |

### Number of normal subgroups per isomorphism type

Group | Second part of GAP ID | nilpotency class | minimum size of generating set | group of prime order | cyclic group of prime-square order | elementary abelian group of prime-square order | Total (row sum + 2, for trivial group and whole group) |
---|---|---|---|---|---|---|---|

cyclic group of prime-cube order | 1 | 1 | 1 | 1 | 1 | 0 | 4 |

direct product of ... | 2 | 1 | 2 | 1 | |||

prime-cube order group:U(3,p) | 3 | 2 | 2 | 1 | 0 | ||

semidirect product of ... | 4 | 2 | 2 | 1 | 1 | ||

elementary abelian group of prime-cube order | 5 | 1 | 3 | 0 |

### Number of automorphism classes of subgroups per isomorphism type

The number in each column is the number of automorphism classes of subgroups in the given group (by row) of the isomorphism type of the (column) group:

Group | Second part of GAP ID | nilpotency class | minimum size of generating set | group of prime order | cyclic group of prime-square order | elementary abelian group of prime-square order | Total (row sum + 2, for trivial group and whole group) |
---|---|---|---|---|---|---|---|

cyclic group of prime-cube order | 1 | 1 | 1 | 1 | 1 | 0 | 4 |

direct product of ... | 2 | 1 | 2 | 2 | 1 | 1 | 6 |

prime-cube order group:U(3,p) | 3 | 2 | 2 | 2 | 0 | 1 | 5 |

semidirect product of ... | 4 | 2 | 2 | 2 | 1 | 1 | 6 |

elementary abelian group of prime-cube order | 5 | 1 | 3 | 1 | 0 | 1 | 4 |

### Number of characteristic subgroups per isomorphism type

Group | Second part of GAP ID | nilpotency class | minimum size of generating set | group of prime order | cyclic group of prime-square order | elementary abelian group of prime-square order | Total (row sum + 2, for trivial group and whole group) |
---|---|---|---|---|---|---|---|

cyclic group of prime-cube order | 1 | 1 | 1 | 1 | 1 | 0 | 4 |

direct product of ... | 2 | 1 | 2 | 1 | 0 | 1 | 4 |

prime-cube order group:U(3,p) | 3 | 2 | 1 | 0 | 0 | 3 | |

semidirect product of ... | 4 | 2 | 2 | 1 | 0 | 1 | 4 |

elementary abelian group of prime-cube order | 5 | 1 | 3 | 0 | 0 | 0 | 2 |

## Numerical information on counts of subgroups by order

### Number of subgroups per order

We have the following:

- Congruence condition on number of subgroups of given prime power order tells us that the number of subgroups of order is congruent to 1 mod , and so is the number of subgroups of order . Since the non-normal subgroups form conjugacy classes of size equal to a nontrivial power of , the number of
*normal*subgroups of each order is also congruent to 1 mod . - All the subgroups of order are normal, because prime power order implies nilpotent and nilpotent implies every maximal subgroup is normal. In particular, we obtain that (number of subgroups of order ) = (number of normal subgroups of order ).
- The subgroups of order all contain the Frattini subgroup, and thus correspond, via the fourth isomorphism theorem, to the maximal subgroups of the Frattini quotient, which is an elementary abelian group of order , where is the minimum size of generating set. The number of subgroups is , which could be one of the numbers .
- The normal subgroups of order are precisely the subgroups of order inside the socle, which is the first omega subgroup of the center. In particular, it is an elementary abelian group of order , and the number of subgroups of order in it is . Thus, the number of normal subgroups of order is . For a
*non*-abelian group, it must be 1. - For abelian groups, every subgroup is normal. Moreover, we have subgroup lattice and quotient lattice of finite abelian group are isomorphic, so we get (number of subgroups of order ) = (number of normal subgroups of order ) = (number of subgroups of order ) = (number of normal subgroups of order ).

Group | Second part of GAP ID | number of subgroups of order | number of normal subgroups of order | number of subgroups of order | number of normal subgroups of order |
---|---|---|---|---|---|

cyclic group of prime-cube order | 1 | 1 | 1 | 1 | 1 |

direct product of ... | 2 | ||||

prime-cube order group:U(3,p) | 3 | 1 | |||

semidirect product of ... | 4 | 1 | |||

elementary abelian group of prime-cube order | 5 |