Difference between revisions of "Classification by p-group"

From Block library
Jump to: navigation, search
(Blocks for p=2)
(Blocks for p=2: Added quaternion consequences of [EEKLS26])
Line 13: Line 13:
 
! scope="col"| SmallGroup  
 
! scope="col"| SmallGroup  
 
! scope="col"| Isotype
 
! scope="col"| Isotype
 +
! scope="col"| Donovan (w.r.t.)?
 
! scope="col"| Known <math>k</math>-(<math>\mathcal{O}</math>-)classes
 
! scope="col"| Known <math>k</math>-(<math>\mathcal{O}</math>-)classes
 
! scope="col"| Complete (w.r.t.)?
 
! scope="col"| Complete (w.r.t.)?
Line 19: Line 20:
 
! scope="col"| Notes
 
! scope="col"| Notes
 
|-  
 
|-  
| 1 || 1 || <math>1</math> || 1(1) || <math>\mathcal{O}</math> || <math>\mathcal{O}</math> || ||  
+
| 1 || 1 || <math>1</math> || <math>\mathcal{O}</math> || 1(1) || <math>\mathcal{O}</math> || <math>\mathcal{O}</math> || ||  
 
|-  
 
|-  
| 2 || [[C2|1]] || [[C2|<math>C_2</math>]] || 1(1) || <math>\mathcal{O}</math> || <math>\mathcal{O}</math> || ||
+
| 2 || [[C2|1]] || [[C2|<math>C_2</math>]] || <math>\mathcal{O}</math> || 1(1) || <math>\mathcal{O}</math> || <math>\mathcal{O}</math> || ||
 
|-  
 
|-  
| 4 || [[C4|1]] || [[C4|<math>C_4</math>]] || 1(1) || <math>\mathcal{O}</math> || <math>\mathcal{O}</math> || ||
+
| 4 || [[C4|1]] || [[C4|<math>C_4</math>]] || <math>\mathcal{O}</math> || 1(1) || <math>\mathcal{O}</math> || <math>\mathcal{O}</math> || ||
 
|-  
 
|-  
| 4 || [[C2xC2|2]] || [[C2xC2|<math>C_2 \times C_2</math>]] || 3(3) || <math>\mathcal{O}</math> || <math>\mathcal{O}</math> || [[References|[Er82], [Li94] ]] ||
+
| 4 || [[C2xC2|2]] || [[C2xC2|<math>C_2 \times C_2</math>]] || <math>\mathcal{O}</math> || 3(3) || <math>\mathcal{O}</math> || <math>\mathcal{O}</math> || [[References|[Er82], [Li94] ]] ||
 
|-  
 
|-  
|8 || [[C8|1]] || [[C8|<math>C_8</math>]] ||1(1) || <math>\mathcal{O}</math> || <math>\mathcal{O}</math> || ||
+
|8 || [[C8|1]] || [[C8|<math>C_8</math>]] || <math>\mathcal{O}</math> ||1(1) || <math>\mathcal{O}</math> || <math>\mathcal{O}</math> || ||
 
|-
 
|-
|8 || [[C4xC2|2]] || [[C4xC2|<math>C_4 \times C_2</math>]] ||1(1) || <math>\mathcal{O}</math> || <math>\mathcal{O}</math> || ||
+
|8 || [[C4xC2|2]] || [[C4xC2|<math>C_4 \times C_2</math>]] || <math>\mathcal{O}</math> ||1(1) || <math>\mathcal{O}</math> || <math>\mathcal{O}</math> || ||
 
|-
 
