Fusion systems for dihedral group:D8
This article gives specific information, namely, fusion systems, about a particular group, namely: dihedral group:D8.
View fusion systems for particular groups | View other specific information about dihedral group:D8
There are multiple conventions on whether the term fusion system should refer to saturated fusion system or to a weaker notion. For our purposes, we will mostly be interested in saturated fusion systems, because these mimic/generalize situations where the -group is a -Sylow subgroup of some finite group. Unless otherwise specified, we are referring to saturated fusion systems when we talk about fusion systems.
This article discusses the possible fusion systems for the dihedral group of order eight.
.
There are, up to isomorphism, three possible fusion systems on .
Summary
Item | Value |
---|---|
Total number of saturated fusion systems on a concrete instance of the group (strict, not up to isomorphism of fusion systems) | 4 |
Total number of saturated fusion systems up to isomorphism | 3 |
List of saturated fusion systems with orbit sizes | inner fusion system (orbit size 1 under isomorphisms), non-inner non-simple fusion system for dihedral group:D8 (orbit size 2 under isomorphisms), simple fusion system for dihedral group:D8 (orbit size 1) |
Number of simple fusion systems | 1 |
Number of maximal saturated fusion systems, i.e., saturated fusion systems not contained in bigger saturated fusion systems | 1 (the simple fusion system for dihedral group:D8) |
Family contexts
Family name | Parameter values | General information on fusion systems for family |
---|---|---|
dihedral group (of degree, order powers of 2) | degree , order | fusion systems for dihedral groups |
For more on comparison with other groups of order 8, see fusion systems for groups of order 8.
Description of saturated fusion systems
FACTS TO CHECK AGAINST FOR FUSION SYSTEMS:
For an abelian group of prime power order: identity functor controls strong fusion for saturated fusion system on abelian group|classification of saturated fusion systems on abelian group of prime power order
Isomorphism type of fusion system | Number of such fusion systems under strict counting | Can the fusion system be realized using a Sylow subgroup of a finite group? | Does the identity functor control strong fusion? This would mean that all fusion occurs in the normalizer | Is the fusion system simple? | Smallest size embedding realizing this fusion system (if any) |
---|---|---|---|---|---|
inner fusion system | 1 | Yes | Yes | inner fusion system is not simple | as a subgroup of itself |
non-inner non-simple fusion system for dihedral group:D8 | 2 | Yes | No | No | D8 in S4 |
simple fusion system for dihedral group:D8 | 1 | Yes | No | Yes | D8 in PSL(3,2) |
Total (3 rows) | 4 | -- | -- | -- | -- |
The inner fusion system: the fusion system obtained from inner automorphisms
This is the fusion system where all morphisms are obtained as the restriction of inner automorphisms of . The isomorphisms are as follows.
Equivalence class under isomorphisms | Subgroups involved | Order | Index | Total number of subgroups | Are all group automorphisms of each subgroup included? | Size of automorphism group from the fusion system | Total number of isomorphisms (including automorphisms and others) = (number of automorphisms) |
---|---|---|---|---|---|---|---|
trivial subgroup | 1 | 8 | 1 | Yes | 1 | 1 | |
center of dihedral group:D8 | 2 | 4 | 1 | Yes | 1 | 1 | |
non-normal subgroups of dihedral group:D8 (some of them) | 2 | 4 | 2 | Yes | 1 | 4 | |
non-normal subgroups of dihedral group:D8 (some of them) | 2 | 4 | 2 | Yes | 1 | 4 | |
cyclic maximal subgroup of dihedral group:D8 | 4 | 2 | 1 | Yes | 2 | 2 | |
Klein four-subgroups of dihedral group:D8 (one of them) | 4 | 2 | 1 | No | 2 | 2 | |
Klein four-subgroups of dihedral group:D8 (one of them) | 4 | 2 | 1 | No | 2 | 2 | |
whole group | 8 | 1 | 1 | No | 4 | 4 |
Sylow subgroups realizing this fusion system
This fusion system is realized by a group having dihedral group:D8 as its 2-Sylow subgroup if and if it possesses a normal complement, so the 2-Sylow subgroup is a retract of the group and the group is a semidirect product of a normal -subgroup and the dihedral group, or equivalently the group is a 2-nilpotent group.
Some examples are below:
Group | Order | Isomorphism class of normal complement | Is it a direct product? |
---|---|---|---|
direct product of D8 and Z3 | 24 | cyclic group:Z3 | Yes |
dihedral group:D24 | 24 | cyclic group:Z3 | No |
SmallGroup(24,8) | 24 | cyclic group:Z3 | No |
direct product of D8 and Z5 | 40 | cyclic group:Z5 | Yes |
dihedral group:D40 | 40 | cyclic group:Z5 | No |
Non-inner non-simple fusion system: center identified with one other conjugacy class
Further information: non-inner non-simple fusion system for dihedral group:D8
Explicit description of fusion system
This fusion system is realized, for instance, in the symmetric group of degree four. In fact, the symmetric group of degree four is in essence the only example -- any example admits this as a subquotient. In the table below, we describe the subgroups explicitly using this realization, i.e., in terms of D8 in S4.
Equivalence class under isomorphisms, explicit description of subgroups | Description of subgroups as permutation groups | Subgroups involved | Order | Index | Number of conjugacy classes of subgroups fused | Total number of subgroups (=1 iff weakly closed subgroup for the fusion system) | Are all group automorphisms of each subgroup included? | Size of automorphism group from the fusion system | Total number of isomorphisms (including automorphisms and others) = (number of automorphisms) (number of subgroups) |
---|---|---|---|---|---|---|---|---|---|
trivial subgroup | 1 | 8 | 1 | 1 | Yes | 1 | 1 | ||
, , | center of dihedral group:D8, non-normal subgroups of dihedral group:D8 (one of the two conjugacy classes) | 2 | 4 | 2 | 3 | Yes | 1 | 9 | |
non-normal subgroups of dihedral group:D8 (one of the two conjugacy classes) | 2 | 4 | 1 | 2 | Yes | 1 | 4 | ||
cyclic maximal subgroup of dihedral group:D8 | 4 | 2 | 1 | 1 | Yes | 2 | 2 | ||
Klein four-subgroups of dihedral group:D8 (one of them) | 4 | 2 | 1 | 1 | No (see below) | 2 | 2 | ||
Klein four-subgroups of dihedral group:D8 (one of them) | 4 | 2 | 1 | 1 | Yes | 6 | 6 | ||
whole group | 8 | 1 | 1 | 1 | No (see below) | 4 | 4 | ||
Total | -- | -- | -- | -- | 8 | 10 | -- | -- | -- |
Here is a description of the automorphism group from the fusion system in the two cases that it is not the full automorphism group:
- For the group , which is one of the Klein four-subgroups of dihedral group:D8, the automorphisms arising from the fusion system are the identity map and the automorphism that interchanges with , while fixing and .
- For the whole group, the automorphisms arising from the fusion system are precisely the inner automorphisms. This is true for all fusion systems on dihedral group:D8 because the outer automorphism group of this group is a 2-group, so it has no 2'-automorphisms.
Realization in groups
Here are some examples of a group having dihedral group:D8 as a 2-Sylow subgroup such that this is the fusion system induced:
Group | Order | Dihedral group:D8 as a subgroup in this group | Comment |
---|---|---|---|
symmetric group:S4 | 24 | D8 in S4 | this is the canonical, minimal example |
symmetric group:S5 | 120 | D8 in S5 | the fusion system for this is precisely the same as that for D8 in S4 viewing symmetric group:S4 as an intermediate subgroup. |
Simple fusion system
Further information: simple fusion system for dihedral group:D8
Below is a description of the unique simple fusion system on this group.
Explicit description of fusion system
Equivalence class under isomorphisms, explicit description of subgroups | Subgroups involved | Order | Index | Number of conjugacy classes of subgroups fused | Total number of subgroups (=1 iff weakly closed subgroup for the fusion system) | Are all group automorphisms of each subgroup included? | Size of automorphism group from the fusion system | Total number of isomorphisms (including automorphisms and others) = (number of automorphisms) |
---|---|---|---|---|---|---|---|---|
trivial subgroup | 1 | 8 | 1 | 1 | Yes | 1 | 1 | |
, |
center of dihedral group:D8, non-normal subgroups of dihedral group:D8 (both conjugacy classes) | 2 | 4 | 3 | 5 | Yes | 1 | 25 |
cyclic maximal subgroup of dihedral group:D8 | 4 | 2 | 1 | 1 | Yes | 2 | 2 | |
Klein four-subgroups of dihedral group:D8 (one of them) | 4 | 2 | 1 | 1 | Yes | 6 | 6 | |
Klein four-subgroups of dihedral group:D8 (one of them) | 4 | 2 | 1 | 1 | Yes | 6 | 6 | |
whole group | 8 | 1 | 1 | 1 | No (see below) | 4 | 4 | |
Total | -- | -- | 8 | 10 | -- | -- | -- |
For the whole group, the only automorphisms that are included in the fusion system are the inner automorphisms. This can be traced to the fact that the outer automorphism group of the dihedral group is 2-group, and in particular has no 2'-automorphisms.
Realization in groups
Group | Order | Dihedral group:D8 as a subgroup of this group | Comment |
---|---|---|---|
projective special linear group:PSL(3,2) (same as PSL(2,7)) | 168 | D8 in PSL(3,2) | example of smallest order, but not the only minimal example |
alternating group:A6 | 360 | D8 in A6 | also a minimal example |