PSU(3,5) Modulo 2
The Hecke algebra for the Projective Special Unitary Group of dimension 3
over GF(5) with point stabilizer being the normalizer of a
Sylow 2-subgroup
in characteristic 2
.
The Module M
The module M is the permutation module over the
field of chacteristic 2, having point stablilizer
of order 16
. The dimension of M is 7875
.
The dimensions of the irreducible submodules modules are
144,
144,
104,
28,
28,
28,
20,
1
.
The module M has radical filtration (Loewy series)
1,
1,
1,
1,
1,
1,
1,
1,
1,
2,
2,
2,
2,
2,
2,
2,
2,
2,
3,
3,
3,
3,
3,
3,
3,
4,
4,
4,
5,
5,
5,
6,
6,
6,
7,
7,
7,
8
4,
4,
4,
5,
5,
5,
6,
6,
6,
8,
8,
8,
8,
8,
8,
8,
8,
8,
8
3,
3,
3,
4,
5,
6,
7,
7,
7,
7,
7,
7,
7
8,
8,
8,
8,
8,
8,
8,
8,
8,
8
3,
3,
3,
3,
3,
3,
3,
7,
7,
7
8,
8,
8,
8,
8,
8,
8,
8,
8
3,
3,
7,
7,
7,
7,
7,
7,
7
8,
8,
8,
8,
8,
8,
8,
8,
8
3,
3,
3,
3,
3,
3,
3,
7,
7
8,
8,
8,
8,
8,
8
7,
7,
7,
7,
7,
7
8,
8,
8,
8,
8,
8
3,
3,
3,
3,
3,
3
8,
8,
8,
8,
8,
8
7,
7,
7,
7,
7,
7
8,
8,
8,
8,
8,
8
3,
3,
3,
3,
3,
3
The module M has socle filtration (socle series)
3,
3,
3,
3,
3,
3
8,
8,
8,
8,
8,
8
7,
7,
7,
7,
7,
7
8,
8,
8,
8,
8,
8
3,
3,
3,
3,
3,
3
8,
8,
8,
8,
8,
8
7,
7,
7,
7,
7,
7
8,
8,
8,
8,
8,
8
3,
3,
3,
3,
3,
3,
3,
7,
7
8,
8,
8,
8,
8,
8,
8,
8,
8
3,
3,
7,
7,
7,
7,
7,
7,
7
8,
8,
8,
8,
8,
8,
8,
8,
8
3,
3,
3,
3,
3,
3,
3,
7,
7,
7
8,
8,
8,
8,
8,
8,
8,
8,
8,
8
3,
3,
3,
4,
5,
6,
7,
7,
7,
7,
7,
7,
7
4,
4,
4,
5,
5,
5,
6,
6,
6,
8,
8,
8,
8,
8,
8,
8,
8,
8,
8
1,
1,
1,
1,
1,
1,
1,
1,
1,
2,
2,
2,
2,
2,
2,
2,
2,
2,
3,
3,
3,
3,
3,
3,
3,
4,
4,
4,
5,
5,
5,
6,
6,
6,
7,
7,
7,
8
The module M has simple direct summands:
9 copies of simple module number 1
9 copies of simple module number 2
1 copy of simple module number 4
1 copy of simple module number 5
1 copy of simple module number 6
1 copy of simple module number 8
The remaining indecomposable components of M
have radical and socle filtrations as follows:
1).
radical layers
6
4,
5
6
socle layers
6
4,
5
6
2).
radical layers
4
5,
6
4
socle layers
4
5,
6
4
3).
radical layers
5
4,
6
5
socle layers
5
4,
6
5
4).
radical layers
7
8
3
8
7
socle layers
7
8
3
8
7
5).
radical layers
4,
5,
6
4,
5,
6
socle layers
4,
5,
6
4,
5,
6
6).
radical layers
7
8
3
8
7
8
3
8
7
socle layers
7
8
3
8
7
8
3
8
7
7).
radical layers
7
8
3
8
7
8
3
8
7
socle layers
7
8
3
8
7
8
3
8
7
8).
radical layers
3
8
7
8
3
8
7
8
3
socle layers
3
8
7
8
3
8
7
8
3
9).
radical layers
3
8
7
8
3
8
7
8
3
8
7
8
3
8
7
8
3
socle layers
3
8
7
8
3
8
7
8
3
8
7
8
3
8
7
8
3
10).
radical layers
3
8
7
8
3
8
7
8
3
8
7
8
3
8
7
8
3
socle layers
3
8
7
8
3
8
7
8
3
8
7
8
3
8
7
8
3
11).
radical layers
3
8
7
8
3
8
7
8
3
8
7
8
3
8
7
8
3
socle layers
3
8
7
8
3
8
7
8
3
8
7
8
3
8
7
8
3
12).
radical layers
3
8
7
8
3
8
7
8
3
8
7
8
3
8
7
8
3
socle layers
3
8
7
8
3
8
7
8
3
8
7
8
3
8
7
8
3
13).
radical layers
3
8
7
8
3
8
7
8
3
8
7
8
3
8
7
8
3
socle layers
3
8
7
8
3
8
7
8
3
8
7
8
3
8
7
8
3
14).
radical layers
3
8
7
8
3
8
7
8
3
8
7
8
3
8
7
8
3
socle layers
3
8
7
8
3
8
7
8
3
8
7
8
3
8
7
8
3
The Action Algebra
The action algebra A is the image of kG in the
k-endomorphism ring of M. It's simple modules are the irreducible
submodules of M.
The dimensions of the projective modules are
144,
144,
608,
112,
112,
112,
523,
986
.
The cartan matrix of A is
1,
0,
0,
0,
0,
0,
0,
0
0,
1,
0,
0,
0,
0,
0,
0
0,
0,
5,
0,
0,
0,
4,
8
0,
0,
0,
2,
1,
1,
0,
0
0,
0,
0,
1,
2,
1,
0,
0
0,
0,
0,
1,
1,
2,
0,
0
0,
0,
4,
0,
0,
0,
5,
7
0,
0,
8,
0,
0,
0,
7,
14
The determinant of the Cartan matrix is 36.
The blocks of A consist of the following irreducible
modules:
(1).
1
(2).
2
(3).
3,
7,
8
(4).
4,
5,
6
Projective modules number
1,
2
are simple.
The radical and socle filtrations of the remaining
projective modules for A are the following:
Projective module number 3
radical layers
3
8
7
8
3
8
7
8
3
8
7
8
3
8
7
8
3
socle layers
3
8
7
8
3
8
7
8
3
8
7
8
3
8
7
8
3
Projective module number 4
radical layers
4
5,
6
4
socle layers
4
5,
6
4
Projective module number 5
radical layers
5
4,
6
5
socle layers
5
4,
6
5
Projective module number 6
radical layers
6
4,
5
6
socle layers
6
4,
5
6
Projective module number 7
radical layers
7
8
3,
7
8
7
8
3
8
7
8
3
8
7
8
3
socle layers
7
8
3
8
7
8
3
8
7
8
3
8
7
8
3,
7
Projective module number 8
radical layers
8
3,
7
8,
8
3,
7
8,
8
3,
7
8,
8
3,
7
8,
8
3,
7
8,
8
3,
7
8,
8
3,
7
8
3
socle layers
8
7
8
3,
3
8,
8
7,
7
8,
8
3,
3
8,
8
7,
7
8,
8
3,
3
8,
8
7,
7
8,
8
3,
3
The degrees of the splitting fields are
1,
1,
1,
1,
1,
1,
1,
1
.
The Hecke Algebra
The Hecke algebra H of the module M is the A-endomorphism
ring of M.
The dimension of H is
517
.
The dimensions of the irreducible H-modules are
9,
9,
6,
2,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1
.
The degrees of the splitting fields are
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1
.
The dimensions of the projective modules of H are
9,
9,
38,
22,
1,
3,
3,
7,
7,
13,
26,
3,
13,
7
.
The cartan matrix of H is
1,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
0,
1,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
0,
0,
5,
2,
0,
0,
0,
0,
0,
1,
3,
0,
0,
0
0,
0,
2,
3,
0,
0,
0,
0,
0,
2,
2,
0,
0,
0
0,
0,
0,
0,
1,
0,
0,
0,
0,
0,
0,
0,
0,
0
0,
0,
0,
0,
0,
1,
0,
0,
1,
0,
0,
0,
1,
0
0,
0,
0,
0,
0,
0,
1,
1,
0,
0,
0,
0,
1,
0
0,
0,
0,
0,
0,
0,
1,
2,
1,
0,
0,
0,
2,
1
0,
0,
0,
0,
0,
1,
0,
1,
2,
0,
0,
0,
2,
1
0,
0,
1,
2,
0,
0,
0,
0,
0,
2,
1,
0,
0,
0
0,
0,
3,
2,
0,
0,
0,
0,
0,
1,
3,
0,
0,
0
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
1,
1,
1
0,
0,
0,
0,
0,
1,
1,
2,
2,
0,
0,
1,
4,
2
0,
0,
0,
0,
0,
0,
0,
1,
1,
0,
0,
1,
2,
2
The determinant of the Cartan matrix is 0.
The blocks of H consist of the following irreducible
modules:
(1).
1
(2).
2
(3).
3,
4,
10,
11
(4).
5
(5).
6,
7,
8,
9,
12,
13,
14
Projective modules number
1,
2,
5
are simple.
The radical and socle filtrations of the remaining
projective modules for H are the following:
Projective module number 3
radical layers
3
3,
11
3,
4
10,
11
3,
4
11
3
socle layers
3
11
3,
4
10,
11
3,
4
3,
11
3
Projective module number 4
radical layers
4
10,
11
3,
4
10,
11
3,
4
socle layers
4
10,
11
4
3,
10,
11
3,
4
Projective module number 6
radical layers
6
13
9
socle layers
6
13
9
Projective module number 7
radical layers
7
13
8
socle layers
7
13
8
Projective module number 8
radical layers
8
13
7,
9,
14
13
8
socle layers
8
13
7,
9,
14
13
8
Projective module number 9
radical layers
9
13
6,
8,
14
13
9
socle layers
9
13
6,
8,
14
13
9
Projective module number 10
radical layers
10
4
10,
11
3,
4
socle layers
10
4
10,
11
3,
4
Projective module number 11
radical layers
11
3,
4
10,
11
3,
4
11
3
socle layers
11
4
10,
11
3,
4
3,
11
3
Projective module number 12
radical layers
12
13
14
socle layers
12
13
14
Projective module number 13
radical layers
13
6,
7,
8,
9,
12,
14
13,
13,
13
8,
9,
14
socle layers
13
6,
7,
8,
9,
12,
14
13,
13,
13
8,
9,
14
Projective module number 14
radical layers
14
13
8,
9,
12
13
14
socle layers
14
13
8,
9,
12
13
14