arXiv:1310.0285v2 [math.RA] 3 Mar 2018

Associative Subalgebras of Low-Dimensional
Majorana Algebras
A. Castillo-Ramirez∗
Imperial College London, Department of Mathematics.
South Kensington Campus, London, SW7 2AZ.
Email address: ac1209@imperial.ac.uk

May 2014
Abstract
A Majorana algebra is a commutative nonassociative real algebra
generated by a finite set of idempotents, called Majorana axes, that
satisfy some of the properties of the 2A-axes of the Monster Griess
algebra. The term was introduced by A. A. Ivanov in 2009 inspired
by the work of S. Sakuma and M. Miyamoto. In the present paper,
we revisit Mayer and Neutsch’s theorem on associative subalgebras of
the Griess algebra in the context of Majorana theory. We apply this
result to determine all the maximal associative subalgebras of some
low-dimensional Majorana algebras; namely, the Majorana algebras
generated by two Majorana axes and the Majorana representations of
the symmetric group of degree 4 involving 3C-algebras.
Keywords: Majorana representation, Monster group, Griess algebra.

1

Introduction

The largest of the sporadic simple groups, the Monster group M, was constructed by Griess [G82] as a group of automorphisms of a 196, 884-dimensional
Funded by the Universidad de Guadalajara and an Imperial College International
Scholarship.
∗

1

commutative nonassociative real algebra VM .
One of the major obstacles in the examination of the Griess algebra is its
nonassociativity. A natural approach to deal with this issue is the study of
the associative subalgebras of VM ; the seminal work in this direction was done
by Meyer and Neutsch [MN93], who proved that every maximal associative
subalgebra of VM has an orthogonal basis of indecomposable idempotents.
Furthermore, they conjectured that 48 is the largest possible dimension of
an associative subalgebra of VM . By showing that the length of any idempotent of VM is at least 1 (with respect to our scaling), Miyamoto [Mi96] proved
this conjecture. After this, connections between Virasoro frames, root systems, Niemeier lattices and maximal associative subalgebras of VM have been
explored in [DLMN98].
Inspired by Sakuma’s theorem [Sa07], Ivanov [Iv09, Ch. 8] introduced
the following terminology. Suppose that V is a commutative nonassociative
real algebra with inner product generated by a finite set Ω of idempotents
of length 1. We say that V is a Majorana algebra with Majorana axes Ω if
axioms M1-M7 of [IPSS10, p. 2433] are satisfied (with Ω in the place of A).
The Majorana involutions of V , which correspond to the restriction of the
Miyamoto involutions [Mi96], are the automorphisms of V defined by axiom
M6. If G is a finite group generated by a set of involutions T such that
T g = T , for all g ∈ G, a Majorana representation of (G, T ) on a Majorana
algebra V is a linear representation of G on V together with a compatible
injection of T into the Majorana axes of V (see [IPSS10, Sec. 3]). We denote
by at the Majorana axis corresponding to t ∈ T .
The prototypical example of a Majorana algebra is VM (see [Iv09, Ch. 8]).
In [IPSS10], Sakuma’s theorem was proved for Majorana algebras: this establishes that the Majorana algebras generated by two Majorana axes have
eight possible isomorphism types. Majorana representations of various finite groups have been described in [IPSS10], [IS12], [Iv11b], [Iv11a] and [IS].
Notably, Seress [Se12] designed and implemented an algorithm for the construction of 2-closed Majorana representations.
In this paper, we discuss Meyer and Neutsch’s theorem [MN93] in the context of Majorana algebras, and we apply it to some low-dimensional cases.
In particular, we find all the maximal associative subalgebras of the Majorana algebras generated by two Majorana axes using the information on
idempotents obtained in [CR13, LYY05]. Furthermore, we obtain all the
idempotents and maximal associative subalgebras of the Majorana representations of S4 of shapes (2B, 3C) and (2A, 3C) described in [IPSS10, Sec. 4].
2

In the context of Vertex Operator Algebras (VOAs), the sets of idempotents generating maximal associative subalgebras of VM are relevant because
they determine distinct Virasoro frames, which are sets of vectors in the
Moonshine module that generate framed sub-VOAs (see [DGH98]). Few of
the maximal associative subalgebras described in this paper have been previously obtained in [LYY05, Appendix A] in the VOA context.

2

Associative subalgebras of Majorana representations

Let V = (V, . , ( , )) be a commutative nonassociative real algebra with
inner product. For S ⊆ V , denote by hhSii the smallest subalgebra of V
containing S. If hhSii = V , we say that S generates the algebra V . If v ∈ V ,
the length of v is the non-negative real number l(v) := (v, v). Say that v ∈ V
is idempotent if v · v = v.
Throughout this section, we assume that V is a Majorana algebra with
identity id ∈ V . As we shall constantly use axioms M1 and M2 of [IPSS10,
p. 2433], we rewrite them below:
M1 The inner and algebra products associate in V : (u, v · w) = (u · v, w),
for every u, v, w ∈ V .
M2 The Norton inequality holds in V : (u · u, v · v) ≥ (u · v, u · v), for every
u, v ∈ V .
Define the adjoint transformation of v ∈ V as the endomorphism adv of
V that maps u ∈ V to v · u.
Lemma 2.1. For any v ∈ V , the adjoint transformation adv ∈ End(V ) is
orthogonally diagonalisable (i.e. there is an ( , )-orthogonal basis of V of
eigenvectors of adv ).
Proof. By M1, the adjoint transformation of v ∈ V is a self-adjoint endomorphism of V , so the result follows by the Spectral Theorem (see [R08,
Sec. 10]).
The following is another elementary consequence of M1.

3

Lemma 2.2. Let {xi ∈ V : 1 ≤ i ≤ k} be a finite set of idempotents. Let
λi ∈ R and suppose that
k
X
x=
λi xi
i=1

