# Binary octahedral group

This article is about a particular group, i.e., a group unique upto isomorphism. View specific information (such as linear representation theory, subgroup structure) about this groupView a complete list of particular groups (this is a very huge list!)[SHOW MORE]

## Contents

## Definition

The **binary octahedral group** can be defined in the following equivalent ways:

- It is the Schur cover of symmetric group:S4 of type "-" which in symbols means it is the group .
- It is a binary von Dyck group with parameters , i.e., it has the presentation:

We denote the element as . This element has order two.

## Arithmetic functions

### Arithmetic functions of a counting nature

Function | Value | Similar groups | Explanation for function value |
---|---|---|---|

number of conjugacy classes | 8 | groups with same order and number of conjugacy classes | groups with same number of conjugacy classes | As binary von Dyck group with parameters : See element structure of binary octahedral group Note also that the number of conjugacy classes equals that of the other double cover of , namely general linear group:GL(2,3) |

number of subgroups | 35 | groups with same order and number of subgroups | groups with same number of subgroups | See subgroup structure of binary octahedral group |

number of conjugacy classes of subgroups | 13 | groups with same order and number of conjugacy classes of subgroups | groups with same number of conjugacy classes of subgroups | See subgroup structure of binary octahedral group |

## Group properties

Property | Satisfied | Explanation |
---|---|---|

Abelian group | No | |

Nilpotent group | No | |

Metacyclic group | No | |

Supersolvable group | No | |

Solvable group | Yes | Length four. |

T-group | No | |

HN-group | No | |

Monolithic group | Yes | The center of order two is the unique minimal normal subgroup. |

One-headed group | Yes |

## Elements

`Further information: element structure of binary octahedral group`

Element structure of binary octahedral group

## Subgroups

`Further information: subgroup structure of binary octahedral group`

### Quick summary

Item | Value |
---|---|

Number of subgroups | 35 |

Number of conjugacy classes of subgroups | 13 |

Number of automorphism classes of subgroups | 13 |

Isomorphism classes of Sylow subgroups and the corresponding Sylow numbers and fusion systems | 2-Sylow: generalized quaternion group:Q16, Sylow number 3, fusion system ? 3-Sylow: cyclic group:Z3, Sylow number 4 |

maximal subgroups | Maximal subgroups are: derived subgroup of binary octahedral group (isomorphic to SL(2,3), order 24), 2-Sylow subgroups of binary octahedral group (isomorphic to Q16, order 16), and subgroups of order 12 isomorphic to dicyclic group:Dic12 |

### Table classifying subgroups up to automorphisms

TABLE SORTING AND INTERPRETATION: Note that the subgroups in the table below are sorted based on the powers of the prime divisors of the order, first covering the smallest prime in ascending order of powers, then powers of the next prime, then products of powers of the first two primes, then the third prime, then products of powers of the first and third, second and third, and all three primes. The rationale is to cluster together subgroups with similar prime powers in their order. The subgroups arenotsorted by the magnitude of the order. To sort that way, click the sorting button for the order column. Similarly you can sort by index or by number of subgroups of the automorphism class.

Automorphism class of subgroups | Representative subgroup (full list if small, generating set if large) | Isomorphism class | Order of subgroups | Index of subgroups | Number of conjugacy classes (=1 iff automorph-conjugate subgroup) | Size of each conjugacy class (=1 iff normal subgroup) | Total number of subgroups (=1 iff characteristic subgroup) | Quotient group (if it exists) |
---|---|---|---|---|---|---|---|---|

trivial subgroup | trivial group | 1 | 48 | 1 | 1 | 1 | binary octahedral group | |

center of binary octahedral group | cyclic group:Z2 | 2 | 24 | 1 | 1 | 1 | symmetric group:S4 | |

3-Sylow subgroups of binary octahedral group | cyclic group:Z3 | 3 | 16 | 1 | 4 | 4 | -- | |

cyclic subgroups of order four | cyclic group:Z4 | 4 | 12 | 1 | -- | |||

cyclic subgroups of order four | cyclic group:Z4 | 4 | 12 | 1 | -- | |||

cyclic subgroups of order six | cyclic group:Z6 | 6 | 8 | 1 | 4 | 4 | -- | |

quaternion subgroup of one type | quaternion group | 8 | 6 | -- |

(remaining items to be transcribed into table later)

- The quaternion group of the form
**PLACEHOLDER FOR INFORMATION TO BE FILLED IN**: [SHOW MORE] . Isomorphic to quaternion group. - The cyclic groups conjugate to . Isomorphic to cyclic group:Z8. (3)
- The dicyclic group of order , i.e., the binary von Dyck group . Isomorphic to dicyclic group:Dic12. (4)
- The generalized quaternion group of order . Isomorphic to generalized quaternion group. (3)
- A unique subgroup of order , isomorphic to special linear group:SL(2,3). (1)
- The whole group. (1)

## Linear representation theory

`Further information: Linear representation theory of binary octahedral group`

## GAP implementation

### Group ID

This finite group has order 48 and has ID 28 among the groups of order 48 in GAP's SmallGroup library. For context, there are 52 groups of order 48. It can thus be defined using GAP's SmallGroup function as:

`SmallGroup(48,28)`

For instance, we can use the following assignment in GAP to create the group and name it :

`gap> G := SmallGroup(48,28);`

Conversely, to check whether a given group is in fact the group we want, we can use GAP's IdGroup function:

`IdGroup(G) = [48,28]`

or just do:

`IdGroup(G)`

to have GAP output the group ID, that we can then compare to what we want.