TWO GROUPS 𝟐𝟑 .𝑷𝑺𝑳𝟐 (𝟕) AND 𝟐𝟑 : 𝑷𝑺𝑳𝟐 (𝟕) OF ORDER 1344
Mehmet Koca1, Ramazan Koç2 and Nazife Ozdes Koca3,*

2

Department of Physics, Gaziantep University, 27310, Gaziantep, Turkey

3

Department of Physics, College of Science, Sultan Qaboos University, Muscat, Oman

*Correspondence e-mail: nazife@squ.edu.om
Abstract
We analyze the group structures of two groups of order 1344 which are
respectively non-split and split extensions of the elementary Abelian group of order 8
by its automorphism group 𝑃𝑆𝐿2 (7). They share the same character table. The
group 23 .𝑃𝑆𝐿2 (7) is a finite subgroup of the Lie Group 𝐺2 preserving the set of
octonions ±𝑒𝑖 , (𝑖 = 1,2, … ,7) representing a 7-dimensional octahedron. Its three
maximal subgroups 23 : 7: 3, 23 . 𝑆4 and 4. 𝑆4 : 2 correspond to the finite subgroups of
the Lie groups 𝐺2 , 𝑆𝑂(4) and 𝑆𝑈(3) respectively. The group 23 : 𝑃𝑆𝐿2 (7)
representing the split extension possesses five maximal subgroups 23 : 7: 3,
23 : 𝑆4, 4: 𝑆4 : 2 and two non-conjugate Klein’s group 𝑃𝑆𝐿2 (7). The character tables of
the groups and their maximal subgroups, tensor products and decompositions of the
irreducible representations under the relevant maximal subgroups are identified.
Possible implications in physics are discussed.
Keywords: Finite groups, discrete octonions, group extensions, character table, tensor
products

I.

INTRODUCTION

We have introduced some part of this work in an earlier publication [1]. Since
then we have observed that the simple group like 𝑃𝑆𝐿2 (7) [2] and the subgroups
thereof 7: 3 [3], 𝑆4 and 𝐴4 [4, 5, 6, 7, 8, 9] have been proposed to explain the
properties of the Tri-Bimaximal Neutrino Mixing [10]. When the charged leptons and
quark masses are incorporated into the scheme we may think of much larger discrete
symmetries broken to the aforementioned finite subgroups of 𝑆𝑈(3). Along with this
line we would like to introduce two groups of order 1344 which are non-split and split
extensions of the elementary Abelian group 23 of order 8 by its automorphism group
𝑃𝑆𝐿2 (7).
1

mehmetkocaphysics@gmail.com
koc@gantep.edu.tr
3
nazife@squ.edu.om
2

1

Before we proceed further a glossary may be introduced for the group theoretical
concepts and notations used throughout the paper. We follow the notations of the
Atlas of Finite Groups [11]. A cyclic group of order p is denoted by p. An elementary
Abelian group of order 𝑝𝑛 (denoted also by 𝑝𝑛 ) is the direct product of n cyclic
groups of each having order p. Thus, the elementary abelian group 23 is the direct
product of three cyclic groups of order 2. The group A.B denotes any group
possessing a normal subgroup A, for which the corresponding quotient group is B.
This is used for the non-split extension. The group A:B indicates the split extension,
or the semi-direct product 𝐴 ⋊ 𝐵. Here a copy of the quotient group B is a subgroup
of the group A:B. This shows that the intersection of A and B is just the unit element.
The quotient group of interest here is the special projective group 𝑃𝑆𝐿2 (7) and has
been discussed in the physics literature extensively [2,12,13].
The paper is organized as follows. For the group 23 .𝑃𝑆𝐿2 (7) is the
automorphism group of the octonionic set ±𝑒𝑖 , (𝑖 = 1,2, … ,7) we review in Section 2
the basic structure of the octonion algebra and introduce the group 7: 3 as the
automorphism of the 7 imaginary units 𝑒𝑖 , (𝑖 = 1,2, … ,7). In Section 3 we extend the
automorphism to the full group of automorphism including the change of sign of the
imaginary units of octonions and point out that the diagonal matrices form the
elementary abelian subgroup of the automorphism group. The quotient group
𝑃𝑆𝐿2 (7) is explicitly constructed and the maximal subgroups of the group
23 .𝑃𝑆𝐿2 (7) are identified. In Section 4 we discuss the construction of the group by
using a finite subgroup of 𝑆𝑂(4) based on the preservation of the quaternion
subalgebra of the octonion algebra. Section 5 deals with the construction of the 7dimensional irreducible representation of the group 23 : 𝑃𝑆𝐿2 (7) and its five maximal
subgroups, two of which, are the non-conjugate Klein’s group 𝑃𝑆𝐿2 (7). In
concluding Section 6 we point out as to how these groups can be used in physics. In
Appendix A we study the tensor products of the irreducible representations. Appendix
B lists the decompositions of the irreducible representations under the maximal
subgroups.
II. OCTONIONS AND THE GROUP 𝟕: 𝟑
The octonions (Cayley numbers) are sets of real numbers
𝑞 = (𝑞0 , 𝑞1 , 𝑞2 , 𝑞3 , 𝑞4 , 𝑞5 , 𝑞6 , 𝑞7 )
= 𝑞0 . 1 + 𝑞1 𝑒1 + 𝑞2 𝑒2 + 𝑞3 𝑒3 + 𝑞4 𝑒4 + 𝑞5 𝑒5 + 𝑞6 𝑒6 + 𝑞7 𝑒7

(1)

where 𝑒𝑖 , (𝑖 = 1,2, … . ,7) are 7 imaginary octonionic units. Octonions are added like
vectors and multiplied as follows
1. 𝑒𝑖 = 𝑒𝑖 . 1 = 𝑒𝑖 ,
𝑒𝑖 𝑒𝑗 = −𝛿𝑖𝑗 + ∑7𝑘=1 ∅𝑖𝑗𝑘 𝑒𝑘

(𝑖, 𝑗, 𝑘 = 1,2, … ,7)

(2)

where ∅𝑖𝑗𝑘 are completely antisymmetric in 𝑖, 𝑗, 𝑘 with the values ±1. We choose the
basis as shown in Figure 1 such that [14]
∅123 = ∅246 = ∅435 = ∅367 = ∅651 = ∅572 = ∅714 = 1,

(3)

which follows from the cyclic rotation of the triangle in Figure 1.
2

𝑒1
𝑒7

𝑒2

𝑒5

𝑒4

𝑒6

𝑒3

Figure 1. Octonionic multiplication based on quaternionic multiplication
The 7-imaginary units form 35 triads, 7 of which are associative and follow the
ordering such that 𝑒𝑖 𝑒𝑗 𝑒𝑘 = −1 when 𝑖, 𝑗, 𝑘 take one of the values in (3).
The 28 anti-associative triads can be obtained from the following four antiassociative triads
𝑒1 (𝑒2 𝑒4 ) = 𝑒5 = −(𝑒1 𝑒2 )𝑒4
−𝑒1 (𝑒2 𝑒6 ) = 𝑒7 = (𝑒1 𝑒2 )𝑒6
−𝑒1 (𝑒2 𝑒5 ) = 𝑒4 = (𝑒1 𝑒2 )𝑒5
𝑒1 (𝑒2 𝑒7 ) = 𝑒6 = −(𝑒1 𝑒2 )𝑒7
(4)
by using the cyclic permutation (1243657). The seven associative triads correspond to
the lines of the finite projective geometry of seven lines and seven points of the Fano
plane.
Without changing the signs of the octonionic imaginary units in Figure 1 we can
obtain two operations preserving the octonion algebra. Let 𝛼 transform the octonionic
units 𝑒𝑖 in the cyclic order (𝑒1 𝑒2 𝑒4 𝑒3 𝑒6 𝑒5 𝑒7 ) so that 𝛼 7 = 1. Let 𝛽 fix 𝑒1 and
permutes the associative triad (𝑒2 𝑒4 𝑒6 ) and the anti-associative triad (𝑒3 𝑒7 𝑒5 ) in the
indicated orders. It is clear that 𝛽 3 = 1 and preserves the octonion algebra. Indeed,
the transformation (𝑒3 𝑒7 𝑒5 ) is sufficient to determine the rest of the transformations
of the quaternionic imaginary units. It is easy to prove that two generators generate a
finite group of order 21 satisfying the generation relations
𝛼 7 = 𝛽 3 = 𝛽 −1 𝛼𝛽𝛼 3 = 1.