is also an idempotent. Then,
l(x) =

k
X

λi l(xi ).

i=1

Proof. The lemma follows by M1 and the linearity of the inner product:
l(x) = (x, x) = (x · x, id) = (x, id) =

k
X

λi (xi , id) =

k
X

λi l(xi ).

i=1

i=1

Lemma 2.3. Let x, y ∈ V be idempotents. The following are equivalent:
(i) (x, y) = 0.
(ii) x · y = 0.
(iii) x + y is idempotent.
Proof. If (x, y) = 0, M2 implies that
(x · y, x · y) ≤ (x · x, y · y) = (x, y) = 0.
Hence x · y = 0 by the positive-definiteness of the inner product. It is clear
that part (ii) implies (iii). Lemma 2.2 shows that (iii) implies (i).
We say that two idempotents are orthogonal if they satisfy the equivalent
statements (i)-(iii) of Lemma 2.3.
(v)

Notation 1. For µ ∈ R and v ∈ V , denote by Vµ
and
dµ (v) := dim(Vµ(v) ).

the µ-eigenspace of adv ,

We say that µ ∈ R is an eigenvalue of v ∈ V if µ is an eigenvalue of the
adjoint transformation of v. Let Aut(V ) be the set of distance-preserving
endomorphisms φ of V such that v φ · uφ = (v · u)φ , for all u, v ∈ V .
4

Lemma 2.4. Let x ∈ V be a non-zero non-identity idempotent. Then:
(i) dµ (x) 6= 0, for µ ∈ {0, 1}.
(ii) For every g ∈ Aut(V ), the spectrum of xg is equal to the spectrum of x.
(iii) If {µi : 1 ≤ i ≤ k} is the spectrum of x, then {1 − µi : 1 ≤ i ≤ k} is the
spectrum of the idempotent id − x.
Proof. Part (i) follows because x and id − x are 1- and 0-eigenvectors of adx ,
respectively. Part (ii) follows since, for any g ∈ Aut(V ), v is an eigenvector of
adx if and only if v g is an eigenvector of adxg . Part (iii) is straightforward.
The main results of this paper hold for Majorana algebras that satisfy
the following stronger version of axiom M2:
M2′ The Norton inequality holds for every u, v ∈ V , with equality precisely
when the adjoint transformations adu and adv commute.
It was shown in [C84, Sec. 15] that M2′ holds in VM . The importance of
M2′ in our discussion lies in the following lemma.
Lemma 2.5. Let V be a Majorana algebra that satisfies M2′ . Let x ∈ V be
an idempotent and µ ∈ {0, 1}. Then:
(x)

(i) The eigenspace Vµ

is a subalgebra of V .
(x)

(ii) The number of idempotents in Vµ

is either infinite or at most 2dµ (x) .

(x)

Proof. Let y ∈ Vµ . Observe that
(x · x, y · y) = (x · y, y) = (µy, y) = (µy, µy) = (x · y, x · y).
(x)

Therefore, M2′ implies that adx and ady commute, and so, for any y ′ ∈ Vµ ,
x · (y · y ′) = y · (x · y ′) = µ(y · y ′).
(x)

This shows that (y · y ′ ) ∈ Vµ . Part (i) follows.
(x)
As Vµ is a subalgebra of V , its idempotents are in a bijective correspondence with the solutions of the system of dµ (x) × dµ (x) quadratic equations
determined by the coordinates of the relation v · v − v = 0. Therefore, if the
(x)
system has finitely many solutions, Bézout’s theorem implies that Vµ has
at most 2dµ (x) idempotents. Part (ii) follows.
5

An idempotent is decomposable if it may be expressed as a sum of at least
two non-zero idempotents; otherwise, the idempotent is indecomposable.
The following results were obtained in [MN93] with V = VM ; however,
their proof applies, without change, to Majorana algebras that satisfy M2′ .
Theorem 2.6 (Meyer, Neutsch). Let V be a Majorana algebra with identity
that satisfies M2′ . An idempotent x ∈ V is indecomposable if and only if
d1 (x) = 1.
Theorem 2.7 (Meyer, Neutsch). Let V be a Majorana algebra with identity
that satisfies M2′ . Let U be a finite-dimensional subalgebra of V . Then:
(i) U is associative if and only if U has an orthogonal basis of idempotents.
(ii) U is maximal associative if and only if id ∈ U and U has an orthogonal
basis of indecomposable idempotents.
Notice that if B := {xi ∈ V : 1 ≤ i ≤ k} is a set of pairwise orthogonal
idempotents, then the associative subalgebra U := hhBii coincides with the
linear span of B; in particular, the dimension of U is k. If the idempotents
of B are indecomposable, all the non-zero idempotents of U are finite sums
of the idempotents of B; in particular, U may have at most one orthogonal
basis of indecomposable idempotents.
When x ∈ V is a non-zero non-identity idempotent, {x, id − x} is an
orthogonal basis of a two-dimensional associative subalgebra
Vx := hhx, id − xii ≤ V.
Define V0 := hh0ii and Vid := hhidii.
Definition 1. We say that an associative subalgebra U of V is trivial associative if U = Vx for some idempotent x ∈ V .
Corollary 2.8. Let x ∈ V be an idempotent. The trivial associative subalgebra Vx ≤ V is maximal associative if and only if d0 (x) = d1 (x) = 1.
Proof. The result follows by Lemma 2.4 (iii), Theorems 2.6 and 2.7 (ii).
Corollary 2.9. Let B := {xi ∈ V : 1 ≤ i ≤ k} be a finite set of indecomposable idempotents. The subalgebra U := hhBii is maximal associative if and
k
P
only if id =
xi .
i=1

6

Proof. If U is maximal associative, then id =

k
P

xi by Theorem 2.7 (ii) and

i=1

