Difference between revisions of "Simple fusion system for dihedral group:D8"
From Groupprops
(→Realization in groups) |
(→Fusion of elements) |
||
(3 intermediate revisions by the same user not shown) | |||
Line 31: | Line 31: | ||
==Realization in groups== | ==Realization in groups== | ||
+ | <section begin="realization"/> | ||
{| class="sortable" border="1" | {| class="sortable" border="1" | ||
! Group !! Order !! [[Dihedral group:D8]] as a subgroup of this group !! Comment | ! Group !! Order !! [[Dihedral group:D8]] as a subgroup of this group !! Comment | ||
Line 38: | Line 39: | ||
| [[alternating group:A6]] || 360 || [[D8 in A6]] || also a ''minimal'' example | | [[alternating group:A6]] || 360 || [[D8 in A6]] || also a ''minimal'' example | ||
|} | |} | ||
+ | <section end="realization"/> | ||
==Element structure== | ==Element structure== | ||
− | {{ | + | ===Fusion of elements=== |
+ | |||
+ | As far as elements are concerned, this fusion system is as rich as possible: ''any two elements of the same order get fused with each other''. Below is some information. Each equivalence class under fusion is presented in terms of its conjugacy classes in the original group: | ||
+ | |||
+ | {| class="sortable" border="1" | ||
+ | ! Equivalence class under fusion, i.e., equivalence class under conjugacy in the fusion system !! Order of elements !! Number of elements !! Number of conjugacy classes | ||
+ | |- | ||
+ | | <math>\{ e \}</math> || 1 || 1 || 1 | ||
+ | |- | ||
+ | | <math>\{ a^2 \}</math>, <math>\{ x, a^2x \}</math>, <math>\{ ax, a^3x \}</math> || 2 || 5 || 3 | ||
+ | |- | ||
+ | | <math>\{ a, a^3 \}</math> || 4 || 2 || 1 | ||
+ | |- | ||
+ | ! Total !! -- !! 8 !! 5 | ||
+ | |} | ||
==Fusion subsystem structure== | ==Fusion subsystem structure== |
Latest revision as of 18:50, 26 April 2012
This article describes a particular fusion system on a group of prime power order, namely dihedral group:D8.
Get information on fusion systems for dihedral group:D8.
View other particular fusion systems
This article describes a particular fusion system on dihedral group:D8 that turns out to be a simple fusion system: it has no normal fusion subsystems. This is the unique simple fusion system on the group.
Contents
Explicit description
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 |
Element structure
Fusion of elements
As far as elements are concerned, this fusion system is as rich as possible: any two elements of the same order get fused with each other. Below is some information. Each equivalence class under fusion is presented in terms of its conjugacy classes in the original group:
Equivalence class under fusion, i.e., equivalence class under conjugacy in the fusion system | Order of elements | Number of elements | Number of conjugacy classes |
---|---|---|---|
1 | 1 | 1 | |
, , | 2 | 5 | 3 |
4 | 2 | 1 | |
Total | -- | 8 | 5 |