(5)

It is clear from (5) that 𝛼 generates an invariant subgroup of order 7 and hence
the structure of the group 7: 3. The conjugacy classes are given by the set of group
elements
𝐶1 = (1), 𝐶2 = ( 𝛼, 𝛼 2 , 𝛼 4 ), 𝐶3 = ( 𝛼 3 , 𝛼 5 , 𝛼 6 ),
𝐶4 = (𝛼 𝑎 𝛽), 𝐶5 = (𝛼 𝑎 𝛽 2 ), (𝑎 = 0, 1, … , 6).

(6)

The character table of the group is depicted in TABLE I.

3

TABLE I. The character table of the Frobenius group 7: 3
7: 3
𝜒 [1]
𝜒 [11 ]
𝜒 [12 ]
𝜒 [31 ]
𝜒 [32 ]

𝐶1
1
1
1
3
3

[3]

[3]

7𝐶2
1
𝜇
𝜇
0
0

7𝐶3
1
𝜇
𝜇
0
0
1

[7]

3𝐶4
1
1
1
𝜂
𝜂

[7]

3𝐶5
1
1
1
𝜂
𝜂

1

Here, 𝜒 [12 ] = 𝜒 [ 11 ] , 𝜒 [32 ] = 𝜒 [ 31 ] , 𝜇 = 2 (−1 + 𝑖√3), 𝜂 = 2 (−1 + 𝑖√7).
One can easily check that the 7-dimensional representation obtained by the
generators 𝛼 and 𝛽 is reducible and can be decomposed as 7 = 1 + 31 + 31 .
III. THE GROUP 𝟐𝟑 .𝑷𝑺𝑳𝟐 (𝟕) AS THE AUTOMORPHISM GROUP OF THE
OCTONIONIC SET ±𝑒𝑖
Now we allow the octonionic units 𝑒𝑖 take also negative values, in other words,
we also include the octonionic conjugates in the transformations. Any linear
transformation on a non-associative triad determines the transformations of 7
imaginary units. Let us take the non-associative triad (𝑒1 𝑒2 𝑒7 ) and impose the
transformation 𝑒1 → 𝑒1 , 𝑒2 → 𝑒2 , 𝑒7 → −𝑒7 . This transformation leads to the
transformations 𝑒3 → 𝑒3 , 𝑒4 → −𝑒4 , 𝑒5 → −𝑒5 and 𝑒6 → −𝑒6. Let us call it
𝑁1 = (𝑒1 → 𝑒1 , 𝑒2 → 𝑒2 , 𝑒3 → 𝑒3 , 𝑒4 → −𝑒4 , 𝑒5 → −𝑒5 , 𝑒6 → −𝑒6, 𝑒7 → −𝑒7 ) and
denote it as a diagonal matrix with non-zero entities
𝑁1 = (1, 1, 1, −1, −1, −1, −1).

(7)

This diagonal transformation leaves the associative triad (123) intact and changes
the signs of the other 4 octonionic units. When we take 𝛼, 𝛽 and 𝑁1 as generators we
obtain a group of order 168 but not isomorphic to 𝑃𝑆𝐿2 (7). It has, by construction, an
invariant subgroup of order 8 generated by three diagonal transformations 𝑁1 , 𝑁2 and
𝑁7 where 𝑁2 = (1, −1, −1, 1, −1, −1, 1) and 𝑁7 = (−1, 1, −1, 1, −1,1, −1). They
generate the elementary Abelian group 23 where the other elements are defined as
𝑁3 = 𝑁1 𝑁2 = 𝑁2 𝑁1, 𝑁4 = 𝑁7 𝑁1 = 𝑁1 𝑁7,
𝑁5 = 𝑁7 𝑁2 = 𝑁2 𝑁7 , 𝑁6 = 𝑁7 𝑁3 = 𝑁3 𝑁7 .

(8)

More compactly, they can be written as
𝑁𝑖 𝑁𝑗 = 𝑁𝑗 𝑁𝑖 = 𝑁𝑘 , (𝑖𝑗𝑘 = 123, 147, 165, 246, 257, 345, 367).

(9)

The 7-diagonal matrices can be used to define the Fano plane. One can show that
the set of group elements 𝑁𝑖 , (𝑖 = 1,2, … ,7) is invariant under the conjugations of the
generators so that the group can be designated as 23 : 7: 3, the order of which is 168
but since it has an invariant subgroup it is not isomorphic to the simple group
𝑃𝑆𝐿2 (7). The 7-dimensional representation of the group 23 : 7: 3 obtained from the
4

generators 𝛼, 𝛽 and 𝑁1 is irreducible and denoted by 71 in the character table of the
group 23 : 7: 3 given in TABLE II.
TABLE II. The character table of the group 23 : 7: 3
23 : 7: 3

𝐶1

𝜒 [1]
𝜒 [11 ]
𝜒 [12 ]
𝜒 [31 ]
𝜒 [32 ]
𝜒 [71 ]
𝜒 [72 ]
𝜒 [73 ]

1
1
1
3
3
7
7
7

[2]

7𝐶2
1
1
1
3
3
-1
-1
-1

[3]

28𝐶3
1
𝜇
𝜇
0
0
1
𝜇
𝜇

[3]

28𝐶4
1
𝜇
𝜇
0
0
1
𝜇
𝜇

[6]

28𝐶5
1
𝜇
𝜇
0
0
-1
−𝜇
−𝜇

[6]

28𝐶6
1
𝜇
𝜇
0
0
-1
−𝜇
−𝜇

[7]

24𝐶7
1
1
1
𝜂
𝜂
0
0
0

[7]

24𝐶8
1
1
1
𝜂
𝜂
0
0
0

Note that in TABLE II the characters satisfy the relations
𝜒
= 𝜒 [ 11 ] , 𝜒 [32 ] = 𝜒 [ 31 ] , 𝜒 [73 ] = 𝜒 [ 71 ] and the other irreducible representations
are real. The group 23 : 7: 3 is not the full automorphism group of the set of
octonions ±𝑒𝑖 . In fact, a transformation of the form 𝛾: ( 𝑒1 ↔ −𝑒4 , 𝑒2 ↔ −𝑒5 , 𝑒3 →
−𝑒3 , 𝑒6 → 𝑒6 , 𝑒7 → −𝑒7 ) preserves the octonion algebra and does not belong to the
group of elements of the group 23 : 7: 3. Adjoining 𝛾 as a new generator then 𝛼, 𝛽, 𝛾
and 𝑁1 together generate the group of order 1344. We will prove that it has the
structure 23 .𝑃𝑆𝐿2 (7) which can also be generated by two generators 𝛼 and 𝛾 only.
Here the group 𝑃𝑆𝐿2 (7) is the quotient group whose generators are defined by the
conjugations over the elements of the elementary abelian group 23 :
[12 ]

𝛼̃ : 𝑁𝑖 → 𝛼 −1 𝑁𝑖 𝛼, 𝛽̃ : 𝑁𝑖 → 𝛽 −1 𝑁𝑖 𝛽, 𝛾̃ : 𝑁𝑖 → 𝛾 −1 𝑁𝑖 𝛾.

(10)

They permute the diagonal matrices as
𝛼̃ = (𝑁1 𝑁2 𝑁4 𝑁3 𝑁6 𝑁5 𝑁7 ),
𝛽̃ = (𝑁3 𝑁2 𝑁1 )(𝑁4 𝑁6 𝑁5 )(𝑁7 )
𝛾̃ = (𝑁1 𝑁5 )(𝑁2 )(𝑁3 𝑁7 )(𝑁4 )(𝑁6 ).

(11)

The group generated by the generators in (11) is isomorphic to the Klein’s group
𝑃𝑆𝐿2 (7) of order 168 and the 7-dimensional representation obtained from (11) is
reducible 7 = 1 + 6. This is expected because 7 diagonal matrices 𝑁𝑖 form the Fano
plane whose automorphism group is the Klein’s group. The character table of the
group 𝑃𝑆𝐿2 (7) is shown in TABLE III. (Note the difference between TABLE II and
TABLE III).