the uniqueness of the identity in a commutative algebra. Suppose id =

k
P

xi .

i=1

Note that M2 and the positive-definiteness of the inner product imply that
(x, y) ≥ 0, for every pair of idempotents x, y ∈ V . By Lemma 2.2,
l(id) =

k
X
i=1

l(xi ) =

k
X
i=1

l(xi ) +

X

(xi , xj ).

i6=j

Therefore (xi , xj ) = 0, for any i 6= j. Hence, U is maximal associative by
Theorem 2.7 (ii).
The following lemmas will be useful in our discussion of low-dimensional
Majorana algebras.
Lemma 2.10. Let x ∈ V be an indecomposable idempotent and suppose that
(x)
V0 has finitely many idempotents. Then:
(i) If d0 (x) = 1, then x is not contained in any three-dimensional associative
subalgebra of V .
(ii) If d0 (x) ≥ 2, then x is contained in at most 2d0 (x)−1 −1 three-dimensional
maximal associative subalgebras of V .
Proof. Part (i) follows by Corollary 2.9. Let d0 (x) ≥ 2 and let U ≤ V be
a three-dimensional maximal associative subalgebra such that x ∈ U. By
Theorem 2.7 (ii), we may find an orthogonal basis of U of indecomposable
(x)
(x)
idempotents: {x, y, z}, where y, z ∈ V0 . If there is an idempotent w ∈ V0
such that hhx, y, wii is maximal associative, then Theorem 2.7 (ii) implies
that
x + y + z = id = x + y + w,
so z = w. This shows that distinct three-dimensional maximal associative
subalgebras of V containing x correspond to distinct disjoint two-sets of
(x)
non-zero idempotents of V0 . Lemma 2.5 (ii) implies that there are at most
(x)
1 d0 (x)
(2
− 2) disjoint two-sets of non-zero idempotents in V0 .
2
(x)

Lemma 2.11. Suppose that, for every idempotent x ∈ V , the space V0
has finitely many idempotents, and d0 (x) ≤ 2. Then the dimension of every
associative subalgebra of V is at most three.
7

Proof. If {x, y, z, w} is a set of four pairwise idempotents of V , then x is
orthogonal to 7 non-zero idempotents: y, z, w, y + z, y + w, z + w and
(x)
y + z + w. However, as V0 has finitely many idempotents, and d0 (x) ≤ 2,
Lemma 2.5 (ii) implies that x is orthogonal to at most 2d0 (x) −1 ≤ 3 non-zero
idempotents. The result follows.
If U is a subalgebra of V , we introduce the notation
[U] := {U g : g ∈ Aut(V )}.
Because of Lemma 2.1, we know that, for every v ∈ V , the geometric and
algebraic multiplicities of the eigenvalues of adv coincide. In the following sections, we calculate the spectrum of every idempotent of some low-dimensional
Majorana algebras in order to obtain all their maximal associative subalgebras. Because of Lemma 2.4 (ii), we organise these spectra in terms of
Aut(V )-orbits. We consider only half of the non-zero non-identity idempotents, as the spectra of the remaining idempotents may be found using
Lemma 2.4 (iii). Although we require only the multiplicities of 0 and 1, we
believe that the full spectrum of each idempotent may be of general interest.

3

The Norton-Sakuma Algebras

If t, g are 2A-involutions of M, it is known (see [C84, GMS89]) that the
product tg lies in one of the following conjugacy classes of M:
1A, 2A, 2B, 3A, 3C, 4A, 4B, 5A, 6A.
In [C84, N96], Norton described the subalgebras of VM generated by the
2A-axes corresponding to t and g, and he labelled them according to the
conjugacy class of tg.
Let V be a Majorana algebra. Say that V is a Norton-Sakuma algebra if
V is generated by exactly two of its Majorana axes. As proved in [IPSS10],
Sakuma’s theorem implies that the Norton-Sakuma algebras coincide with
the non-trivial subalgebras of VM described by Norton. In this context, the
Norton-Sakuma algebras are described in [IPSS10, Table 3].
Denote by VN X the Norton-Sakuma algebra of type NX. Denote by
Aut(NX) and idN X the automorphism group and identity of VN X , respectively. The groups Aut(NX) are described explicitly in [CR13, Theorem 4.1],
while the identities idN X are given by [CR13, Table 2]. Note that, except
8

for V2B , none of the Norton-Sakuma algebras is associative. As VN X may be
embedded in VM , the Norton-Sakuma algebras clearly satisfy axiom M2′ .
The complete list of idempotents of all the Norton-Sakuma algebras was
obtained in [CR13]. We shall constantly use this information to prove the
results of this section.

3.1

Associative Subalgebras of V2A , V3A and V3C

The following result examines the Norton-Sakuma algebras of types 2A, 3A
and 3C.
Lemma 3.1. Let NX ∈ {2A, 3A, 3C}. A subalgebra of VN X is maximal
associative if and only if it is trivial associative.
Proof. All the idempotents of VN X are described in [CR13, 429–431]. Direct
calculations show that d0 (x) = d1 (x) = 1 for every non-zero non-identity
idempotent x ∈ VN X . The result follows by Corollary 2.8.

3.2

Associative Subalgebras of V4A

Let {a0 , a1 , a−1 , a2 , vρ } be the basis of V4A as in [IPSS10, Table 3]. It was
shown in [CR13, Sec. 3.2] that V4A has an infinite family of idempotents of
(1)
length 2: for any λ ∈ [− 35 , 1], there is an idempotent y4A (λ) ∈ V4A . Direct
(1)
calculations show that the spectrum of y4A (λ) is
1
, h (λ) , h (λ)},
2
√