|-
|8 || [[D8|3]] || [[D8|<math>D_8</math>]] ||6(?) || <math>k</math> || <math>k</math> || [[References|[Er87] ]] || Principal blocks classified up to source algebra equivalence in [[References#K|[KoLa20]]]  
+
|8 || [[D8|3]] || [[D8|<math>D_8</math>]] || <math>\mathcal{O}</math> ||6(?) || <math>k</math> || <math>k</math> || [[References|[Er87] ]] || See discussion in [[References#E|[EEKLS26]]] regarding Donovan over <math>\mathcal{O}</math>. Principal blocks classified up to source algebra equivalence in [[References#K|[KoLa20]]]  
 
|-
 
|-
|8 || [[Q8|4]] || [[Q8|<math>Q_8</math>]] ||3(3) || <math>\mathcal{O}</math> || <math>k</math> || [[References|[Er88a], [Er88b], [HKL07], [Ei16]]] ||  
+
|8 || [[Q8|4]] || [[Q8|<math>Q_8</math>]] || <math>\mathcal{O}</math> || 3(3) || <math>\mathcal{O}</math> || <math>k</math> || [[References|[Er88a], [Er88b], [HKL07], [Ei16]]] ||  
 
|-
 
|-
|8 || [[C2xC2xC2|5]] || [[C2xC2xC2|<math>C_2 \times C_2 \times C_2</math>]] || 8(8) || <math>\mathcal{O}</math> || <math>\mathcal{O}</math> || [[References| [Ea16]]] || Uses CFSG
+
|8 || [[C2xC2xC2|5]] || [[C2xC2xC2|<math>C_2 \times C_2 \times C_2</math>]] || <math>\mathcal{O}</math> || 8(8) || <math>\mathcal{O}</math> || <math>\mathcal{O}</math> || [[References| [Ea16]]] || Uses CFSG
 
|}
 
|}
  
Line 63: Line 64:
 
|16 || [[M16|6]] || [[M16|<math>M_{16}</math>]] || <math>\mathcal{O}</math> || 1(1) || <math>\mathcal{O}</math> || <math>\mathcal{O}</math> || [[References|[CG12], [Sa12b] ]] ||  
 
|16 || [[M16|6]] || [[M16|<math>M_{16}</math>]] || <math>\mathcal{O}</math> || 1(1) || <math>\mathcal{O}</math> || <math>\mathcal{O}</math> || [[References|[CG12], [Sa12b] ]] ||  
 
|-
 
|-
|16 || [[D16|7]] || [[D16|<math>D_{16}</math>]] || <math>k</math>|| 5(?) || <math>k</math> || <math>k</math> || [[References|[Er87]]] || Principal blocks classified up to source algebra equivalence in [[References#K|[KoLa20]]]  
+
|16 || [[D16|7]] || [[D16|<math>D_{16}</math>]] || <math>\mathcal{O}</math>|| 5(?) || <math>k</math> || <math>k</math> || [[References|[Er87]]] || See discussion in [[References#E|[EEKLS26]]] regarding Donovan over <math>\mathcal{O}</math>. Principal blocks classified up to source algebra equivalence in [[References#K|[KoLa20]]]  
 
|-
 
|-
|16 || [[SD16|8]] || [[SD16|<math>SD_{16}</math>]] || <math>k</math> || 7(?) || || || [[References|[Er88c], [Er90b]]] || Two other possible classes
+
|16 || [[SD16|8]] || [[SD16|<math>SD_{16}</math>]] || <math>k</math> || 7(?) || || || [[References|[Er88c], [Er90b]]] || Two other possible classes. Donovan's conjecture known over <math>\mathcal{O}</math> for <math>l(B) \neq 2</math> by [[References#L|[La16]]] (see discussion in [[References#E|[EEKLS26]]]).
 
|-
 
|-
|16 || [[Q16|9]] || [[Q16|<math>Q_{16}</math>]] || No || 6(?) || || <math>k</math> || [[References|[Er88a], [Er88b], [Ho97]]] || Two possibly infinite families when <math>l(B)=2</math>. Classified over <math>\mathcal{O}</math> when <math>l(B)=3</math> in [[References#E|[Ei16]]]. Principal blocks classified up to source algebra equivalence in [[References#K|[KoLa20b]]]
+
|16 || [[Q16|9]] || [[Q16|<math>Q_{16}</math>]] || <math>\mathcal{O}</math> || 6(?) || || <math>k</math> || [[References#E|[Er88a], [Er88b], [EEKLS26]]], [[References#H|[Ho97]]] || Classified over <math>\mathcal{O}</math> when <math>l(B)=3</math> in [[References#E|[Ei16]]]. When <math>l(B)=2</math> there are between 2 and 4 Morita equivalence classes over <math>k</math>. Finite list of Morita equivalence classes over <math>\mathcal{O}</math>, with possible repetition, by [[References#E|[EEKLS26]]]. Principal blocks classified up to source algebra equivalence in [[References#K|[KoLa20b]]]
 
|-
 
|-
 
|16 || [[C4xC2xC2|10]] || [[C4xC2xC2|<math>C_4 \times C_2 \times C_2</math>]]|| <math>\mathcal{O}</math> || 3(3) || <math>\mathcal{O}</math> || <math>\mathcal{O}</math> || [[References|[EL18a]]] ||
 
|16 || [[C4xC2xC2|10]] || [[C4xC2xC2|<math>C_4 \times C_2 \times C_2</math>]]|| <math>\mathcal{O}</math> || 3(3) || <math>\mathcal{O}</math> || <math>\mathcal{O}</math> || [[References|[EL18a]]] ||
Line 129: Line 130:
 
|32 || [[M32|17]] || [[M32|<math>M_{32}</math>]] || <math>\mathcal{O}</math> || 1(1) || <math>\mathcal{O}</math> || <math>\mathcal{O}</math> || [[References#C|[CG12], [Sa12b]]] ||
 
|32 || [[M32|17]] || [[M32|<math>M_{32}</math>]] || <math>\mathcal{O}</math> || 1(1) || <math>\mathcal{O}</math> || <math>\mathcal{O}</math> || [[References#C|[CG12], [Sa12b]]] ||
 
|-
 
|-
|32 || [[D32|18]] || [[D32|<math>D_{32}</math>]] || <math>k</math> || 5(?) || <math>k</math> || <math>k</math> || [[References#E|[Er87]]] || Principal blocks classified up to source algebra equivalence in [[References#K|[KoLa20]]]  
+
|32 || [[D32|18]] || [[D32|<math>D_{32}</math>]] || <math>\mathcal{O}</math> || 5(?) || <math>k</math> || <math>k</math> || [[References#E|[Er87]]] || See discussion in [[References#E|[EEKLS26]]] regarding Donovan over <math>\mathcal{O}</math>. Principal blocks classified up to source algebra equivalence in [[References#K|[KoLa20]]]  
 
|-
 
|-
|32 || [[SD32|19]] || [[SD32|<math>SD_{32}</math>]] || <math>k</math> || || || || ||
+
|32 || [[SD32|19]] || [[SD32|<math>SD_{32}</math>]] || <math>k</math> || || || || || Donovan's conjecture known over <math>\mathcal{O}</math> for <math>l(B) \neq 2</math> by [[References#L|[La16]]] (see discussion in [[References#E|[EEKLS26]]]).
 
|-
 
|-
|32 || [[Q32|20]] || [[Q32|<math>Q_{32}</math>]] || No || || || || [[References#E|[Er88a], [Er88b], [Ho97]]] || Two possibly infinite families when <math>l(B)=2</math>. Classified over <math>\mathcal{O}</math> when <math>l(B)=3</math> in [[References#E|[Ei16]]]. Principal blocks classified up to source algebra equivalence in [[References#K|[KoLa20b]]]
+
|16 || [[Q32|20]] || [[Q32|<math>Q_{32}</math>]] || <math>\mathcal{O}</math> || || || <math>k</math> || [[References#E|[Er88a], [Er88b], [EEKLS26]]], [[References#H|[Ho97]]] || Classified over <math>\mathcal{O}</math> when <math>l(B)=3</math> in [[References#E|[Ei16]]]. When <math>l(B)=2</math> there are between 2 and 4 Morita equivalence classes over <math>k</math>. Finite list of Morita equivalence classes over <math>\mathcal{O}</math>, with possible repetition, by [[References#E|[EEKLS26]]]. Principal blocks classified up to source algebra equivalence in [[References#K|[KoLa20b]]]
 
|-
 
|-
 
|32 || [[C4xC4xC2|21]] || [[C4xC4xC2|<math>C_4 \times C_4 \times C_2</math>]] || <math>\mathcal{O}</math> || 2(2) || <math>\mathcal{O}</math> || <math>\mathcal{O}</math> || [[References#E|[EKKS14]]]  
 
|32 || [[C4xC4xC2|21]] || [[C4xC4xC2|<math>C_4 \times C_4 \times C_2</math>]] || <math>\mathcal{O}</math> || 2(2) || <math>\mathcal{O}</math> || <math>\mathcal{O}</math> || [[References#E|[EKKS14]]]  

Revision as of 16:51, 13 August 2026

Classification of Morita equivalences for blocks with a given defect group

On this page we list classifications of Morita equivalence classes for each isomorphism class of p-groups in turn. Generic classifications for classes of p-groups can be found here.

See this page for a description of the labelling conventions.

Blocks for [math] p=2 [/math]

The table for defect groups of order 32 takes as its starting point Table 13.1 of Sambale's book [Sa14].


Blocks for [math]p=3[/math]

Blocks for [math]p=5[/math]

Blocks for [math]p\geq 7[/math]