5

TABLE III. The character table of the group 𝑃𝑆𝐿2 (7)
𝑃𝑆𝐿2 (7)

𝐶1

𝜒 [1]
𝜒 [31 ]
𝜒 [32 ]
𝜒 [6]
𝜒 [7]
𝜒 [8]

1
3
3
6
7
8

[3]

[2]

21𝐶2
1
-1
-1
2
-1
0

56𝐶3
1
0
0
0
1
-1

[4]

42𝐶4
1
1
1
0
-1
0

[7]

42𝐶5
1
𝜂
𝜂
-1
0
1

[7]

42𝐶6
1
𝜂
𝜂
-1
0
1

Here again the characters satisfy 𝜒 [32 ] = 𝜒 [31 ] . A copy of the 𝑃𝑆𝐿2 (7) does not
exist in the group 23 .𝑃𝑆𝐿2 (7), therefore it is not a subgroup and hence the latter
group is the non-split extension of the group 23 by the group 𝑃𝑆𝐿2 (7). The character
table of the groups 23 .𝑃𝑆𝐿2 (7) and 23 : 𝑃𝑆𝐿2 (7) is given in TABLE IV.
TABLE IV. The character table of the groups 23 .𝑃𝑆𝐿2 (7) and 23 : 𝑃𝑆𝐿2 (7)
23 . 𝑃𝑆𝐿2 (7)

𝐶1

𝐶2

23 : 𝑃𝑆𝐿2 (7)

𝐶1

𝐶2

1
1
3
3
6
7
7
7
8
14
21
21

# of
elements
𝜒 [1]
𝜒 [31 ]
𝜒 [32 ]
𝜒 [6]
𝜒 [71 ]
𝜒 [72 ]
𝜒 [73 ]
𝜒 [8]
𝜒 [14]
𝜒 [211 ]
𝜒 [212 ]

[2]

𝐶3

[2]

𝐶4

[3]

𝐶5

[2]

[4]

𝐶6

𝐶3

[4]

7
1
3
3
6
-1
7
-1
8
-2
-3
-3

[4]

𝐶7

𝐶4

[3]

84
1
-1
-1
2
-1
-1
-1
0
-2
1
1

[6]

𝐶8

𝐶5

[2]

224
1
0
0
0
1
1
1
-1
-1
0
0

[7]

𝐶9

𝐶6

[2]

42
1
-1
-1
2
-1
-1
3
0
2
-3
1

[7]

𝐶10

𝐶7

[6]

42
1
-1
-1
2
3
-1
-1
0
2
1
-3

[8]

𝐶11

𝐶8

[7]

𝐶9

[7]

224

192

1
0
0
0
-1
1
-1
-1
1
0
0

1
𝜂
𝜂
-1
0
0
0
1
0
0
0

[8]

𝐶10

[4]

𝐶11

192

168

168

1
𝜂
𝜂
-1
0
0
0
1
0
0
0

1
1
1
0
1
-1
-1
0
0
-1
1

1
1
1
0
-1
-1
1
0
0
1
-1

[4]

The character table shows that all the representations are real except the 3dimensional representations which satisfy 𝜒 [32 ] = 𝜒 31 ] .
The group 23 .𝑃𝑆𝐿2 (7) has three maximal subgroups having the structures
3
2 : 7: 3, 4. 𝑆4 : 2 and 23 . 𝑆4 of respective orders 168, 192 and 192. The group
23 : 7: 3 preserves the octonion multiplication and the 7-dimensional representation
denoted by 71 is irreducible. It is a subgroup of the Lie group 𝐺2 and the groups
4. 𝑆4 : 2 and 23 . 𝑆4 are finite subgroups of the groups 𝑆𝑈(3) and 𝑆𝑂(4) respectively
as we will study in the next section. The Lie groups 𝑆𝑈(3) and 𝑆𝑂(4) are the
maximal subgroups of the Lie group 𝐺2 .
6

Maximal subgroups 𝟒. 𝑺𝟒 : 𝟐 𝐚𝐧𝐝 𝟐𝟑 . 𝑺𝟒 of the group 𝟐𝟑 .𝑷𝑺𝑳𝟐 (𝟕)
The group 23 .𝑃𝑆𝐿2 (7) has two maximal subgroups of order 192. Now we
discuss some properties of the first subgroup 4. 𝑆4 : 2. Let 𝑒𝑖 = −𝑒𝑖 denote the
octonionic conjugate. Define the transformation
𝜃 = (𝑒1 𝑒5 )(𝑒2 𝑒3 𝑒4 𝑒7 𝑒2 𝑒3 𝑒4 𝑒7 )(𝑒6 𝑒6 ),

with 𝜃 8 =1.

(12)

The generators 𝛾 and 𝜃 generate the group 4. 𝑆4 : 2 which represents a finite
subgroup of 𝑆𝑈(3) as the generators fix the octonion ±𝑒6 . The character table of the
group 4. 𝑆4 : 2 is shown in TABLE V. This is also one of the maximal subgroups of the
Chevalley’s group 𝐺2 (2)[15] preserving the octonionic root system of 𝐸7 . The 7dimensional representation can be written as 7 = 1 + 6; more properly, 71 = 11 +
63 . By adjoining the generator 𝛼 which permutes the 7 imaginary octonionic units one
can generate the group 23 .𝑃𝑆𝐿2 (7). It is easy to prove that 𝛾̃ and
𝜃̃ = (𝑁1 𝑁4 𝑁2 𝑁5 )(𝑁3 )(𝑁6 𝑁7 ) with 𝛾̃ 2 = 𝜃̃ 4 = 1 generate the subgroup 𝑆4 as the
quotient group. Let 𝑎 and 𝑏 be the generators of a group, then the standard generation
relations of 𝑆4 is 𝑎4 = 𝑏 3 = (𝑎𝑏)2 = 1 [16]. This relation can be satisfied if we
define 𝑎 = 𝛾̃ 𝜃̃𝛾̃ and 𝑏 = 𝛾̃ 𝜃̃ −1.
TABLE V. The character table of the groups 4. 𝑆4 : 2 and 4: 𝑆4 : 2
4. 𝑆4 : 2

𝐶1 𝐶 [2] 𝐶 [2] 𝐶 [2] 𝐶 [2] 𝐶 [2] 𝐶 [3] 𝐶 [4] 𝐶 [4] 𝐶 [4] 𝐶 [4] 𝐶 [6] 𝐶 [8] 𝐶 [8]
2
3
4
6
7
8
9
10
11
12
13
14
5

4: 𝑆4 : 2

[2]
[6]
[4]
[2]
[4]
𝐶1 𝐶2[2] 𝐶3[2] 𝐶4[4] 𝐶5[4] 𝐶6[4] 𝐶7[3] 𝐶8[2] 𝐶9[2] 𝐶10
𝐶11 𝐶12 𝐶13 𝐶14

# of
elements
[1]

𝜒
𝜒 [11 ]
𝜒 [12 ]
𝜒 [13 ]
𝜒 [21 ]
𝜒 [22 ]
𝜒 [31 ]
𝜒 [32 ]
𝜒 [33 ]
𝜒 [34 ]
𝜒 [61 ]
𝜒 [62 ]
𝜒 [63 ]
𝜒 [64 ]

1
1
1
1
1
2
2
3
3
3
3
6
6
6
6

3
1
1
1
1
2
2
3
3
3
3
-2
-2
-2
-2

4
1
-1
-1
1
-2
2
3
3
-3
-3
0
0
0
0

12
1
1
-1
-1
0
0
-1
1
1
-1
0
0
-2
2

12
1
-1
1
-1
0
0
-1
1
-1
1
-2
2
0
0

12
1
-1
-1
1
-2
2
-1
-1
1
1
0
0
0
0

32
1
1
1
1
-1
-1
0
0
0
0
0
0
0
0

12
1
1
-1
-1
0
0
-1
1
1
-1
0
0
2
-2

6
1
1
1
1
2
2
-1
-1
-1
-1
-2
-2
2
2

6
1
1
1
1
2
2
-1
-1
-1
-1
2
2
-2
-2

12
1
-1
1
-1
0
0
-1
1
-1
1
2
-2
0
0