where h (λ) is the conjugate in Q −15λ2 + 6λ + 9 of
{0, 1,

h(λ) :=

√
1
−15λ2 + 6λ + 9).
(17
−
5λ
−
5
25
(1)

Lemma 3.2. Consider the infinite family {y4A (λ) : λ ∈ [− 53 , 1]} of idempotents of V4A .
/ {0, 52 }, the trivial associative algebra Vy(1) (λ) is
(i) For any λ ∈ [− 35 , 1], λ ∈
4A
maximal associative.

(1)
(ii) The idempotent y4A 25 is indecomposable with a two-dimensional 0eigenspace.
9

Proof. The equation h(λ) = 1 has no solutions, while h (λ) = 1 has the
unique solution λ = 0. On the other hand, the equation h(λ) = 0 has
the unique solution λ = 52 , while h (λ) = 0 has no solutions. Therefore
(1)
(1)
d0 (y4A (λ)) = d1 (y4A (λ)) = 1 for any λ ∈ [− 53 , 1], λ ∈
/ {0, 25 }. Hence, part (i)
follows by Corollary 2.8. Part (ii) follows by the previous description of the

(1)
spectrum of y4A 52 .

Table 1 gives the spectra of the Aut(4A)-orbits of the non-zero non(2)
identity idempotents of V4A , where y4A is defined in [CR13, Sec. 3.3].
Orbit

Size

Length

[a0 ]

4

1

(1)

2

2

(2)

4

12
7

[y4A (λ)]
[y4A ]

Spectrum

1
0, 0, 1, 41 , 32

{0, 1, h(λ), h (λ)}

1 5 6
0, 1, 14
, 14 , 7

Table 1: Spectra of the idempotents of V4A .

Lemma 3.3. The following subalgebras of V4A are maximal associative:
hha0 , a2 , id4A − a0 − a2 ii and hha1 , a−1 , id4A − a1 − a−1 ii .
Proof. The sum of the idempotents generating each subalgebra is id4A . Observe that
 
 φ4A
2
2
(1)
(1)
y4A
= id4A − a0 − a2 and y4A
= id4A − a1 − a−1 ,
5
5
where φ4A is the automorphism of V4A that transposes a0 and a1 . Therefore,
these idempotents are indecomposable by Table 1 and Theorem 2.6. The
result follows by Corollary 2.9.
Lemma 3.4. The dimension of every associative subalgebra of V4A is at most
three.
(1)

Proof. Because {y4A (λ) : λ ∈ [− 35 , 1]} is the only infinite family of idempotents in V4A (see [CR13, Proposition 3.9]), Lemma 3.2 implies that, for every
(x)
idempotent x ∈ V4A , the algebra V0 has finitely many idempotents. As we
see in Table 1, d0 (x) ≤ 2 for every idempotent x ∈ V4A , so the result follows
by Lemma 2.11.
10

Lemma 3.5. The Norton-Sakuma algebra of type 4A contains infinitely
many maximal associative subalgebras. However, it contains only two nontrivial maximal associative subalgebras.
Proof. The first part of this lemma follows by Lemma 3.2. By Table 1 and
Lemma 2.1, only the indecomposable idempotents [a0 ] ∪ [id4A − a0 − a2 ] have
a two-dimensional 0-eigenspace, so these are the only idempotents whose
trivial associative subalgebra is not maximal. By Lemma 2.10, each one of
these idempotents is contained in at most one three-dimensional maximal
associative subalgebra. Lemma 3.3 describes such subalgebras. The result
follows by Lemma 3.4, as there are no associative subalgebras of V4A of
dimension greater than 3.

3.3

Associative Subalgebras of V4B

Let {a0 , a1 , a−1 , a2 , aρ2 } be the basis of V4B as in [IPSS10, Table 3]. It is
known that V4B contains a Norton-Sakuma subalgebra of type 2A with basis
{a0 , a2 , aρ2 } (see [IPSS10, Lemma 2.20]). Let id2A be the identity of this
subalgebra. Table 2 gives the spectra of the Aut(4B)-orbits of half of the
non-zero non-identity idempotents of V4B , where y4B is defined in [CR13,
Sec. 3.2].
Orbit

Size

Length

[a0 ]

4

1

[aρ2 ]

1

1

[id2A ]

2

12
5

[id2A − a0 ]

4

7
5

[y4B ]

4

21
11

Spectrum

1
0, 0, 1, 41 , 32

0, 0, 1, 41 , 41

0, 1, 1, 1, 14

7
0, 0, 1, 34 , 32

1 21 9
0, 1, 11
, 22 , 22

Table 2: Spectra of the idempotents of V4B .

Lemma 3.6. The following subalgebras of V4B are maximal associative:
(1)

U4B := hha0 , id2A − a0 , idφ2A4B − aρ2 ii,
(2)

U4B := hhaρ2 , id2A − aρ2 , idφ2A4B − aρ2 ii,
11

where φ4B ∈ Aut(4B) is the automorphism that transposes a0 and a1 .
Proof. Because of the relation id4B = id2A + idφ2A4B − aρ2 , we verify that
id4B = a0 + (id2A − a0 ) + (idφ2A4B − aρ2 ),

id4B = aρ2 + (id2A − aρ2 ) + (idφ2A4B − aρ2 ).
(1)

(2)

By Table 2 and Theorem 2.6, the idempotents generating U4B and U4B are
indecomposable, so the result follows by Corollary 2.9.
Lemma 3.7. The dimension of every associative subalgebra of V4B is at most
three.
Proof. Suppose that U is an associative subalgebra of V4B of dimension k ≥ 4.
Without loss of generality, we may assume that U is maximal associative. Let
B := {xi : 1 ≤ i ≤ k} be the orthogonal basis of indecomposable idempotents
k
P
of U. By Theorem 2.7,
xi = id4B . Lemma 2.2 implies that
i=1

k
X

l(xi ) = l(id4B ) =

i=1

19
,
5

(1)

as may be read from [CR13, Table 2]. Since there is no pair of orthogonal
idempotents of length 1 in V4B , the set B contains at most one idempotent of
length 1. By Table 2, 57 is the smallest length different from 1 of a non-zero
idempotent of V4B . Therefore,
k
X
i=1

l(xi ) ≥ 1 + 3 ·

26
19
7
=
> ,
5
5
5

which contradicts (1).
Lemma 3.8. The Norton-Sakuma algebra of type 4B contains exactly 9
maximal associative subalgebras; 4 of these subalgebras are trivial associative while 5 are three-dimensional.
Proof. The 4 trivial maximal associative subalgebras are contained in the
(1)
(2)
orbit [Vy4B ]. With the notation of Lemma 3.6, the orbits [U4B ] and [U4B ]
contain 4 and 1 maximal associative subalgebras, respectively. We shall
12

Idempotent x

d0 (x)

Nx

Idempotent x

d0 (x)

Nx

a0

2

1

id2A − a0

2

1

aρ2

2

1

id2A − aρ2

3

3

Table 3: Values of d0 (x) and Nx for idempotents x ∈ V4B with d0 (x) ≥ 2.
show that there are no more maximal associative subalgebras. Let x ∈ V4B
be an indecomposable idempotent with d0 (x) ≥ 2. Let Nx be the number of
(1)
(2)
algebras in [U4B ] ∪ [U4B ] containing x. Table 3 gives the values of d0 (x) and
Nx for the orbit representatives of idempotents x with d0 (x) ≥ 2.
If Mx is the number of three-dimensional maximal associative subalgebras
of V4B containing x, Lemma 2.10 shows that Nx ≤ Mx ≤ 2d0 (x)−1 − 1. But
Table 3 shows that Nx = 2d0 (x)−1 − 1, for every x with d0 (x) ≥ 2, so we
obtain that Nx = Mx . The result follows by Lemma 3.7.

3.4

Associative Subalgebras of V5A

Let {a−2 , a−1 , a0 , a1 , a2 , wρ} be the basis of V5A as in [IPSS10, Table 3]. Table
4 gives the spectra of the Aut(5A)-orbits of half of the non-zero non-identity
(i)
idempotents of V5A , where y5A , 1 ≤ i ≤ 3, are defined in [CR13, Sec. 3.4].
Orbit

Size

Length

[a0 ]

5

1

(1)

2

16
7

(2)

10

25
14

(3)

10

16
7

[y5A ]
[y5A ]
[y5A ]

Spectrum

1
1
, 32
0, 0, 1, 41 , 32

0, 1, 35 , 53 , 52 , 52

5 57 3
0, 0, 1, 64
, 64 , 8

0, 1, 78 , 53 , 52 , 81

Table 4: Spectra of the idempotents of V5A .
(2)

(2)

Lemma 3.9. The subalgebra U5A := hha0 , y5A , (y5A )φ5A ii of V5A is maximal
associative, where φ5A is the automorphism of V5A that maps a1 to a2 and
fixes a0 .
13

Proof. Since

(2)

(2)

id5A = a0 + y5A + (y5A )φ5A ,
the result follows by Table 4, Theorem 2.6 and Corollary 2.9.
Lemma 3.10. The Norton-Sakuma algebra of type 5A contains exactly 11
maximal associative subalgebras; 6 of these algebras are trivial associative
while 5 are three-dimensional.
Proof. By Table 4 and Corollary 2.8, all the trivial maximal associative subalgebras of V5A are contained in [Vy(1) ] ∪ [Vy(3) ], so there are 6 of them. The
5A
5A
orbit [U5A ] contains 5 three-dimensional maximal associative subalgebras of
V5A . Using the same technique as in the proof of Lemma 3.8, we show that
there are no more maximal associative subalgebras of V5A .

3.5

Associative Subalgebras of V6A

Let {a−2 , a−1 , a0 , a1 , a2 , a3 , aρ3 , uρ2 } be the basis of V6A as in [IPSS10, Table 3]. Table 5 gives the spectra of the Aut(6A)-orbits of half of the non-zero
non-identity idempotents of V6A . In this table, id2A and id3A are the identities of the Norton-Sakuma subalgebras of V6A of types 2A and 3A with bases
{a0 , a3 , aρ3 } and {a0 , a2 , a−2 , uρ2 }, respectively (see [IPSS10, Lemma 2.20]).
(i)
The idempotents y6A , 1 ≤ i ≤ 8, are defined in [CR13, Sec. 3.5].
Lemma 3.11. The dimension of every associative subalgebra of V6A is at
most three.
Proof. The result follows by a similar argument to the one used in the proof
of Lemma 3.7, since 75 is the smallest length different from 1 of a non-zero
idempotent of V6A and l(id6A ) = 51
.
10
Lemma 3.12. The subalgebras of V6A given in Table 6 are maximal associative, where φ6A ∈ Aut(V6A ) transposes a0 and a1 , and τ1 is the Majorana
involution corresponding to a1 .
Proof. This follows by Theorem 2.6, Table 5 and Corollary 2.9.
Lemma 3.13. The Norton-Sakuma algebra of type 6A contains exactly 75
maximal associative subalgebras; 30 of these algebras are trivial associative
while 45 are three-dimensional.
14

Orbit

Size

Length

Spectrum

[a0 ]

6

1

1
1
{0, 0, 0, 1, 14 , 41 , 32
, 32
}

[aρ3 ]

1

1

{0, 0, 0, 0, 1, 41 , 41 , 14 }

[uρ2 ]

1

8
5

{0, 0, 0, 1, 31 , 31 , 31 , 31 }

[aρ3 + uρ2 ]

1

13
5

7 7
{0, 1, 1, 41 , 31 , 13 , 12
, 12 }

[id2A ]

3

12
5

3
3 1
{0, 1, 1, 1, 14 , 10
, 10
, 20 }

[id2A − a0 ]

6

7
5

3 1 7
3
{0, 0, 1, 43 , 10
, 20 , 32 , 160
}

[id2A − aρ3 ]

3

7
5

3
1 1
{0, 0, 0, 1, 43 , 10
, 20
, 20 }

[id3A ]

2

116
35

5 5 5
{0, 1, 1, 1, 1, 14
, 14 , 14 }

[id3A − a0 ]

6

81
35

5 3 31 73
{0, 0, 1, 43 , 14
, 28 , 32 , 224 }

[id3A − uρ2 ]

2

12
7

1 1 5
{0, 0, 1, 32 , 32 , 42
, 42 , 14 }

[y3A ]

6

8
5

1 13
{0, 0, 0, 1, 31 , 31 , 16
, 16 }

[id3A − y3A ]

6

12
7

3 5 1
33
{0, 0, 1, 32 , 16
, 14 , 42 , 112
}

(1)

3

116
35

{0, 1, 1, 1, 23
, 23 , 5 , 5 }
28 28 14 14

(1)

3

81
35

5 3 3 23
{0, 0, 1, 74 , 14
, 4 , 28 , 28 }

(2)

6

13
5

3 27 7
{0, 1, 1, 41 , 31 , 32
, 32 , 12 }

(3)

6

12
7

5 1
1
85
{0, 0, 1, 32 , 14
, 42 , 112
, 112
}

(4)

6

11
6

1 1 11 7 7
{0, 0, 1, 12
, 12 , 12 , 18 , 18 }

(5)

6

97
30

31 2 29 7
{0, 1, 1, 65 , 45
, 15 , 30 , 18 }

(6)

6

21
11

3 1 13 1 7 35
{0, 1, 11
, 22 , 22 , 44 , 44 , 44 }

(7)

12

l(y6A )

(8)

12

l(y6A )

[y6A ]
[y6A − aρ2 ]
[y6A ]
[y6A ]
[y6A ]
[y6A ]
[y6A ]
[y6A ]
[y6A ]

(7)

d0 (y6A ) = d1 (y6A ) = 1

(8)

d0 (y6A ) = d1 (y6A ) = 1

(7)

(7)

(8)

(8)

Table 5: Spectra of the idempotents of V6A .
15

Associative subalgebra U

|[U]|

Associative subalgebra U

|[U]|

hhaρ3 , uρ2 , id6A − aρ3 − uρ2 ii

1

hhaρ3 , id6A − id2A , id2A − aρ3 ii

3

hhaρ3 , y6A − aρ3 , id6A − y6A ii

3

hhuρ2 , id3A − uρ2 , id6A − id3A ii

2

hha0 , id2A − a0 , id6A − id2A ii

6

hha0 , id3A − a0 , id6A − id3A ii

6

6

hhy3A , id3A − y3A , id6A − id3A ii

6

6

1
hhy6A , id6A − y6A , idτ2A
− aρ3 ii

(1)

(1)

(2)

hha0 , id6A − y6A , (y3A )φ6A ii
(3)

(1)

hhy6A , (y3A )φ6A , id6A − y6A ii

(4)

(5)

Table 6: Non-trivial maximal associative subalgebras of V6A .
Proof. All the trivial maximal associative subalgebras of V6A are contained
in the orbits [Vy(i) ], for i = 6, 7, 8, which have sizes 6, 12 and 12, respec6A
tively. Using the action of Aut(6A), Table 6 defines 45 non-trivial maximal
associative subalgebras of V6A . Using a similar technique as in the proof of
Lemma 3.8, we show that there are no more three-dimensional associative
subalgebras in V6A . The result follows by Lemma 3.11.

4

Associative Subalgebras of the Majorana
representations of S4 involving V3C

Let S4 be the symmetric group of degree 4. If T is the set of all involutions in
S4 , or if T is the set of all transpositions in S4 , then T is a generating set of
S4 that is closed under conjugation. In both cases, Majorana representations
that contain V3C as subalgebra were constructed in [IPSS10, Sec. 4.3–4.4].
These are called the Majorana representations of S4 of shapes (2B, 3C) and
(2A, 3C), and they are denoted by V(2B,3C) and V(2A,3C) , respectively. It was
also established in [IPSS10] that V(2B,3C) and V(2A,3C) may be embedded in
VM , so they satisfy axiom M2′ . In this last section, we obtain the idempotents
and the maximal associative subalgebras of V(2B,3C) and V(2A,3C) using the
techniques developed in the previous sections.

16

6

Consider the following Majorana axes corresponding to involutions of S4 :
a1 := a(1,2) ,
a4 := a(2,3) ,
a7 := a(1,2)(3,4) ,

a2 := a(1,3) ,
a5 := a(2,4) ,
a8 := a(1,3)(2,4) ,

a3 := a(1,4) ,
a6 := a(3,4) ,
a9 := a(1,4)(2,3) .

The algebra V(2B,3C) has dimension 6 and basis {ai : 1 ≤ i ≤ 6}, while
V(2A,3C) has dimension 9 and basis {ai : 1 ≤ i ≤ 9}. As V(2B,3C) involves
Norton-Sakuma subalgebras of type 2B, it may not be embedded in V(2A,3C) .

5

Associative Subalgebras of V(2B,3C)

Let id(2B,3C) be the identity of V(2B,3C) . Let id2B and id3C be the identities of the Norton-Sakuma subalgebras of V(2B,3C) with bases {a1 , a6 } and
{a1 , a2 , a4 }, respectively. Direct calculations show that the following is an
idempotent of V(2B,3C) :
y(2B,3C)

i
√
√
2 h
:=
(60 + 3570)a1 + (60 − 3570)a6
255
i
√
√
8 h
+
(15 + 255)(a2 + a5 ) + (15 − 255)(a3 + a4 ) .
255

By solving the system of quadratic equations determined by the relation
v · v − v = 0, we verify in [MAP] that the algebra V(2B,3C) has exactly 64
idempotents. Table 7 contains the spectra of the Aut(V(2B,3C) )-orbits of half
of the non-zero non-identity idempotents of V(2B,3C) .
Lemma 5.1. The following subalgebras of V(2B,3C) are maximal associative:
(1)

U(2B,3C) := hha1 , id3C − a1 , id(2B,3C) − id3C ii,
(2)

U(2B,3C) := hha1 , a6 , id(2B,3C) − a1 − a6 ii.
Proof. This follows by Theorem 2.6, Table 7 and Corollary 2.9.
Lemma 5.2. The dimension of every associative subalgebra of V(2B,3C) is at
most three.
Proof. The result follows by a similar argument to the one used in the proof
21
is the smallest length different from 1 of a non-zero
of Lemma 3.7, since 11
idempotent of V(2B,3C) and l(id(2B,3C) ) = 96
.
17
17

Orbit

Size

Length

Spectrum

[a1 ]

6

1

1 1
{0, 0, 0, 1, 32
, 32 }

[a1 + a6 ]

3

2

1 1 1
, 32 , 32 }
{0, 1, 1, 16

[id3C ]

4

32
11

1 1
{0, 1, 1, 1, 22
, 22 }

[id3C − a1 ]


y(2B,3C)

12

21
11

1 31
5
{0, 0, 1, 22
, 32 , 352
}

12

48
17

d0 (y(2B,3C) ) = d1 (y(2B,3C) ) = 1

Table 7: Spectra of idempotents of V(2B,3C) .

Lemma 5.3. The algebra V(2B,3C) contains exactly 21 maximal associative
subalgebras; 6 of these algebras are trivial associative while 15 are threedimensional.
Proof. The orbit [Vy(2B,3C) ] contains all the trivial maximal associative sub(1)

(2)

algebras of V(2B,3C) . The orbits [U(2B,3C) ] and [U(2B,3C) ] contain 12 and 3
maximal associative subalgebras, respectively. The result follows by a similar argument to the one used in the proof of Lemma 3.13.

6

Associative Subalgebras of V(2A,3C)

Let id(2A,3C) be the identity of V(2A,3C) . Let id2A , id′2A , id3C and id4B be the
identities of the Norton-Sakuma subalgebras of V(2A,3C) with bases {a1 , a6 , a7 },
{a7 , a8 , a9 }, {a1 , a2 , a4 } and {a1 , a6 , a7 , a8 , a9 }, respectively.
By solving the system of quadratic equations determined by the relation
v · v − v = 0 in [MAP], we found that V(2A,3C) has precisely 512 idempotents.
We obtained radical expressions for 464 of these idempotents, and numerical
approximations for the remaining ones. The coefficients of these idempotents
are too lengthy to be displayed here.
Table 8 contains the values of d0 (x) and d1 (x) of the Aut(V(2A,3C) )-orbits
of half the non-zero non-identity idempotents of V(2A,3C) , where c√d denotes

18

Orbit

Size

Length

d0 (x)

d1 (x)

[a1 ]
[a7 ]
[id2A ]
[id2A − a1 ]
[id2A − a7 ]
[id′2A ]
[id′2A − a7 ]
[id3C ]
[id3C − a1 ]
[id4B ]
[id4B − a1 ]
[id4B − a8 ]
[id4B − a7 ]
[id4B − id2A + a1 ]
[id4B − id′2A + a8 ]
[y4B ]
[id4B − y4B ]
[x1 ]
[x2 ]
[x3 ]

6
3
3
6
3
1
3
4
12
3
6
6
3
6
6
12
12
12
4
12

1
1

4
4
2
3
4
3
5
1
2
1
2
2
2
2
2
2
2
1
1
2

1
1
2
1
1
3
1
3
1
5
2
2
2
2
2
1
1
1
1
1

2
1

1
1

1
1

1
1

+ δ3 )
+ 33δ4 )

1
2

1
1

− 33δ4 )
l(x8 )
l(x9 )

2
1
1

1
1
1

c

[x3δ2 ]
[x4 ]
c√

[x4 3 ]
[x5 ]
c√

[x5 11 ]
[x6 ]
c

[x6δ4 ]
[x8 ]
[x9 ]

12
12
12
12
12
12
12
24
24

12
5
7
5
7
5
12
5
7
5
32
11
21
11
19
5
14
5
14
5
14
5
12
5
12
5
21
11
104
55
4
(4 − 3δ1 )
5
4
(4 − 3δ1 )
5
1
(27 + 499δ2 )
10
1
(27 − 499δ2))
10
4
(4 − δ3 )
5
4
(4 − δ3 )
5
4
(4 + δ3 )
5
4
(4
5
1
(5
2
1
(5
2

Table 8: Idempotents of V(2A,3C) .
19

√
the conjugation automorphism of Q( d), and
√
√
√
19009
1621
5321
δ1 :=
, δ2 :=
and δ3 :=
.
19009
1621
5321
Lemma 6.1. The subalgebras of V(2A,3C) given by Table 9 are maximal associative.
Proof. This may be verified directly using Theorem 2.6, Table 8 and Corollary 2.9.
Lemma 6.2. The dimension of every associative subalgebra of V(2A,3C) is at
most four.
Proof. The result follows by a similar argument to the one used in the proof
of Lemma 3.7, since 75 is the smallest length different from 1 of a non-zero
idempotent of V(2A,3C) and l(id(2A,3C) ) = 32
.
5
Associative subalgebra U

|[U]|

dim(U)

hha1 , id′2A − a7 , id2A − a1 , id(2A,3C) − id4B ii

6

4

hha7 , id′2A − a7 , id2A − a7 , id(2A,3C) − id4B ii

3

4

hha8 , id′2A − a8 , id2A − a7 , id(2A,3C) − id4B ii

3

4

hha9 , id′2A − a9 , id2A − a7 , id(2A,3C) − id4B ii

3

4

hha1 , id3C − a1 , id(2A,3C) − id3C ii

12

3

hhy4B , id(2A,3C) − id4B , id4B − y4B ii

3

3

12

3

12

3

c

hha1 , x3 , x3δ2 ii

c

hhid′2A − a7 , x6 , x6δ4 ii

Table 9: Non-trivial maximal associative subalgebras of V(2A,3C) .
Lemma 6.3. The algebra V(2A,3C) contains exactly 166 maximal associative
subalgebras; in particular, exactly 54 of these subalgebras are non-trivial, as
given by Table 9.
20

Proof. In order to find all the maximal associative subalgebras of V(2A,3C) ,
we consider the indecomposable idempotents of V(2A,3C) .
As may be seen from Table 8, there are 112 indecomposable idempotents
x ∈ V(2A,3C) with d0 (x) = 1, so there are 112 trivial maximal associative
subalgebras.
If x ∈ V(2A,3C) is an indecomposable idempotent with d0 (x) = 2, then x
is in one of the orbits
c

c

[id3C − a1 ], [y4B ], [id4B − y4B ], [x3 ], [x3δ2 ], [x6 ] or [x6δ4 ].
Table 9 shows that each one of these idempotents is contained in a threedimensional maximal associative subalgebra, and the proof of Lemma 2.11
shows that such idempotents cannot be contained in any other maximal
associative subalgebra.
If x ∈ V(2A,3C) is an indecomposable idempotent with d0 (x) > 2, then x
is contained in one of the orbits
[a1 ], [a7 ], [id2A −a1 ], [id2A −a7 ], [id′2A −a7 ], [id(2A,3C) −id3C ] or [id(2A,3C) −id4B ].
Direct calculations allow us to conclude that all the maximal associative
subalgebras containing these idempotents are given by Table 9.
Acknowledgments
I gratefully thank my PhD supervisor Alexander A. Ivanov for all his helpful
advice and comments. My thanks also to Felix Rehren for sharing with me
his interesting thoughts about associative subalgebras and idempotents, and
to the anonymous referee of this paper for all the insightful comments.

References
[CR13] A. Castillo-Ramirez, ‘Idempotents of the Norton-Sakuma algebras’, J.
Group Theory 16.3 (2013) 419–444.
[C84] J.H. Conway, ‘A simple construction for the Fischer-Griess Monster group’,
Invent. Math. 79, (1984) 513–540.
[DGH98] C. Dong, R.L. Griess and G. Hohn, ‘Framed Vertex Operator Algebras,
Codes and the Moonshine Module’, Commun. Math. Phys. 193 (1998) 407–
448.

21

[DLMN98] C. Dong, H. Li, G. Mason and S. P. Norton, ‘Associative subalgebras
of the Griess algebra and related topics’, in The Monster and Lie Algebras,
Ohio State Univ. Math. Res. Inst. Publ. 7 (1998) 27–42.
[G82] R. L. Griess, ‘The Friendly Giant’, Invent. Math., 69 (1982) 1–102.
[GMS89] R. L. Griess, U. Meierfrankenfeld and Y. Segev, ‘A uniqueness proof for
the Monster’, Ann. of Math. (2) 130 (1989), no.3, 567–602.
[Iv09] A. A. Ivanov, The Monster Group and Majorana Involutions, Cambridge
Univ. Press, Cambridge, Cambridge Tracts in Mathematics 176 (2009).
[IPSS10] A. A. Ivanov, D. V. Pasechnik, Á. Seress and S. Shpectorov, ‘Majorana
representations of the symmetric group of degree 4’, J. Algebra 324 (2010)
2432–2463.
[Iv11a] A. A. Ivanov, ‘On Majorana Representations of A6 and A7 ’, Comm. Math.
Phys. 307 (2011) 1–16.
[Iv11b] A. A. Ivanov, ‘Majorana Representations of A6 involving 3C-algebras’,
Bull. Math. Sci. 1 (2011) 356–378.
[IS12] A. A. Ivanov and Á. Seress, ‘Majorana Representations of A5 ’, Math. Z.
272 (2012) 269–295.
[IS] A. A. Ivanov and S. Shpectorov, ‘Majorana Representations of L3 (2)’, Adv.
Geom., 14 (2012) 717–738.
[LYY05] C.H. Lam, H. Yamada and H. Yamauchi, ‘McKay’s observation and vertex operator algebras generated by two conformal vectors of central charge
1/2’, Int. Math. Res. Papers, 3 (2005) 117–181.
[MAP] Maplesoft, Maple 16.00 - The Essential Tool for Mathematics and Modeling, Licensed to: Imperial College Centre for Computing Services (2012).
[MN93] W. Meyer and W. Neutsch, ‘Associative subalgebras of the Griess algebra’,
J. Algebra, 158 (1993) 1–17.
[Mi96] M. Miyamoto, ‘Griess algebras and conformal vectors in vertex operator
algebras’, J. Algebra, 179 (1996) 523–548.
[N96] S. P. Norton, ‘The Monster algebra: some new formulae’, in Moonshine,
the Monster and Related Topics, Contemp. Math., 193, AMS, Providence, RI,
(1996) 297–306.

22

[R08] S. Roman, ‘Advanced Linear Algebra’, Springer 135, Graduate Texts in
Mathematics (2008).
[Sa07] S. Sakuma, ‘6-Transposition property of τ -involutions of vertex operator
algebras’, Int. Math. Res. Not. IMRN, 9 (2007) 19.
[Se12] Á. Seress, ‘Construction of 2–closed M –representations’, Proc. Int. Sympos.
Symbolic Algebraic Comput., Amer. Math. Soc., New York, (2012) 311–318.

23