32
1
-1
-1
1
1
-1
0
0
0
0
0
0
0
0

24
1
1
-1
-1
0
0
1
-1
-1
1
0
0
0
0

24
1
-1
1
-1
0
0
1
-1
1
-1
0
0
0
0

The group 23 . 𝑆4 can be generated by the generators
7

𝐴 = (𝑒1𝑒7 𝑒3 𝑒1 𝑒7 𝑒3 )(𝑒2 𝑒4 𝑒6 𝑒2 𝑒4 𝑒6 )( 𝑒5 𝑒5 ),
𝐵 = (𝑒1) (𝑒2 𝑒6 𝑒2 𝑒6 )( 𝑒3 𝑒5 𝑒3 𝑒5 )(𝑒4 )(𝑒7 ),

(13)

𝐴6 = 𝐵 4 = 1.
The elements 𝐴̃ and 𝐵̃ can be obtained as follows
𝐴̃ = (𝑁1 𝑁6 𝑁2 )(𝑁3 𝑁5 𝑁4 )(𝑁7 ), 𝐵̃ = (𝑁1 𝑁3 )(𝑁2 )(𝑁4 𝑁6 )(𝑁5 )(𝑁7 ).

(14)

Now define 𝑎 = 𝐵̃ 𝐴̃ = (𝑁1 𝑁4 )(𝑁2 𝑁3 𝑁5 𝑁6 )(𝑁7 ) and 𝑏 = 𝐴̃−1.
It is
4
straightforward to show that they satisfy the 𝑆4 generation relations 𝑎 = 𝑏 3 =
(𝑎𝑏)2 = 1. Hence, the quotient group is 𝑆4 as claimed. The matrix representations of
𝐴̃ and 𝐵̃ do not preserve the octonion algebra therefore a copy of 𝑆4 does not exist in
the group 23 . 𝑆4 hence it is the non-split extension of the group 23 by 𝑆4 .
It is clear from the generators 𝐴 and 𝐵 that they preserve the sets of octonionic
units (±𝑒2 ± 𝑒4 ± 𝑒6 ) and (±𝑒1 ± 𝑒3 ± 𝑒5 ± 𝑒7 ) separately so that the 7 × 7 matrix
representation can be written in the block diagonal form of 3 × 3 and 4 × 4 matrices.
This proves that the 7-dimensional representation of the group 23 .𝑃𝑆𝐿2 (7) can be
decomposed as 71 = 31 + 41 under the group 23 . 𝑆4.
A rigorous proof can also be given by noting that the group 23 . 𝑆4 is a finite subgroup
of 𝑆𝑂(4) which preserves the quaternion substructure of the octonion algebra.
Let h represents a quaternion. Then an octonion can be written as ℎ + 𝑒7 ℎ where
the quaternionic imaginary units are taken as 𝑒1 , 𝑒2 and 𝑒3 . It can be proved that the
quaternion preserving transformation on the octonion ℎ + 𝑒7 ℎ [17] can be written as
ℎ + 𝑒7 ℎ → 𝑝ℎ𝑝 + 𝑝ℎ𝑞

(15)

where p and q are unit quaternions. The first term 𝑝ℎ𝑝 preserves the scalar part of the
octonion. Therefore, without loss of generality, we can also write it as 𝑝 𝐼𝑚(ℎ𝑝).
Since we are interested in the transformations of the set ±𝑒𝑖 , (𝑖 = 1,2, … ,7) we can
write it as
𝐼𝑚 (𝑉0 ) + 𝑒7 𝑉0 → 𝑝𝐼𝑚( 𝑉0 𝑝) + 𝑒7 𝑝𝑉0 𝑞
(16)
where the set 𝑉0 = {±1, ±𝑒1 , ±𝑒2 , ±𝑒3 } represents the elements of the quaternion
group of order 8. So, the question now turns out to be that for which unit quaternions
p and q the set of quaternions 𝑉0 is preserved. The answer lies in the finite quaternion
subgroups involving 𝑉0 as a subgroup. They are the binary tetrahedral group 𝒯,
binary octahedral group 𝒪 and the binary icosahedral group ℐ[16]. It turns out that we
need to invoke the binary octahedral group whose sets of elements can be written as
the union of 6 quaternionic sets [18]
𝒪 = 𝑉0 + 𝑉+ + 𝑉− + 𝑉1 + 𝑉2 + 𝑉3 .

(17)

Here the sets of quaternions are defined as
𝑉0 = {±1, ±𝑒1 , ±𝑒2 , ±𝑒3 }
1
𝑉+ = 2 (±1 ± 𝑒1 ±𝑒2 ± 𝑒3 ), even number of (+sign)
8

1

𝑉− = 2 (±1 ± 𝑒1 ±𝑒2 ± 𝑒3 ), odd number of (+sign)
1

1

1

√2
1

1

√2
1

𝑉1 = {√2 (±1 ± 𝑒1 ),
𝑉2 = {√2 (±1 ± 𝑒2 ),
𝑉3 = {√2 (±1 ± 𝑒3 ),

√2

( ±𝑒2 ± 𝑒3 )},

(18)

( ±𝑒3 ± 𝑒1 )},
( ±𝑒1 ± 𝑒2 )}.

They satisfy the multiplication table as shown in TABLE VI.
TABLE VI. Multiplication table for the binary octahedral group

𝑉0
𝑉+
𝑉−
𝑉1
𝑉2
𝑉3

𝑉0
𝑉0
𝑉+
𝑉−
𝑉1
𝑉2
𝑉3

𝑉+
𝑉+
𝑉−
𝑉0
𝑉2
𝑉3
𝑉1

𝑉−
𝑉−
𝑉0
𝑉+
𝑉3
𝑉1
𝑉2

𝑉1
𝑉1
𝑉3
𝑉2
𝑉0
𝑉−
𝑉+

𝑉2
𝑉2
𝑉1
𝑉3
𝑉+
𝑉0
𝑉−

𝑉3
𝑉3
𝑉2
𝑉1
𝑉−
𝑉+
𝑉0

To determine the pair of quaternions p and q we use the notation 𝑝ℎ𝑞 ≔ [𝑝, 𝑞]ℎ.
Later, we simply drop the quaternion h and write the 𝑆𝑂(4) group elements as the
pair [𝑝, 𝑞]. Since we have
𝑉0 = 𝑝𝑉0 𝑞 → 𝑞 = 𝑉0 𝑝𝑉0 = 𝑉0 𝑝𝑉0
(19)
and p can take values from the sets 𝑉0, 𝑉+ , 𝑉− , 𝑉1, 𝑉2 , 𝑉3 then the corresponding sets of
quaternions 𝑞 can be determined from the TABLE VI as 𝑉0, 𝑉− , 𝑉+ , 𝑉1, 𝑉2 , 𝑉3.
Therefore the 𝑆𝑂(4) group elements preserving the set 𝑉0 can be written as the union
of pairs of sets
[𝑉0 , 𝑉0 ] + [𝑉+ , 𝑉− ] + [𝑉− , 𝑉+ ] + [𝑉1 , 𝑉1 ] + [𝑉2 , 𝑉2 ] + [𝑉3 , 𝑉3 ].

(20)

This is a group of order 192 with 13 conjugacy classes which can be converted to
4- dimensional irreducible representation if the basis is chosen as the unit quaternions
1, 𝑒1 , 𝑒2 , 𝑒3 . When the term [𝑝, 𝑝] is incorporated into the group 23 . 𝑆4 it can be
converted into 7 × 7 matrix representation in the block diagonal form of 3 ×
3 and 4 × 4 matrices. This proves that the 7-dimensional irreducible representation
of the group 23 .𝑃𝑆𝐿2 (7) can be decomposed as 71 = 31 + 41 under the irreducible
representations of the group 23 . 𝑆4 . The character table of the group 23 . 𝑆4 is given in
TABLE VII. Its elementary Abelian subgroup 23 can be generated by the group
elements, say, [1, −1], [𝑒1 , −𝑒1 ,] and [𝑒2 , −𝑒2 ,] and it can be proven that the group 23
is a normal subgroup. It is also easy to identify its maximal subgroups. For example,
the set [𝑉0 , 𝑉0 ] + [𝑉+ , 𝑉− ] + [𝑉− , 𝑉+ ] forms a group of order 96 and [𝑉0 , 𝑉0 ] + [𝑉1 , 𝑉1 ]
forms a group of order 64.

9

TABLE VII. The character table of the groups 23 . 𝑆4 and 23 : 𝑆4
23 . 𝑆4
23 : 𝑆4
# of
elements

𝜒 [1]
𝜒 [11 ]
𝜒 [2]
𝜒 [31 ]
𝜒 [32 ]
𝜒 [33 ]
𝜒 [34 ]
𝜒 [35 ]
𝜒 [36 ]
𝜒 [41 ]
𝜒 [42 ]
𝜒 [6]
𝜒 [8]

[8]
𝐶1 𝐶 [2] 𝐶 [2] 𝐶4[2] 𝐶 [2] 𝐶 [3] 𝐶7[4] 𝐶 [4] 𝐶 [4] 𝐶 [4] 𝐶 [6] 𝐶 [8] 𝐶13
3
5
6
8
9
10
11
2
12
[2]

𝐶1 𝐶2

[2]

𝐶3

[4]

[4]

[3]

𝐶4

𝐶5

𝐶6

[2]

[2]

𝐶7

𝐶8

[2]

𝐶9

[2]

[6]

[4]

[4]

𝐶10

𝐶11

𝐶12

𝐶13

1

1

6

12

24

32

6

6

12

12

32

24

24

1
1
2
3
3
3
3
3
3
4
4
6
8

1
1
3
3
3
3
3
3
3
-4
-4
6
-8

1
1
2
-1
-1
3
-1
-1
3
0
0
-2
0

1
1
2
-1
-1
-1
-1
-1
-1
0
0
2
0

1
-1
0
-1
1
1
-1
1
-1
0
0
0
0

1
1
-1
0
0
0
0
0
0
1
1
0
-1

1
1
2
-1
-1
-1
3
3
-1
0
0
-2
0

1
1
2
3
3
-1
-1
-1
-1
0
0
-2
0

1
-1
0
1
-1
1
1
-1
-1
-2
2
0
0

1
-1
0
1
-1
1
1
-1
-1
2
-2
0
0

1
1
-1
0
0
0
0
0
0
-1
-1
0
1

1
-1
0
-1
1
-1
1
-1
1
0
0
0
0

1
-1
0
1
-1
-1
-1
1
1
0
0
0
0

Since the group 23 . 𝑆4 leaves the subsets (±𝑒1 , ±𝑒2 , ±𝑒3 ) and 𝑒7 (±1, ±𝑒1 ,
±𝑒2 , ±𝑒3 )
invariant it is easy to construct its 7 conjugate groups by permuting the
quaternionic subsets (123), (246), (435), ( 367), (652), ( 572), (714) by the group
generator 𝛼 so that the group is extended by the inclusion of the generator 𝛼 to the full
automorphism group 23 .𝑃𝑆𝐿2 (7) of the octonionic set ±𝑒𝑖 .
IV. CONSTRUCTION OF THE 7-DIMENSIONAL
REPRESENTATION OF THE GROUP 𝟐𝟑 :𝑷𝑺𝑳𝟐 (𝟕)

IRREDUCIBLE

Although the groups are not isomorphic to each other, the split extension
23 :𝑃𝑆𝐿2 (7) shares the same character table with the non-split extension 23 . 𝑃𝑆𝐿2 (7).
A close inspection shows that the class structures are the same although the powers of
the group elements are not always the same. To give an example from the lower rank
groups possessing the same character table we may quote the dihedral group of order
8 and the quaternion group denoted by 𝑉0 in our notation. The group 23 :𝑃𝑆𝐿2 (7)
does not preserve the octonion algebra. Then let us assume that the group
23 :𝑃𝑆𝐿2 (7) acts on a 7-dimensional real vector space with the vector
components 𝑥𝑖 (𝑖 = 1,2, … ,7) . Let us assume the notation 𝑥𝑖 = − 𝑥𝑖 .
The construction of this group is easy by using its maximal subgroups. We have
already discussed that the automorphism group 𝑃𝑆𝐿2 (7) of the elementary abelian
group 23 can be generated by 𝛼̃ , 𝛽̃ and 𝛾̃ in (11) and there exists a copy of the
𝑃𝑆𝐿2 (7) in the group 23 :𝑃𝑆𝐿2 (7). For the representation of 𝛼̃ , 𝛽̃ and 𝛾̃ defined
over 𝑁𝑖 , we can simply replace 𝑁𝑖 by 𝑥𝑖 and define the diagonal matrices 𝑁𝑖 as if they
are acting on the vector components 𝑥𝑖 . We can then simply adjoin an element from
the elementary Abelian group 23 to generate the whole group. Therefore, it would
10

suffice to take 𝛼̃ , 𝛽̃ , 𝛾̃ of 𝑃𝑆𝐿2 (7) and 𝑁1 as the generators of the group
23 :𝑃𝑆𝐿2 (7). Although this group does not preserve the octonion algebra there exists
yet a maximal subgroup 23 : 7: 3 generated by 𝛼̃ , 𝛽̃ and 𝑁1 preserving the octonion
algebra as we discussed in Section 3. It is quite natural to expect that the groups 23 :
𝑆4 and 4: 𝑆4 : 2 are maximal subgroups of order 192 in the group 23 :𝑃𝑆𝐿2 (7). The
group 23 : 𝑆4 can be generated by 𝐴̃ , 𝐵̃ and 𝑁1 and its character table is depicted in
TABLE VII. Similarly, the subgroup 4: 𝑆4 : 2 can be generated by the generators 𝛾̃,
𝜃̃ and 𝑁1 . Its character table is displayed in TABLE V.
The group 23 :𝑃𝑆𝐿2 (7) is a maximal subgroup of the simple group 𝐴8 , the even
permutations of the 8 letters [11] isomorphic to the maximal rotation subgroup of the
Coxeter-Weyl group 𝑊(𝑆𝑈(8)) ≅ 𝑆8 .
We have already listed the maximal subgroups of the group 23 :𝑃𝑆𝐿2 (7) as the
groups 𝑃𝑆𝐿2 (7), 23 : 7: 3, 23 : 𝑆4 and 4: 𝑆4 : 2 . There exists yet another 𝑃𝑆𝐿2 (7) not
conjugate to the one generated by 𝛼̃ , 𝛽̃ and 𝛾̃ as Conway proved [19]. To see this,
let
us
replace
the
generator
𝛾̃
by
an
another
generator
𝛿 = (𝑥1 𝑥5 )(𝑥2 )(𝑥3 𝑥7 )(𝑥4 )(𝑥6 ), with 𝛿 ∈ 23 :𝑃𝑆𝐿2 (7) and 𝛿 2 = 1 instead of 𝛾̃ .
̃, 𝛿 and 𝑁1 generate the same irreducible representation of the
One can show that 𝛼̃ , 𝛽
3
̃, 𝛿 represent the generators of another group
group 2 :𝑃𝑆𝐿2 (7) in which the 𝛼̃ , 𝛽
̃, 𝛿 > is not
𝑃𝑆𝐿2 (7). This is a miraculous structure that the 𝑃𝑆𝐿2 (7) =< 𝛼̃ , 𝛽
̃, 𝛾̃ > . It is straightforward to show that
conjugate to the group 𝑃𝑆𝐿2 (7) =< 𝛼̃ , 𝛽
𝛾̃𝛿 = 𝛿𝛾̃ = 𝑁7 . It is also true that 7-dimensional representation of the group
̃, 𝛿 > is irreducible while the 7- dimensional representation of the
𝑃𝑆𝐿2 (7) =< 𝛼̃ , 𝛽
̃, 𝛾̃ > is reducible with 7 = 1 + 6. Conway attributes this
group 𝑃𝑆𝐿2 (7) =< 𝛼̃ , 𝛽
exceptional behavior to the holomorph of an elementary Abelian group to exhibit this
miraculous feature.
Therefore, the group 23 :𝑃𝑆𝐿2 (7) has five maximal subgroups 23 : 7: 3 , 23 : 𝑆4 ,
4: 𝑆4 : 2 and two nonconjugate 𝑃𝑆𝐿2 (7).
V. CONCLUDING REMARKS
The main motivation was that the groups 23 . 𝑃𝑆𝐿2 (7) and 23 : 𝑃𝑆𝐿2 (7) could be
used as the broken symmetry of the mass matrices of the quarks, charged leptons and
the neutrinos when they are considered as a single mass matrix. The particle physics
literature is full of examples of models demonstrating that the groups 𝑃𝑆𝐿2 (7) and its
maximal subgroups 7: 3 and 𝑆4 can describe the symmetries of the neutrino mass
matrix.
Here we have studied the constructions of two groups 23 . 𝑃𝑆𝐿2 (7) and
23 : 𝑃𝑆𝐿2 (7) of order 1344 and gave the character tables including those of their
maximal subgroups. The simple finite subgroup 𝑃𝑆𝐿2 (7) of 𝑆𝑈(3) occurs either as a
factor group or factor and maximal subgroup in these groups. We have also seen that
the extension of the Frobenious group 7: 3 by the elementary Abelian group 23
leading to the group 23 : 7: 3 of order 168 is a subgroup in both groups of order 1344.
We have also listed the tensor products of the irreducible representations of the
groups 23 . 𝑃𝑆𝐿2 (7) and 23 : 𝑃𝑆𝐿2 (7) including those of their maximal subgroups in
Appendix A and gave the decompositions of the irreducible representations with
respect to the irreducible representations of the relevant maximal subgroups in
Appendix B.

11

Another possible use of these groups in particle physics may arise as follows.
The operators, charge conjugation 𝐶, parity 𝑃 and time-reversal 𝑇 generate the
elementary Abelian group 23 =< 𝐶, 𝑃, 𝑇 > of order 8 when they act on the bilinear
Dirac fields 𝜓Γ𝜓 constructed by 16 Γ matrices. The Dirac bilinear forms constitute 7
eigenvectors of the 7 operators generated by the charge conjugation, parity and the
time- reversal operators with the eigenvalues ±1 besides the scalar bilinear Dirac field
which represents the eigenvector of the unit operator. The representation of the
generators can be taken as the matrices 𝑁𝑖 (𝑖 = 1,2, … ,7). The elementary Abelian
group can be extended by its automorphism group 𝑃𝑆𝐿2 (7) to either of the group
23 . 𝑃𝑆𝐿2 (7) or 23 : 𝑃𝑆𝐿2 (7) . One can construct an effective Hamiltonian as the
products of Dirac bilinear fields 𝜓Γ𝜓 . Formal properties of parity violation, 𝐶𝑃
violation and even 𝐶𝑃𝑇 violation can be explained as invariances under the subgroups
of the quotient group 𝑃𝑆𝐿2 (7). If we simply impose the 𝛾̃ invariance we can prove
that the parity violating weak interaction should take the form either 𝑉 − 𝐴 or 𝑉 + 𝐴.
If we impose only 𝛽̃ invariance we obtain CPT preserving but CP violating
interaction. Invariance under the generator 𝛼̃ only leads to the CPT violating terms
along with a necessary violation of the Lorentz invariance.
APPENDIX A. Tensor products
First of all, we note that the groups 7: 3, 23 : 7: 3, 𝑃𝑆𝐿2 (7), 23 . 𝑃𝑆𝐿2 (7) and
2 : 𝑃𝑆𝐿2 (7) all have 3-dimensional complex representations. Moreover, the group
23 : 7: 3 has three 7-dimensional irreducible representations; one real, two complex
representations. The real representation preserves the octonion algebra. Tensor
products of the irreducible representations of the group 𝑃𝑆𝐿2 (7) and its maximal
subgroups are listed in the reference [2], therefore we will not reproduce them. The
other tensor products are given as follows.
3

Tensor products of the irreducible representations of the group 𝟐𝟑 : 𝟕: 𝟑
11 × 11 = 12
11 × 12 = 1
11 × 31 = 31
11 × 32 = 32
11 × 71 = 73
11 × 72 = 71
11 × 73 = 72

12 × 12 = 11
12 × 31 = 31
12 × 32 = 32
12 × 71 = 72
12 × 72 = 73
12 × 73 = 71

31 × 31 = 32 + 32 + 31
31 × 32 = 1 + 11 + 12 + 31 + 32
31 × 71 = 71 + 72 + 73
31 × 72 = 71 + 72 + 73
31 × 73 = 71 + 72 + 73

32 × 32 = 31 + 31 + 32
32 × 71 = 71 + 72 + 73
32 × 72 = 71 + 72 + 73
32 × 73 = 71 + 72 + 73

71 × 71 = 1 + 31 + 32 + 2(71 ) + 2(72 ) + 2(73 )
71 × 72 = 12 + 31 + 32 + 2(71 ) + 2(72 ) + 2(73 )
71 × 73 = 11 + 31 + 32 + 2(71 ) + 2(72 ) + 2(73 )
72 × 72 = 11 + 31 + 32 + 2(71 ) + 2(72 ) + 2(73 )
12

72 × 73 = 1 + 31 + 32 + 2(71 ) + 2(72 ) + 2(73 )
73 × 73 = 12 + 31 + 32 + 2(71 ) + 2(72 ) + 2(73 )
Tensor products of the irreducible
𝟐𝟑 . 𝑷𝑺𝑳𝟐 (𝟕) 𝐚𝐧𝐝 𝟐𝟑 : 𝑷𝑺𝑳𝟐 (𝟕)
31 × 31 = 32 + 6
31 × 32 = 1 + 8
31 × 6 = 32 + 72 + 8
31 × 71 = 212
31 × 72 = 6 + 72 + 8
31 × 72 = 211
31 × 8 = 31 + 6 + 72 + 8
31 × 14 = 211 + 212
31 × 211 = 73 + 14 + 211 +212
31 × 212 = 71 + 14 + 211 +212

representations

of

the

groups

32 × 32 = 31 + 6
32 × 6 = 31 + 72 + 8
32 × 71 = 212
32 × 72 = 6 + 72 + 8
32 × 73 = 211
32 × 8 = 32 + 6 + 72 + 8
32 × 14 = 211 + 212
32 × 211 = 73 + 14 + 211 + 212
32 × 212 = 71 + 14 + 211 + 212

6 × 6 = 1 + 2(6) + 72 + 2(8)
6 × 71 = 71 + 14 + 211
6 × 72 = 31 + 32 + 6 + 2(72 ) + 2(8)
6 × 73 = 73 + 14 + 212
6 × 8 = 31 + 32 + 2(6) + 2(72 ) + 2(8)
6 × 14 = 71 + 73 + 2(14) + 211 +212
6 × 211 = 71 + 14 + 3(211 ) + 2(212 )
6 × 212 = 73 + 14 + 2(211 ) + 3(212 )
71 × 71 = 1 + 6 + 71 + 14 + 211
71 × 72 = 73 + 211 + 212
71 × 73 = 72 + 211 + 212
71 × 8 = 14 + 211 + 212
71 × 14 = 6 + 71 + 8 + 14 + 2(211 ) + 212
71 × 211 = 6 + 71 + 72 + 73 + 8 + 2(14) + 2(211 ) + 2(212 )
71 × 212 = 31 + 32 + 72 + 73 + 8 + 14 + 2(211 ) + 3(212 )
72 × 72 = 1 + 31 + 32 + 2(6) + 2(72 ) + 2(8)
72 × 73 = 71 + 211 + 212
72 × 8 = 31 + 32 + 2(6) + 2(72 ) + 2(8)
72 × 14 = 14 + 2(211 ) + 2(212 )
72 × 211 = 71 + 73 + 2(14) + 2(211 ) + 3(212 )
72 × 212 = 71 + 73 + 2(14) + 3(211 ) + 2(212 )
73 × 73 = 1 + 6 + 73 + 14 + 212
73 × 8 = 14 + 211 + 212
73 × 14 = 6 + 73 + 8 + 14 + 211 + 2(212 )
73 × 211 = 31 + 32 + 71 + 72 + 8 + 14 + 3(211 ) + 2(212 )
73 × 212 = 6 + 71 + 72 + 73 + 8 + 2(14) + 2(211 ) + 2(212 )

13

8 × 8 = 1 + 31 + 32 + 2(6) + 2(72 ) + 3(8)
8 × 14 = 71 + 73 + 14 + 2(211 ) + 2(212 )
8 × 211 = 71 + 73 + 2(14) + 3(211 ) + 3(212 )
8 × 212 = 71 + 73 + 2(14) + 3(211 ) + 3(212 )
14 × 14 = 1 + 2(6) + 71 + 72 + 73 + 8 + 2(14) + 3(211 ) + 3(212 )
14 × 211 = 31 + 32 + 6 + 2(71 ) + 2(72 ) + 73 + 2(8) + 3(14) + 5(211 )
+ 4(212 )
14 × 212 = 31 + 32 + 6 + 71 + 2(72 ) + 2(73 ) + 2(8) + 3(14) + 4(211 ) +
5(212 )
211 × 211 = 1 + 31 + 32 + 3(6) + 2(71 ) + 2(72 ) + 3(73 ) + 3(8) + 5(14) +
6(211 ) + 7(212 )
211 × 212 = 31 + 32 + 2(6) + 2(71 ) + 3(72 ) + 2(73 ) + 3(8) + 4(14)
+ 7(211 ) + 7(212 )
212 × 212 = 1 + 31 + 32 + 3 (6) + 3(71 ) + 2(72 ) + 2(73 ) + 3(8) + 5(14)
+ 7(211 ) + 6(212 ).
Tensor products of the irreducible representations of the groups 𝟒. 𝑺𝟒 : 𝟐 𝐚𝐧𝐝
𝟒: 𝑺𝟒 : 𝟐
11 × 11 = 1
11 × 12 = 13
11 × 13 = 12
11 × 21 = 22
11 × 22 = 21
11 × 31 = 34
11 × 32 = 33
11 × 33 = 32
11 × 34 = 31
11 × 61 = 62
11 × 62 = 61
11 × 63 = 63
11 × 64 = 64

12 × 12 = 1
12 × 13 = 11
12 × 21 = 22
12 × 22 = 21
12 × 31 = 33
12 × 32 = 34
12 × 33 = 31
12 × 34 = 32
12 × 61 = 61
12 × 62 = 62
12 × 63 = 64
12 × 64 = 63

21 × 21 = 1 + 13 + 22
21 × 22 = 11 + 12 + 21
21 × 31 = 33 + 34
21 × 32 = 33 + 34
21 × 33 = 31 + 32
21 × 34 = 31 + 32
21 × 61 = 61 + 62
21 × 62 = 61 + 62
21 × 63 = 63 + 64
21 × 64 = 63 + 64

22 × 22 = 1 + 13 + 22
22 × 31 = 31 + 32
22 × 32 = 31 + 32
22 × 33 = 33 + 34
22 × 34 = 33 + 34
22 × 61 = 61 + 62
22 × 62 = 61 + 62
22 × 63 = 63 + 64
22 × 64 = 63 + 64

13 × 13 = 1
13 × 21 = 21
13 × 22 = 22
13 × 31 = 32
13 × 32 = 31
13 × 33 = 34
13 × 34 = 33
13 × 61 = 62
13 × 62 = 61
13 × 63 = 64
13 × 64 = 63

14

31 × 31 = 1 + 22 + 31 + 32
31 × 32 = 13 + 22 + 31 + 32
31 × 33 = 12 + 21 + 33 + 34
31 × 34 = 11 + 21 + 33 + 34
31 × 61 = 62 + 63 + 64
31 × 62 = 61 + 63 + 64
31 × 63 = 61 + 62 + 64
31 × 64 = 61 + 62 + 63

32 × 32 = 1 + 22 + 31 + 32
32 × 33 = 11 + 21 + 33 + 34
32 × 34 = 12 + 21 + 33 + 34
32 × 61 = 61 + 63 + 64
32 × 62 = 62 + 63 + 64
32 × 63 = 61 + 62 + 63
32 × 64 = 61 + 62 + 64

33 × 33 = 1 + 22 + 31 + 32
33 × 34 = 13 + 22 + 31 + 32
33 × 61 = 62 + 63 + 64
33 × 62 = 61 + 63 + 64
33 × 63 = 61 + 62 + 63
33 × 64 = 61 + 62 + 64

34 × 34 = 1 + 22 + 31 + 32
34 × 61 = 61 + 63 + 64
34 × 62 = 62 + 63 + 64
34 × 63 = 61 + 62 + 64
34 × 64 = 61 + 62 + 63

61 × 61 = 1 + 12 + 21 + 22 + 32 + 34 + 61 + 62 + 63 + 64
61 × 62 = 11 +13 + 21 + 22 + 31 + 33 + 61 + 62 + 63 + 64
61 × 63 = 31 + 32 + 33 + 34 + 61 + 62 + 63 + 64
61 × 64 = 31 + 32 + 33 + 34 + 61 + 62 + 63 + 64
62 × 62 = 1 + 12 ++21 + 22 + 32 + 34 + 61 + 62 + 63 + 64
62 × 63 = 31 + 32 + 33 + 34 +61 + 62 + 63 + 64
62 × 64 = 31 + 32 + 33 + 34 +61 + 62 + 63 + 64
63 × 63 = 1 + 11 + 21 + 22 + 32 + 33 + 61 + 62 + 63 + 64
63 × 64 = 12 +13 + 21 + 22 + 31 + 34 + 61 + 62 + 63 + 64
64 × 64 = 1 + 11 +21 + 22 + 32 + 33 + 61 + 62 + 63 + 64
Tensor products of the irreducible representations of the groups 𝟐𝟑 . 𝑺𝟒 𝐚𝐧𝐝
𝟐𝟑 : 𝑺 𝟒
11 × 11 = 1
11 × 2 = 2
11 × 31 = 33
11 × 32 = 34
11 × 33 = 31
11 × 34 = 32
11 × 35 = 36
11 × 36 = 35
11 × 41 = 42
11 × 42 = 41
11 × 6 = 6
11 × 8 = 8

2 × 2 = 1 + 11 + 2
2 × 31 = 31 + 33
2 × 32 = 32 + 34
2 × 33 = 31 + 33
2 × 34 = 32 + 34
2 × 35 = 35 + 36
2 × 36 = 35 + 36
2 × 41 = 8
2 × 42 = 8
2×6= 6+6
2 × 8 = 41 + 42 + 8

15

31 × 31 = 1 + 2 + 31 + 33
31 × 32 = 36 + 6
31 × 33 = 11 + 2 + 31 + 33
31 × 34 = 35 + 6
31 × 35 = 34 + 6
31 × 36 = 32 + 6
31 × 41 = 41 + 8
31 × 42 = 42 + 8
31 × 6 = 32 + 34 + 35 + 36 + 6
31 × 8 = 41 + 42 + 2(8)

32 × 32 = 1 + 2 + 32 + 34
32 × 33 = 35 + 6
32 × 34 = 11 + 2 + 32 + 34
32 × 35 = 33 + 6
32 × 36 = 31 + 6
32 × 41 = 42 + 8
32 × 42 = 41 + 8
32 × 6 = 31 + 33 + 35 + 36 + 6
32 × 8 = 41 + 42 + 2(8)

33 × 33 = 1 + 2 + 31 + 33
33 × 34 = 36 + 6
33 × 35 = 32 + 6
33 × 36 = 34 + 6
33 × 41 = 42 + 8
33 × 42 = 41 + 8
33 × 6 = 32 + 34 + 35 + 36 + 6
33 × 8 = 41 + 42 + 2(8)

34 × 34 = 1 + 2 + 32 + 34
34 × 35 = 31 + 6
34 × 36 = 33 + 6
34 × 41 = 41 + 8
34 × 42 = 42 + 8
34 × 6 = 31 + 33 + 35 + 36 + 6
34 × 8 = 41 + 42 + 2(8)

35 × 35 = 1 + 2 + 35 + 36
35 × 36 = 11 + 2 + 35 + 36
35 × 41 = 41 + 8
35 × 42 = 42 + 8
35 × 6 = 31 + 32 + 33 + 34 + 6
35 × 8 = 41 + 42 + 2(8)

36 × 36 = 1 + 2 + 35 + 36
36 × 41 = 42 + 8
36 × 42 = 41 + 8
36 × 6 = 31 + 32 + 33 + 34 + 6
36 × 8 = 41 + 42 + 2(8)

41 × 41 = 1 + 31 + 34 + 35 + 6
41 × 42 = 11 + 32 + 33 + 36 + 6
41 × 6 = 41 + 42 + 2(8)
41 × 8 = 2 + 31 + 32 + 33 + 34 + 35 + 36 + 2(6)
42 × 42 = 1 + 31 + 34 + 35 + 6
42 × 6 = 41 + 42 + 2(8)
42 × 8 = 2 + 31 + 32 + 33 + 34 + 35 + 36 + 2(6)
6 × 6 = 1 + 11 + 2(2) + 31 + 32 + 33 + 34 + 35 + 36 + 2(6)
6 × 8 = 2(41 ) + 2(42 ) + 4(8)
8× 8 = 1 + 11 + 2 + 2(31 ) + 2(32 ) + 2(33 ) + 2(34 ) + 2(35 ) + 2(36 ) + 4(6)

16

APPENDIX B. Decomposition of the irreducible representations in terms of the
irreducible representations of the maximal subgroups
Decompositions of the irreducible representations of the groups 𝟐𝟑 . 𝑷𝑺𝑳𝟐 (𝟕) and
𝟐𝟑 : 𝑷𝑺𝑳𝟐 (𝟕) under the maximal subgroup 𝟐𝟑 : 𝟕: 𝟑
Irreducible representations of
23 . 𝑃𝑆𝐿2 (7) and 23 : 𝑃𝑆𝐿2 (7)
1
31
32

Irreducible representations of 23 : 7: 3

6
71
72
73
8
14
211
212

31 + 32
71
1+31 + 32
71
11 + 12 + 31 + 32
72 + 73
71 + 72 + 73
71 + 72 + 73

1
31
32

Decompositions of the irreducible representations of the group 𝟐𝟑 : 𝑷𝑺𝑳𝟐 (𝟕)
under the maximal subgroup 𝑷𝑺𝑳𝟐 (𝟕)
Irreducible representations of
23 : 𝑃𝑆𝐿2 (7)
1
31
32 = 31
6
71
72
73
8
14
211
212

Irreducible representations of 𝑃𝑆𝐿2 (7)
1
31
32 = 31
6
7
7
1+6
8
6+8
31 + 32 + 7 + 8
6+7+8

17

Decompositions of the irreducible representations of the group 𝟐𝟑 : 𝟕: 𝟑 under
the maximal subgroup 𝟕: 𝟑
Irreducible representations of 23 : 7: 3
1
11

Irreducible representations of 7: 3
1
11

12 = 11
31

12 = 11
31

32 = 31
71
72
73

32 = 31
1 + 31 + 32
12 + 31 + 32
11 + 31 + 32

Decompositions of the irreducible representations of the group 𝑷𝑺𝑳𝟐 (𝟕) under
the maximal subgroup 𝟕: 𝟑
Irreducible representations of 𝑃𝑆𝐿2 (7)
1
31

Irreducible representations of 7: 3
1
31

32 = 31
6
7
8

32 = 31
31 + 32
1 + 31 + 32
11 + 12 + 31 + 32

References
[1]
[2]
[3]
[4]

M. Koca and R. Koc, Tr. J. Phys. 19, 304 (1995).
C. Luhn, S. Nasri and P. Ramond, J. Math. Phys. 48, 123519 (2007).
C. Luhn, S. Nasri and P. Ramond, Phys. Lett. B652, 27 (2007).
S. Pakvasa and H. Sugawara, Phys. Lett., B73:61, 1978; F. Caravaglios and S.
Morisi, 2005, hep-ph/0503234; W. Grimus and L. Lavoura, JHEP, 08:013, 2005,
hep-ph/0504153; W. Grimus and L. Lavoura, JHEP, 01:018, 2006, hepph/0509239; R. N. Mohapatra, S. Nasri, and H.-B. Yu, Phys. Lett., B639:318,
2006, hep-ph/0605020; R. Jora, S. Nasri, and J. Schechter, Int. J. Mod. Phys.,
A21:5875, 2006, hep-ph/0605069; Y. Koide, Eur. Phys. J., C50:809, 2007, hepph/0612058.
[5] E. Ma and G. Rajasekaran, Phys. Rev., D64:113012, 2001, hep-ph/0106291; K.
S. Babu, E. Ma, and J. W. F. Valle, Phys. Lett., B552:207, 2003, hepph/0206292; G. Altarelli and F. Feruglio, Nucl. Phys., B720:64, 2005, hepph/0504165; K. S. Babu and X.-G. He, 2005, hep-ph/0507217; A. Zee, Phys.
Lett., B630:58, 2005, hep-ph/0508278; G. Altarelli and F. Feruglio, Nucl. Phys.,
B741:215, 2006, hep-ph/0512103; S. F. King and M. Malinsky, Phys. Lett.,
B645:351, 2007, hep-ph/0610250; S. Morisi, M. Picariello, and E. TorrenteLujan, Phys. Rev., D75:075015, 2007, hep-ph/0702034; F. Feruglio, C.
Hagedorn, Y. Lin, and L. Merlo, 2007, hep-ph/0702194; M. Hirsch, A. S.
18

Joshipura, S. Kaneko, and J. W. F. Valle, 2007, hep-ph/0703046; M. C. Chen and
K. T. Mahanthappa, 2007, arXiv:0705.0714.
[6] C. Hagedorn, M. Lindner, and R. N. Mohapatra, JHEP, 06:042, 2006, hepph/0602244; Y. Koide, 2007, arXiv:0705.2275.
[7] I. de Medeiros Varzielas and G. G. Ross, Nucl. Phys., B733:31, 2006,
hepph/0507176; I. de Medeiros Varzielas, S. F. King, and G. G. Ross, Phys.
Lett., B644:153, 2007, hep-ph/0512313; I. de Medeiros Varzielas, S. F. King, and
G. G. Ross, Phys. Lett., B648:201, 2007, hep-ph/0607045.
[8] D. B. Kaplan and M. Schmaltz, Phys. Rev., D49:3741, 1994, hep-ph/9311281;
M. Schmaltz, Phys. Rev., D52:1643, 1995, hep-ph/9411383; C. Hagedorn, M.
Lindner, and F. Plentinger, Phys. Rev., D74:025007, 2006, hep-ph/0604265; E.
Ma, 2007, hep-ph/0701016.
[9] E. Ma, 2007, arXiv:0705.0327; G. Altarelli, 2007, arXiv:0705.0860.
[10] P. F. Harrison, D. H. Perkins, and W. G. Scott, Phys. Lett., B530:167, 2002, hepph/0202074; P. F. Harrison and W. G. Scott, Phys. Lett., B535:163, 2002, hepph/0203209.
[11] J. H. Conway, R.T. Curtis, S.P. Norton, R.A. Parker and R. A. Wilson, Atlas of
Finite Groups Oxford University Presss,1985).
[12] M. Bauer and C. Itzykson, Int. J. Mod. Phys A5, 3125 (1990).
[13] R. C. King, F. Toumazet and B. G. Wybourne, J. Math. Gen. 32, 8527 (1999).
[14] M. Gunaydin and F, Gursey, J. Math. Phys. 14, 1651 (1973).
[15] F. Karsch and M. Koca, J. Phys. Math. & Gen. A23, 4739 (1990); M. Koca, R.
Koc and Nazife O. Koca, Linear Alg. Appl. 422, 808 (2007).
[16] H.S.M. Coxeter and W. O. J. Moser Generators and Relations for Discrete
Groups (Springer Verlag, 1965); H.S.M. Coxeter, Regular Complex Polytopes
(Cambridge; Cambridge University Press, 1973).
[17] J. H. Conway and D.A. Smith, On Quaternion’s and Octonions: Their Geometry,
Arithmetics and Symmetry, A.K.Peters, Ltd, Natick, MA (2003).
[18] M. Koca, R. Koc and M. Al-Barwani, J. Math. Phys. 44, 3123 (2003); M. Koca,
R. Koc and M. Al-Barwani, J. M. Phys. 47, 043507 (2006).
[19] J. H. Conway, “Three Lectures on Exceptional Groups”, Chap 10 in J. H.
Conway and N. J. A. Sloane, Sphere Packings, Lattices and Groups (Springer
Verlag, 1998).

19

