arXiv:1610.01307v1 [math.GR] 5 Oct 2016

MIYAMOTO INVOLUTIONS IN AXIAL ALGEBRAS OF
JORDAN TYPE HALF
J. I. HALL

Y. SEGEV

S. SHPECTOROV

Abstract. Nonassociative commutative algebras A generated by idempotents e whose adjoint operators ade : A → A, given by x 7→ xe, are
diagonalizable and have few eigenvalues are of recent interest. When certain fusion (multiplication) rules between the associated eigenspaces are
imposed, the structure of these algebras remains rich yet rather rigid.
For example vertex operator algebras give rise to such algebras. The
connection between the Monster algebra and Monster group extends
to many axial algebras which then have interesting groups of automorphisms.
Axial algebras of Jordan type η are commutative algebras generated
by idempotents whose adjoint operators have a minimal polynomial dividing (x − 1)x(x − η), where η ∈
/ {0, 1} is fixed, with well-defined and
restrictive fusion rules. The case of η 6= 12 was thoroughly analyzed by
Hall, Rehren, and Shpectorov in a recent paper, in which axial algebras
were introduced. Here we focus on the case where η = 12 , which is much
less understood and is of a different nature.

1. Introduction
Axial algebras, introduced in [HRS1, HRS2], are certain commutative and
nonassociative algebras. Their definition was motivated by constructions
from the theory of vertex operator algebras. The historical development is
discussed at length in the introduction to [HRS2]. That paper is focused
upon those axial algebras said to have Jordan type η. Specifically, all primitive axial algebras of Jordan type η 6= 12 are essentially classified in [HRS2].
The purpose of this paper is to understand better the structure of primitive
axial algebras of Jordan type 12 . These remain unclassified and are more varied than those with η 6= 12 . Especially, many Jordan algebras occur, hence
the name.
Throughout this paper F is a field of characteristic not 2.
1.1. The definition of an axial algebra.
Date: October 5, 2016.
2010 Mathematics Subject Classification. Primary: 17A99; Secondary: 17C99, 17B69.
Key words and phrases. Axial algebra, 3-transposition, Jordan algebra.
1

2

J. I. HALL, Y. SEGEV, S. SHPECTOROV

Let A be a commutative algebra over F that is not necessarily associative.
For a ∈ A and λ ∈ F let
Aλ (a) := {x ∈ A | xa = λx} .
That is, Aλ (a) is the λ-eigenspace of the adjoint operator
ada : A → A, x 7→ xa.
(We allow Aλ (a) = 0.)
An axis in A is an idempotent element a = a2 of A such that the minimal
polynomial of ada is a product of distinct linear factors. The F-algebra A
is an axial algebra if it is generated by axes. An axis a ∈ A is absolutely
primitive if A1 (a) = Fa (note that this is stronger than being a primitive
idempotent). The structure of axial algebras can be very loose. This is
typically remedied by specifying fusion rules (that is, multiplication rules)
which restrict how eigenspaces are allowed to multiply.
Fix η ∈ F with η ∈
/ {0, 1}. In this paper we shall be concerned with axial
algebras generated by a set A of absolutely primitive axes with the following
eigenvalue and fusion requirements:
(1) For each a ∈ A, the minimal polynomial of ada divides (x − 1)x(x −
η).
(2) We have
Aδ (a)Aǫ (a) ⊆ Aδǫ (a) ,
for δ, ǫ ∈ {+, −}, and
A0 (a)A0 (a) ⊆ A0 (a) ,
for all a ∈ A. Here δǫ has the obvious meaning, and
A+ (a) = A1 (a) ⊕ A0 (a)

and

A− (a) = Aη (a) .

An absolutely primitive axis a having these two properties will be called
an η-axis. A primitive axial algebra of Jordan type η is a commutative
algebra generated by η-axes. The terminology arises from the fact that
Jordan algebras generated by absolutely primitive axes are primitive axial
algebras of Jordan type 21 . That particular choice for η will be of the greatest
interest to us.
1.2. Main results.
The current paper has its origins in the paper [HRS2] of Hall, Rehren,
and Shpectorov. However, we observed that Theorem 5.4 of that paper is
false in two senses—the actual result is false for primitive axial algebras of
Jordan type η = 21 and, while the result is true for the cases η 6= 21 , the
proof given there is not sufficient. This paper began as an effort to resolve
these difficulties.
To state our main results, let A be a primitive axial algebra of Jordan
type η. We need to recall certain definitions. The Miyamoto involution
τ (a) corresponding to an η-axis a ∈ A is the automorphism of A defined by

AXIAL ALGEBRAS OF JORDAN TYPE HALF

3

τ (a) : x 7→ x+ − x− , where x = x+ + x− , with x+ ∈ A+ (a) and x− ∈ A− (a).
It is easy to check that τ (a) is an automorphism of A of order at most 2
(see Definition 2.1 below).
1.2.1. Results concerning the structure of A.
Consider the (undirected) graph ∆ on the set of all η-axes of A, where
distinct a, b form an edge if and only if ab 6= 0 (see §6). In §6 we show the
existence of a certain decomposition of our axial algebras.
Theorem A. Let A be a primitive axial algebra of Jordan type η. Let
{∆i | i ∈ I} be the connected components of ∆ and let Ai be the subalgebra
of A generated by the axes in ∆i . Then
P
(1) A = i∈I Ai is the sum of its ideals Ai ;
(2) Ai Aj = 0, for distinct i, j ∈ I;
(3) for each i ∈ I exactly one of the following holds:
(a) the map a 7→ τ (a), a ∈ ∆i is injective.
(b) Ai is a Jordan algebra of Clifford type.
Jordan algebras of Clifford type are discussed in §5. Theorem 6.10 below
give a more detailed (and refined) version of Theorem A.
To prove part (3b) of Theorem A we prove:
Theorem B. Let A be a primitive axial algebra of Jordan type η. Assume
that ∆ is connected and that there are two distinct η-axes a, b ∈ A such that
τ (a) = τ (b). Then η = 12 , a + b = 1 is the identity of A and A is a Jordan
algebra of Clifford type.
The proof of Theorem B uses Theorem 5.4 and Proposition 6.6.
1.2.2. Results concerning 3-transpositions.
Let G be a group generated by a normal set of involutions D. Recall that
D is called a set of 3-transpositions in G if |st| ∈ {1, 2, 3}, for all s, t ∈ D.
The group G is then called a 3-transposition group.
Let A be a generating set of η-axes in A. Suppose that aτ (b) ∈ A, for all
a, b ∈ A, where aτ (b) is the image of a under the Miyamoto involution τ (b)
(and this and similar notation will prevail throughout this paper). In other
words, assume that A is closed.
As we will see, the set D := {τ (a) | a ∈ A and τ (a) 6= id} is a normal set
of involutions in G = hDi. Suppose D is a set of 3-transpositions in G, then
we call A a 3-transposition algebra with respect to A.
In [HRS2] it is shown that every primitive axial algebra of Jordan type
η 6= 21 is a 3-transposition algebra with respect to any closed generating set
of η-axes (see Theorem 7.1). The case η = 12 is very different. However, the
following theorem holds in the case where A is a Jordan algebra of Clifford
type (see §7).

4

J. I. HALL, Y. SEGEV, S. SHPECTOROV

Theorem C. Assume char(F) 6= 3 and that A is a Jordan algebra of Clifford
type that is additionally a 3-transposition algebra with respect to the closed
set A of 12 -axes. Assume further that D := {τ (a) | a ∈ A and τ (a) 6= id} is
a conjugacy class in G = hDi. Then G is of symplectic type and no subgroup
H = hD ∩ Hi is isomorphic to a central quotient of W2 (D̃4 ).
For more detail about the terminology in Theorem C, see §4. In that section we prove a result about 3-transposition groups which is of independent
interest.
Theorem D. Let G be a finite 3-transposition group of symplectic type
generated by the conjugacy class D of 3-transpositions, such that there is no
subgroup H = hD ∩ Hi isomorphic to a central quotient of W2 (D̃4 ).
Then there is an n ∈ Z+ with G a central quotient of W(An ) for n ≥ 2,
W(Dn ) for n ≥ 4, or W(En ) for n ∈ {6, 7, 8}.
Of course Theorem D can be used in conjunction with Theorem C to
impose severe restrictions on the groups G that can occur in Theorem C.
1.3. Some open problems.
Here we list certain remaining open problems.
Problem 1. Let A be a primitive axial algebra of Jordan type 21 and assume
that the graph ∆ above is connected and that the map a 7→ τ (a) is bijective
on the set of 21 -axes.
(i) What is the structure of subalgebras of A generated by three 12 -axes?
(ii) Suppose A is generated by a finite set of 12 -axes. Is A finite dimensional over F?
(iii) What else can be said about the structure of A?
Problem 2. Let A be a Jordan algebra of Clifford type and assume that
the graph ∆ above is connected. Let A be a closed subset (see above)
of generating 21 -axes in A such that the map a 7→ τ (a) is injective on A.
Classify these sets A.
Problem 3. Are there restriction on G and D if we assume in Theorem C
that char(F) = 3?
Contents
1. Introduction
1.1. The definition of an axial algebra
1.2. Main results
1.3. Some open problems
2. Notation and some definitions
3. Preliminaries
3.1. Details about the algebras in Notation 2.4
3.2. Some further consequences

1
1
2
4
5
6
6
11

AXIAL ALGEBRAS OF JORDAN TYPE HALF

3.3. Properties related to 3-transpositions
4. 3-transposition groups of ADE-type
5. Jordan algebras of Clifford type
6. The graph ∆ and some consequences
7. The case where A is a 3-transposition algebra
References

5

16
19
26
28
34
39

2. Notation and some definitions
In this section we assemble the notation and definitions that will prevail throughout this paper. Other, more specific ones, will be given in the
beginning of each of the following sections.
As mentioned above, throughout this paper F is a field of characteristic
not 2. Also, A is a primitive axial algebra of Jordan type η.
Definition 2.1 (Miyamoto involution). Let B be an algebra over the field
F (not necessarily associative).
(1) Suppose that B is a direct sum B = B+ ⊕ B− , such that B+ and B−
are subspaces of B and such that Bδ Bǫ = Bδǫ , for δ, ǫ ∈ {+, −}. For
x ∈ B, write x = x+ + x− , with xǫ ∈ Bǫ . The Miyamoto involution
corresponding to the above decomposition of B is the map τ : B → B
defined by xτ = x+ − x− , for all x ∈ B. It is easy to check that τ
is an automorphism of B of order at most 2. (It has order 2 if and
only if B− 6= 0.)
(2) Let x ∈ B, and assume that B decomposes into a direct sum B+ (x)⊕
B− (x) of adx -invariant subspaces of the adjoint operator adx : B →
B, b 7→ bx. Suppose further that B+ (x) and B− (x) satisfy the
rules as in (1) above. Then we denote the corresponding Miyamoto
involution by τ (x) (where B is understood from the context) and
call τ (x) the Miyamoto involution corresponding to x.
(3) When A is a primitive axial algebra of Jordan type η and a ∈ A is an
η-axis, then τ (a) will denote the Miyamoto involution corresponding
to a (as in (2) above, recall the definition of A+ (a) and A− (a) from
subsection 1.1). It is easy to check that if ρ is an automorphism of
A, then τ (aρ ) = τ (a)ρ . This fact will be used throughout this paper
without further mention.
Notation 2.2 (Notation and definitions related to axes).
(1) We denote by X the set of all η-axes in A.
(2) For a subalgebras N ⊆ A and x ∈ N, we denote by Nλ (x) the λeigenspace of the adjoint endomorphism adx : b 7→ bx of N . (Recall
that we allow the possibility Nλ (x) = 0.)
(3) We let X 1 := {a ∈ X | τ (a) = id} and X η := X r X 1 .
(4) For a subset B ⊆ X , we let B 1 = B ∩ X 1 and B η = B ∩ X η .

6

J. I. HALL, Y. SEGEV, S. SHPECTOROV

(5) A subset B ⊆ X is closed if B τ (b) ⊆ B, for all b ∈ B.
(6) For a set B ⊆ X , the closure of B in X is the intersection of all closed
subsets of X containing B. We denote it by [B].
(7) For a subset B ⊆ X , we denote by DB := {τ (b) | b ∈ B} and
GB = hDB i.
Notation 2.3 (General notation for algebras and subalgebras). Let a, b ∈ X
with a 6= b.
(1) For a subset B ⊆ X , we denote by NB the subalgebra of A generated
by B. If B = {a, b}, we sometimes write NB = Na,b .
(2) Note that Na,b satisfies the multiplication rules of Proposition 3.1.1
below. We use the notation ϕa,b , πa,b and σa,b as in Proposition
3.1.1.
(3) We denote by 1a,b the identity element of Na,b if Na,b is 3-dimensional
and has an identity element.
Note that by Theorem 3.1.3(3), Na,b contains an identity element
if and only if σa,b 6= 0 and πa,b 6= 0. In this case the identity element
1
σa,b .
of Na,b is 1a,b = πa,b
Notation 2.4 (Some specific two generated algebras). The following 2generated algebras were defined in [HRS2]. In several cases though we
changed notation. Let a, b ∈ X with a 6= b.
(1) If ab = 0, we denote Na,b = 2Ba,b , thus Na,b is 2-dimensional.
(2) If ab = −a−b, we denote Na,b = 3C(−1)×
a,b , thus Na,b is 2-dimensional
(see Lemma 3.1.8).
(3) If ab = 12 a + 21 b we denote Na,b = Ja,b , thus Na,b is 2-dimensional
(see Lemma 3.1.9). Our notation here for this algebra differs from
the notation in [HRS2].
(4) If Na,b is 3-dimensional, we denote Na,b = B(η, ϕa,b )a,b , where ϕa,b ∈
F is defined in Proposition 3.1.1 (see Theorem 3.1.3).
(5) We denote 3C(η)a,b = B(η, 12 η)a,b (see Lemma 3.1.4 and Remark
3.1.5).

3. Preliminaries
In this section we give some preliminary properties of the various algebras
from Notation 2.4. In addition, we assemble some preliminary results.
3.1. Details about the algebras in Notation 2.4.
Proposition 3.1.1 (Proposition 4.6 [HRS2]). Let a, b ∈ X with a 6= b. Let
σ = σa,b = ab − ηa − ηb ∈ Na,b . Then there exists a scalar ϕ = ϕa,b ∈ F such
that if we set π = πa,b = (1 − η)ϕ − η, then
(1) ab = σ + ηa + ηb;
(2) σv = πv, for all v ∈ {a, b, σ}.

AXIAL ALGEBRAS OF JORDAN TYPE HALF

7

Lemma 3.1.2. Let a, b be two distinct η-axes in A and suppose that Na,b is
2-dimensional. Then
(1) one of the following three statements holds:
(a)
(i) ϕa,b = 0, πa,b = −η and σa,b = −ηa − ηb, also
(ii) ab = 0 and Na,b = 2Ba,b .
(b)
(i) η = −1, ϕa,b = − 12 , πa,b = 0 and σa,b = 0, also
(ii) ab = −a − b and Na,b = 3C(−1)×
a,b .
1
(c)
(i) η = 2 , ϕa,b = 1, πa,b = 0 and σa,b = 0, also
(ii) ab = 12 a + 21 b, and Na,b = Ja,b .
(2) If ab 6= 0, then Na,b does not have an identity element.
Proof. Suppose first that σa,b 6= 0. Let σ = σa,b and π = πa,b . Write
σ = αa + βb. Multiplying by a we get that πa = αa + βab. Suppose β = 0.
Then πa = αa, thus π 6= 0, and α = π. Multiplying by b we get that
πb = πab, so ab = b. But this contradicts the absolute primitivity of a.
Hence β 6= 0. Similarly, α 6= 0.
Thus we have ab = π−α
β a and similarly multiplying by b we get that
ab = π−β
α b. Hence we must have α = β = π 6= 0. It follows that ab = 0 and
Na,b = 2Ba,b . Further σ = −ηa − ηb. Now πa = σa = −ηa. Hence π = −η
and then ϕa,b = 0. This shows part (1a).
Suppose now that σ = 0. Then ab = ηa + ηb. Thus, if a(αa + βb) = 0,
for some vector αa + βb ∈ Na,b , then αa + β(ηa + ηb) = 0. Hence βη = 0,
so β = 0, and then also α = 0, and we see that the 0-eigenspace of a is {0}
and so is the 0-eigenspace of b.
We now compute the η-eigenspace of a. Clearly, it is a 1-dimensional
space spanned by some αa + βb, with α 6= 0 6= β.
Now since A is of Jordan type η, we must have (αa + βb)2 ∈ Fa. Thus
α2 a + β 2 b + 2αβ(ηa + ηb) ∈ Fa.
It follows that β 2 + 2αβη = 0, or
β = −2αη.
Canceling α, we may assume that the η-eigenspace of a is spanned by a−2ηb.
Next we have a(a − 2ηb) = η(a − 2ηb). Hence
a − 2η(ηa + ηb) = ηa − 2η 2 b.
It follows that 2η 2 + η − 1 = 0 so, η = −1 or η = 21 . If η = −1, then
ab = −a − b, and this is the definition of 3C(−1)×
a,b . This shows part (1bii).
Since 0 = σa = πa, it follows that π = 0 and then ϕ = − 12 and (1bi) holds.
If η = 12 , then ab = 21 a + 21 b. This is the algebra Ja,b . This shows part
(1cii). As above, π = 0 and then ϕ = 1.
Part (2) is an easy calculation and we omit the details.

Theorem 3.1.3. Let a, b be two distinct η-axes in A and assume that N :=
Na,b is 3-dimensional. Set σ = σa,b , ϕ = ϕa,b and π = πa,b . Then

8

J. I. HALL, Y. SEGEV, S. SHPECTOROV

σ 6= 0;
σz = πz, for z ∈ {a, b, σ};
π 6= 0 if and only if N contains an identity element 1a,b = π1 σ;
ab = σ + ηa + ηb; in particular, if π 6= 0 then ab = π1a,b + ηa + ηb;
N1 (x) = Fx, N0 (x) = F(πx − σ) and Nη (x) = F((η − ϕ)x + ηy + σ);
xτ (y) = − η2 σ − 2(η−ϕ)
η y − x, for {x, y} ={a, b};
2(η−ϕ)
(7) xxτ (y) = − η σ − 2(η − ϕ) + η2 π + 1 x− 2(η − ϕ)y, for {x, y} =
{a, b}.

(1)
(2)
(3)
(4)
(5)
(6)

Proof. Note that Na,b is isomorphic to the algebra B(η, ϕ) defined in [HRS2,
Theorem 4.7, p. 98], with (a, b) in place of (c, d) and σa,b in place of ρ. Hence,
parts (1)–(5) are [HRS2, Theorem 4.7(a), p. 99]. Note that if π = 0 and N
contains an identity element 1a,b , then σ = 1a,b σ = 0, a contradiction.
For (6) we have
x = − η1 σ −
xτ (y) = − η1 σ −
xτ (y) = − η2 σ −

η−ϕ
1
η y + η ((η
η−ϕ
1
η y − η ((η
2(η−ϕ)
y − x.
η

− ϕ)y + ηx + σ) ⇐⇒
− ϕ)y + ηx + σ) ⇐⇒

Finally, for (7) we have
xxτ (y) = x(− η2 σ −
= − η2 πx −
= − η2 πx −
= − η2 πx −

2(η−ϕ)
y − x)
η
2(η−ϕ)
xy − x
η
2(η−ϕ)
(σ + ηx + ηy) − x
η
2(η−ϕ)
σ − 2(η − ϕ)x − 2(η
η

− ϕ)y − x


σ − 2(η − ϕ) + η2 π + 1 x − 2(η − ϕ)y.
= − 2(η−ϕ)
η



Lemma 3.1.4. Let a, b be two distinct η-axes in A and suppose that Na,b =
B(η, 12 η)a,b (in particular, Na,b is 3-dimensional). Set N = Na,b , π = πa,b
and σ = σa,b . Then π = − 12 (η + η 2 ), and
(1) (a) ab = σ + ηa + ηb;
(b) Nη (x) = F(σ + 12 ηx + ηy), for {x, y} = {a, b};
(c) xτ (y) = − η2 σ − x − y, for {x, y} = {a, b};
(d) aτ (b) = bτ (a) , so |τ (a)τ (b)| = 3.
(2) If η 6= −1, then 1a,b = π1 σ is the identity of N while if η = −1, then
N has no identity element.
Proof. Part (1a) follows from Theorem 3.1.3(4). Also
π = (1 − η)ϕ − η = (1 − η) η2 − η = − 12 (η + η 2 ).

AXIAL ALGEBRAS OF JORDAN TYPE HALF

9

Next, by Theorem 3.1.3(5), for x ∈ {a, b}, Nη (x) is spanned by (η − 12 η)x +
2(η− 1 η)

2
y − x, for {x, y} =
ηy + σ, so (1b) holds. By 3.1.3(6), xτ (y) = − η2 σ −
η
{a, b}, this shows (1c) and (1d). Part (2) follows from Theorem 3.1.3(3). 

Remark 3.1.5. Let a, b be two distinct η-axes in A and suppose that Na,b =
B(η, 21 η)a,b . Set c0 = a, c1 = b and c2 = − η2 σa,b − a − b. Then it is readily
verified that {c0 , c1 , c2 } is a basis of Na,b , and for {i, j, k} = {0, 1, 2} we have
c2i = ci and ci cj = 12 η(ci + cj − ck ). Thus Na,b is the algebra denoted 3C(η)
in [HRS2, Example 3.3, p. 90]. See also [HRS2], p. 91, line 9 (with (a, b) in
place of (c0 , c1 )). This explains our notation 3C(η)a,b (see Notation 2.4(5)).
Lemma 3.1.6. Let a, b ∈ A be two distinct η-axes. Suppose that η = ϕa,b =
1
1 1
2 . Then N := Na,b is 3-dimensional, so N = B( 2 , 2 )a,b and
πa,b = − 41 ;
xτ (y) = 1a,b − x, for {x, y} = {a, b};
N 1 (x) = F(1a,b − 2y), for {x, y} = {a, b};
2
|τ (a)τ (b)| ∈ {2, 4};
|τ (a)τ (b)| = 2 if and only if τ (x) = τ (1a,b − x), for x ∈ {a, b};
if |τ (a)τ (b)| = 4 then τ (a)τ (1a,b − a) = τ (b)τ (1a,b − b) =: t and
Z(hτ (a), τ (b)i) = hti;
(7) N = B( 12 , 21 )x,y , for all x ∈ {a, 1a,b − a} and y ∈ {b, 1a,b − b}.

(1)
(2)
(3)
(4)
(5)
(6)

Proof. By Lemma 3.1.2, N is 3-dimensional. Let ϕ = ϕa,b , π = πa,b , σ =
σa,b and 1 = 1a,b . Since η = 12 , we have π = (1−η)ϕ−η = (1− 12 ) 12 − 12 = − 41 .
By Theorem 3.1.3(6), xτ (y) = −4σ −x = 1−x. By Theorem 3.1.3(5) part (3)
holds. Since aτ (a) = a and bτ (a) = 1 − b, it follows that N = B( 21 , 21 )a, (1−b) .
Similarly we see that (7) holds.
From (7) it follows that xτ (y)τ (1−y) = x, and clearly y τ (y)τ (1−y) = y, for
{x, y} = {a, b}. Hence τ (y)τ (1 − y) ∈ Z(H), where H = hτ (a), τ (b)i. We
have
τ (1 − b)τ (b) = τ (bτ (a) )τ (b) = (τ (a)τ (b))2 = τ (a)τ (aτ (b) )
= τ (a)τ (1 − a) ∈ Z(H).
If τ (x) = τ (1 − x) for x = a or b, then |τ (a)τ (b)| = 2 and clearly if
|τ (a)τ (b)| = 2, then τ (x) = τ (1 − x). This completes the proof of the
lemma.

Remark 3.1.7. Suppose that η = 21 . Let a, b ∈ X . Note that Na,b =
B( 21 , 12 )a,b if and only if Na,b contains an identity 1a,b and ab = − 14 1a,b +
1
1
2 a + 2 b.
Lemma 3.1.8. Let C := 3C(−1)×
a,b . Then
(1) ab = −a − b, σa,b = 0, πa,b = 0 and ϕa,b = − 12 ;
(2) C has no identity element;
(3) C−1 (a) = a + 2b and C−1 (b) = b + 2a;

10

J. I. HALL, Y. SEGEV, S. SHPECTOROV

(4) ab = aτ (b) = bτ (a) = −a − b, so (τ (a)τ (b))3 = id;
(5) if char(F) 6= 3, the only non-zero idempotents in C are a, b, −a − b,
and they are all −1-axis with C−1 (−a − b) = F(a − b);
(6) if char(F) = 3 then the non-zero idempotents in C are
E := {αa + (1 − α)b | α ∈ F},
and each e ∈ E is a −1-axis in C with C−1 (e) = F(a − b).
Proof. Part (1) is by definition, and part (2) is Lemma 3.1.2(2).
(3):

a(a + 2b) = a + 2ab = a − (2a + 2b) = −a − 2b, and similarly for b.

(4): We have a = − 12 b+ 12 (b+2a), so, by definition, aτ (b) = − 12 b− 21 (b+2a) =
−a − b. By symmetry, bτ (a) = −a − b. It follows that aτ (b) = bτ (a) , and then
|τ (b)τ (a)| = 3.
(5&6):

Assume that e := αa + βb is a non-zero idempotent. Then

αa + βb = (αa + βb)2 = α2 a + β 2 b + 2αβab = (α2 − 2αβ)a + (β 2 − 2αβ)b.
If α = 0, then β = 1, and e = b. Similarly if β = 0, then α = 1 and e = a.
Suppose α 6= 0 6= β. Then α2 − 2αβ = α, and so α − 2β = 1. Similarly
β −2α = 1, and we see that if char(F) 6= 3, then α = β = −1. If char(F) = 3,
then we get α + β = 1.
If char(F) 6= 3, then (−a − b)(a − b) = −(a + b)(a − b) = −(a − b), so
−a − b is a −1-axis.
Next if char(F) = 3, then
(αa + (1 − α)b)(a − b) = αa − αab + (1 − α)ab − (1 − α)b
= αa + αa + αb − a − b + αa + αb − b + αb =
−a − 2b = −a + b = −(a − b).



Lemma 3.1.9. Let a, b ∈ X such that N := Na,b = Ja,b (so that η = 21 ).
Let {x, y} = {a, b}, then
(1) σa,b = 0, πa,b = 0 and ϕa,b = 1;
(2) ab = 12 a + 21 b;
(3) N 1 (x) = F(x − y);
2

(4) xτ (y) = 2y − x;
k
(5) x(τ (y)τ (x)) = (2k + 1)x − 2ky, for all k ≥ 0.
Proof. Parts (1) and (2) are by definition. We have a(a − b) = a − ab =
a−( 12 a+ 21 b) = 12 a− 21 b and similarly for b, so (3) holds. Since a = b+(a−b),
then, by definition, aτ (b) = b − (a − b) = 2b − a, and similarly for b. This
shows (4). We leave the calculations of (5) to the reader.

Lemma 3.1.10. Suppose that η =
ϕ = ϕa,b and σ = σa,b , then

1
2,

and let a, b ∈ X with a 6= b. Set

bτ (a) = −4σ − (2 − 4ϕ)a − b.

AXIAL ALGEBRAS OF JORDAN TYPE HALF

11

Proof. Suppose σ 6= 0. If Na,b 6= 2Ba,b , this follows from Lemma 3.1.2 and
Theorem 3.1.3(6). If Na,b = 2Ba,b , then ϕ = 0 and σ = − 12 (a + b), so
bτ (a) = 2(a + b) − 2a − b = b. Suppose σ = 0, then this follows from Lemma
3.1.2, Lemma 3.1.9 and from Lemma 3.1.8 when char(F) = 3.

3.2. Some further consequences.
In this subsection we derive further properties of the algebras discussed in
subsection 3.1.
Lemma 3.2.1. Let a, b be two distinct η-axes in A. Then Na,b = 2Ba,b if
and only if aτ (b) = a. In particular, if τ (a) = τ (b), then Na,b = 2Ba,b .
Proof. We have aτ (b) = a if and only if
(∗)

the projection of a into the η-eigenspace of adb is 0.

Now if Na,b = 2Ba,b , then ab = 0, so clearly (∗) holds. If (∗) holds then, by
[HRS2, Proposition 2.8, p. 88], ab = 0, so Na,b = 2Ba,b .
Next, if τ (a) = τ (b), then aτ (b) = aτ (a) = a, so Na,b = 2Ba,b .

Lemma 3.2.2. Let a, b be two distinct η-axes in A and assume that N :=
Na,b = B(η, ϕa,b )a,b is 3-dimensional. Set σ = σa,b , ϕ = ϕa,b and π = πa,b .
Set V := Nb,bτ (a) . Then either V = N or N has an identity 1a,b and exactly
one of the following holds:
(i) N = B( 12 , 0)a,b , V = Jb,bτ (a) and then Span{b, bτ (a) }∩Span{1a,b , a} =
F(1a,b − a).
(ii) N = B( 12 , 21 )a,b , V = 2Bb,bτ (a) and then Span{b, bτ (a) }∩Span{1a,b , a} =
F1a,b .
Proof. Assume that V is 2-dimensional. By Lemma 3.1.2 we must consider
2 cases.
Case 1. η ∈ {−1, 12 } and bbτ (a) = ηbτ (a) + ηb.
In this case, by Theorem 3.1.3(6)
bbτ (a) = ηbτ (a) + ηb = − 2η
η σ−

2η(η−ϕ)
a
η

− ηb + ηb

= −2σ − 2(η − ϕ)a.
Hence by Theorem 3.1.3(7),
−2σ − 2(η − ϕ)a


2
σ
−
2(η
−
ϕ)
+
π
+
1
b − 2(η − ϕ)a.
= − 2(η−ϕ)
η
η

We conclude that 2 =

2(η−ϕ)
.
η

This implies

ϕ=0
But also 2η +

2
ηπ

and π = −η.

+ 1 = 0, thus
2

π = − 2η 2+η ,

so for η ∈ {−1, 12 }, π = − 21 .

12

J. I. HALL, Y. SEGEV, S. SHPECTOROV

Note that −1 = 12 if char(F) = 3, hence the only case that can occur is (i).
Also by Lemma 3.1.10 we have
− 21 b + 12 bτ (a) = − 21 b + 12 (−4σ − 2a − b) = −2σ − a = 1a,b − a.
Case 2. bbτ (a) = 0.
In this case, by Theorem 3.1.3(7),


2(η−ϕ)
2
− η σ − 2(η − ϕ) + η π + 1 b − 2(η − ϕ)a = 0.

Hence η = ϕ and π = − η2 . Since π = (1 − η)ϕ − η we get (1 − η)η = η2 , and
η = 21 . This is case (ii). Since bτ (a) = 1a,b − b the last claim of (ii) holds. 

Lemma 3.2.3. Suppose there exists an element 1 ∈ A such that 12 = 1 and
1 · a = a, for all a ∈ A. Then 1 is the identity element of A.
Proof. Since 1 = a + (1 − a) ∈ A1 (a) + A0 (a), by definition, 1τ (a) = 1 for
all a ∈ A. Let G := hτ (a) | a ∈ Ai. Then 1g = 1, for all g ∈ G. Since any
x ∈ [A] has the form ag , for some g ∈ G and a ∈ A, we see that 1 · x = 1,
for all x ∈ [A]. By [HRS2, Corollary 1.2], A is spanned by [A], so 1 is the
identity of A.

Lemma 3.2.4. Assume that η = 12 and that a, b, c ∈ X are distinct. Suppose
there exists an element 1 ∈ A such that 12 = 1 and 1x = x, for all x ∈
{a, b, c}. Suppose further that
xy = αx,y 1 + 12 x + 21 y,
where αx,y ∈ F, for all distinct x, y ∈ {a, b, c}. Then
(1) αx,y = πx,y , for all distinct x, y ∈ {a, b, c};
(2) abτ (c) = 8πa,c πb,c + 2πa,c − πa,b + 2πb,c 1 + 21 a + 12 bτ (c) .

Proof. (1): Let x, y ∈ {a, b, c} with x 6= y. Set N := Nx,y . Suppose first
that dim(N ) = 2. If xy = 0, then xy = − 21 (x + y) + 12 x + 12 y, and by Lemma
3.1.2(1), πx,y = − 21 . Also x+y is the identity element of N . Hence 1 = x+y
and αx,y = πx,y = − 21 . Otherwise, since N contains no identity element,
αx,y = πx,y = 0, by Lemma 3.1.2(2&3).
Suppose dim(N ) = 3. By Theorem 3.1.3(4), xy = σx,y + 12 x + 12 y and
σx,y 6= 0. Hence σx,y = αx,y 1 6= 0. Thus 1 ∈ N so by Lemma 3.2.3,
N contains an identity element 1. But if πx,y = 0, then N contains no
identity element (Theorem 3.1.3(3)). Hence πx,y 6= 0, and then 1x,y = 1.
But σx,y = πx,y 1x,y = πx,y 1. Hence αx,y = πx,y .
(2):

Set

α := πa,b , β := πb,c γ := πa,c and ϕ := ϕb,c
By Lemma 3.1.10 (and since here σb,c = πb,c 1),
bτ (c) = −4β1 − (2 − 4ϕ)c − b.

AXIAL ALGEBRAS OF JORDAN TYPE HALF

13

Hence (recalling that β = πb,c = 12 ϕ − 21 ) we have
abτ (c) = a(−4β1 − (2 − 4ϕ)c − b) = −4βa − (2 − 4ϕ)ac − ab
= −4βa + (4ϕ − 2)(γ1 + 12 a + 21 c) − (α1 + 12 a + 21 b)
= −4βa + (4ϕ − 2)γ1 + (2ϕ − 1)a + (2ϕ − 1)c − α1 − 21 a − 12 b
= ((4ϕ − 2)γ − α)1 + (2ϕ −

3
2

− 4β)a + (2ϕ − 1)c − 12 b

= ((4ϕ − 2)γ − α + 2β)1 + (2ϕ −

3
2

− 4β)a − 2β1 + (2ϕ − 1)c − 12 b

= ((4ϕ − 2)γ − α + 2β)1 + 12 a + 21 bτ (c) .
Since β = 21 ϕ −

1
2

we get that ϕ = 2β + 1.



Lemma 3.2.5. Let a, c be two distince η-axes in A and assume that there
exists an η-axis b ∈ Na,c such that ab = 0. Then either Na,c = 2Ba,c and
b = c, or η = 21 and Na,c contains an identity 1a,c = a + b.
Proof. If b = c, this is clear. So assume b 6= c. Suppose that Na,c is 2dimensional. Then Na,c = Na,b = 2Ba,b , so b = c, a contradiction.
Hence N := Na,c is 3-dimensional. Set B := Na,b = 2Ba,b . Let σ = σa,c 6=
0. If πa,c = 0, then σ ∈
/ B because σ is in the annihilator of N and B has
{0} annihilator. But this implies that N = B ⊕ Fσ is associative, contradicting the fact that η is an eigenvalue of ada (and adc ). (The eigenvalues
of idempotents in an associative algebra are 0 and 1.)
1
σ is the identity element of N . Now if
Thus πa,c 6= 0 and then 1a,c = πa,c
1a,c ∈
/ B, then again we get that N = B⊕F·1a,c is associative a contradiction.
Hence 1a,c ∈ B, so 1a,c = a + b. Also, since a = 1a,c − b is an η-axis in A

and it has eigenvalues 0, 1, 1 − η, we must have η = 21 .
The following properties of dihedral groups are well-known and easy to
check:
Lemma 3.2.6. Let D := ht, si be a dihedral group such that t, s are involutions and such that |ts| = k ≥ 2. Then
(1) if k is odd then t(st)
(2) if k is even then
(a) t(st)
(b)

k−2
2

s

(st)

k−1
2

= s and s(ts)

k−1
2

= t;

= t;

k−2
2

s=


s(ts) k−2
4
,
t

k−4
(st) 4 s

,

if k ≡ 2 (mod 4)
if k ≡ 0 (mod 4).

Lemma 3.2.7. Let a, b be two distinct η-axes in A and assume that |τ (a)τ (b)| =
k < ∞. Set t = τ (a) and s = τ (b) and assume that s 6= t. Let N = Na,b .
Then,

14

J. I. HALL, Y. SEGEV, S. SHPECTOROV

(1) if k is odd then either a = b(ts)

k−1
2

, or η =
k−1
(ts) 2

1
2

and Na,b contains an

identity 1a,b . Further 1a,b − a = b
, τ (1a,b − a) = τ (a) and
τ (1a,b − b) = τ (b).
(2) If k = 2 then either N = 2Ba,b or N = B( 12 , 12 )a,b and τ (1a,b − x) =
τ (x) for x ∈ {a, b}.
(3) If k ≥ 4 is even then η = 12 , N contains an identity 1a,b , and (1a,b −
x) ∈ X for x ∈ {a, b}. Furthermore
(a) If k ≡ 2 mod(4) then either τ (1a,b − x) 6= τ (x), for x ∈ {a, b}
and
a + b(ts)

k−2
2

= 1a,b = b + a(st)

k−2
2

or for x ∈ {a, b} there exists cx ∈ X ∩ N such that N =
B( 12 , 12 )x,cx , τ (x) = τ (1a,b − x) and
a + a(st)

k−2
2

= 1a,b = b + b(ts)

s

k−2
2 t

.

(b) If k ≡ 0 mod(4), then η = 12 and for x ∈ {a, b} there exists
cx ∈ X ∩ N such that N = B( 21 , 12 )x,cx . Also
a + a(st)

k−2
2

= 1a,b = b + b(ts)

s

k−2
2 t

,

τ (1a,b − a) 6= τ (a) and τ (1a,b − b) 6= τ (b).
Proof. (1):

Assume that k is odd. Set g = (st)

k−1
2

. By Lemma 3.2.6

τ (ag ) = τ (b).
By Lemma 3.2.1, either ag = b or ag b = 0. Suppose ag b = 0. Since ag 6= a
(because ab 6= 0), Lemma 3.2.5 implies that η = 12 and Na,b contains an
identity 1a,b = ag + b. Hence 1a,b − b = ag , so τ (1a,b − b) = τ (ag ) = τ (b).
Similarly τ (1a,b − a) = τ (a).
(2):

Assume that k is even. Let
g = (st)

k−2
2

s.

By Lemma 3.2.6, tg = t, so
τ (ag ) = τ (a),
and

(
τ (bh ),
g=
τ (ah ),

where
h=

(
k−2
(ts) 4 ,
(st)

k−4
4

s,

if k ≡ 2 (mod 4)
if k ≡ 0 (mod 4),
if k ≡ 2 (mod 4)
if k ≡ 0 (mod 4).

AXIAL ALGEBRAS OF JORDAN TYPE HALF

15

By Lemma 3.2.1, either ag = a or aag = 0. Assume first that ag = a. If
k = 2, then aτ (b) = a so by Lemma 3.2.1, Na,b = 2Ba,b . So let k ≥ 4. We
have
(
h
aτ (b ) , if k ≡ 2 (mod 4)
a=
h
aτ (a ) , if k ≡ 0 (mod 4).
Since a ∈
/ {ah , bh } in the respective cases (because t ∈
/ {th , sh }), Lemma
3.2.1 and Lemma 3.2.5 imply that
(
a + bh , if k ≡ 2 (mod 4)
1a,b =
a + ah , if k ≡ 0 (mod 4)
If k ≡ 2 mod(4), then bh = 1a,b − a and τ (1a,b − a) 6= τ (a). Similarly
−1
ah = 1a,b − b so τ (1a,b − b) 6= τ (b).
If k ≡ 0 mod(4), then ah = 1a,b − a. Since h = τ (c) for some c ∈ X ∩ Na,b ,
we see that N = B( 12 , 21 )a,c . Further τ (a) 6= τ (1a,b − a). As we will see later
(see Theorem 6.7) this also yields τ (1a,b − b) 6= τ (b)
Assume next that aag = 0. Note that ag 6= b since otherwise ab = 0,
and then as = a and it would follow that ag = a, a contradiction. By
Lemma 3.2.5 we get that Na,b contains an identity 1a,b = a + ag . Then
τ (1a,b − a) = τ (ag ) = τ (a). Since g = τ (bh ) or g = τ (ah ), and since
ag = 1a,b −a, Lemma 3.1.10 implies that N = B( 12 , 12 )a,ca , with ca ∈ {ah , bh }.
The argument above (i.e. the case ag = a) shows that necessarily the roles
of a and b can be interchanged (since bg = b implies that τ (x) 6= τ (1a,b − x),
for x ∈ {a, b}). So Parts (1) and (2) of the Lemma hold in case aag = 0,
and the proof of the lemma is complete.

Lemma 3.2.8. Let B ⊆ X . Then
S
(1) [B] = g∈GB B g ;
(2) for each g ∈ GB there are g1 , g2 , . . . gk ∈ GB (k ≥ 2), with g1 = id
and gk = g, such that B gi ∩ B gi+1 6= ∅, for all i = 1, . . . k − 1, in
particular;
(3) for each x ∈ [B] there are g1 , · · · , gk as in (2), such that x ∈ B gk ;
(4) GB = G[B] and GB = GBη ;
(5) [B η ] = [B]η ;
(6) if a ∈ X 1 , then ax = 0 and aτ (x) = a, for all x ∈ X r {a};
(7) [B] = B 1 ∪ [B η ] a disjoint union and [B]1 = B 1 ;
(8) NB = N[B] .
S
Proof. (1): Set G := GB . Let C := g∈G B g . Clearly C ⊆ [B]. Let now
c ∈ C. Then c ∈ B g for some g ∈ G. Thus τ (c) = τ (bg ) = τ (b)g , for some
b ∈ B. But then τ (c) ∈ G, so C τ (c) ⊂ C. Thus C is closed, so C = [B].
(2): Let g ∈ G and write g = τ (b1 )τ (b2 ) · · · τ (bm ), with bi ∈ B for all i.
We prove (2) by induction on m. If m = 1, then b1 ∈ B ∩ B τ (b1 ) so (2)
holds. Next let h := τ (b1 ) · · · τ (bm−1 ), and let id = h1 , . . . , hk = h with
B hi ∩ B hi+1 6= ∅, for all i = 1, . . . k − 1. Then bm ∈ B ∩ B τ (bm ) and letting

16

J. I. HALL, Y. SEGEV, S. SHPECTOROV

gi+1 = hi τ (bm ), i = 1, . . . k and g1 = id we have gk+1 = g, and clearly (2)
hold for g (and k + 1).
(3):

This is immediate from (1) and (2).

(4): Let x ∈ [B]. By (1), x = bg , for some b ∈ B and some g ∈ GB , so
τ (x) = τ (b)g ∈ GB . Hence G[B] ≤ GB . Also, since (by definition) τ (a) = id,
for a ∈ B 1 , it is clear that GB = GBη .
(5): Since B η ⊆ B, we have [B η ] ⊆ [B]. Let a ∈ [B η ]. By (1), there is b ∈ B η
and g ∈ GBη such that a = bg . Since τ (b) 6= id, also τ (a) = τ (b)g 6= id.
Hence a ∈ [B]η .
Let a ∈ [B]η , by (1) there exists b ∈ B and g ∈ GB = GBη (by (4)) such
that a = bg . Since τ (a) 6= id it follows that τ (b) 6= id so b ∈ B η and we see
that a ∈ [B η ].
(6): By definition τ (a) = id, so xτ (a) = x, for all x ∈ X . Hence (6) follows
from Lemma 3.2.1.
(7): Clearly B 1 ∪ [B η ] ⊆ [B]. Let a ∈ [B]. Using (1) and (4) write a = bg ,
with b ∈ B and g ∈ GBη . If b ∈ B 1 , then by (6), bg = b. Otherwise b ∈ B η
and then bg ∈ [B η ]. By (5) the union is disjoint and [B]1 = B 1 .
(8): Clearly NB ⊆ N[B] . Let b ∈ B. Since NB is a subalgebra of A it is
invariant under the adjoint action adb ; that is adb is a linear transformation
of NB . Since adb is semi-simple on A, it is semi-simple on NB . By the
definition of τ (b) it follows that NB is τ (b)-invariant. As this holds for all
b ∈ B we see that NB is GB -invariant. By (1), since B ⊆ NB also [B] ⊆ NB
so N[B] ⊆ NB .

3.3. Properties related to 3-transpositions.
This subsection is devoted to results related to the question of when an axial
algebra is a 3-transposition algebra with respect to a generating set of η-axes
(see subsection 1.2.2 of the introduction for a definition). These results will
be applied in §7.
Lemma 3.3.1. Let a, b be two distinct η-axes in A and suppose that Na,b
is 2-dimensional. Assume further that |τ (a)τ (b)| ∈ {2, 3}. Then either
τ (b) = bτ (a) . Or |τ (a)τ (b)| = 2 and
Na,b = 3C(−1)×
a,b , |τ (a)τ (b)| = 3, and a
Na,b = 2Ba,b .
Proof. We use Lemma 3.1.2. Set N = Na,b . If N is as in Lemma 3.1.2(1c),
3
2
then by Lemma 3.1.9, a(τ (a)τ (b)) = 5a − 4b and a(τ (a)τ (b)) = 7a − 6b. Hence
|τ (a)τ (b)| =
6 2. If char(F) 6= 3, then it follows that |τ (a)τ (b)| 6= 3, while if
τ (b) = bτ (a) .
char(F) = 3, then N = 3C(−1)×
a,b and then by Lemma 3.1.2, a
τ (b) = bτ (a) . Finally if N
If Na,b = 3C(−1)×
a,b = 2Ba,b ,
a,b , then again a
then, by Lemma 3.2.1, |τ (a)τ (b)| = 2.

Corollary 3.3.2. Let a, b be two distinct η-axes in A, and assume that
aτ (b) = bτ (a) . Then ϕa,b = 21 η and one of the following holds:

AXIAL ALGEBRAS OF JORDAN TYPE HALF

17

(i) Na,b is 2-dimensional and Na,b = 3C(−1)×
a,b .
(ii) Na,b is 3-dimensional and Na,b = 3C(η)a,b .
Proof. Set ϕ := ϕa,b . By Lemma 4.1 and Lemma 4.4 in [HRS2],
ϕb + η2 (a − aτ (b) ) = ϕa + η2 (b − bτ (a) ),
Hence 0 = ϕ(a − b) + η2 (b − a), so since a 6= b, we have ϕ = η2 . Notice
that |τ (a)τ (b)| = 3. If Na,b is 2-dimensional, then (i) follows from Lemma
3.3.1. If Na,b is 3-dimensional, then Na,b = B(η, 12 η)a,b , so, by definition,
Na,b = 3C(η)a,b .

Lemma 3.3.3. Let η = 21 and let a, b ∈ A be two distinct 21 -axes. Set
N := Na,b and assume that N is contained in a 3-dimensional subalgebra M
of A such that M contains an identity element 1. Then the following are
equivalent:
(i) char(F) 6= 3 and N = 3C( 12 )a,b , or char(F) = 3 and N = 3C(−1)×
a,b .
1
1
3
(ii) ab = − 8 · 1 + 2 a + 2 b.
(iii) aτ (b) = bτ (a) .
If these conditions hold then
(1)
(2)
(3)
(4)

ϕa,b = 41 , πa,b = − 83 and σa,b = − 38 1;
|τ (a)τ (b)| = 3;
if char(F) 6= 3, then 1 = 1a,b ;
if c := 1 − b is a 12 -axis in A then Na,c is 3-dimensional and
ac = − 81 1 + 12 a + 21 c.
Also if char(F) 6= 3, then Na,b = Na,c , while if char(F) = 3 then
Na,b $ Na,c and Na,c = B(−1, 0) = B( 21 , 0).

Proof. (i) ⇐⇒ (ii): If (i) holds and char(F) 6= 3, then N = M is
3-dimensional, 1a,b 6= 0, and by Lemma 3.1.4, πa,b = − 83 and of course
1a,b = 1, so (ii) holds. If char(F) = 3, then (ii) holds by the definition of
3C(−1)×
a,b .
Assume that (ii) holds. If char(F) = 3 then clearly (i) holds. Suppose
char(F) 6= 3. Then 1 ∈ Na,b so 1 = 1a,b . Now Theorem 3.1.3(4) shows that
πa,b = − 83 and that πa,b = 21 ϕa,b − 12 . Hence ϕa,b = 41 and N = B( 12 , 14 )a,b =
3C( 21 )a,b , by Remark 3.1.5. Hence (i) holds.
(i) ⇐⇒ (iii): Suppose (i) holds. If char(F) 6= 3, then by Lemma 3.1.4(1d)
(iii) holds. If char(F) = 3 then (iii) holds by Lemma 3.1.8. If (iii) holds then
by Corollary 3.3.2, (i) holds. Note that when char(F) = 3, N cannot be 3dimensional since 3C(−1)a,b does not contain an identity element (Lemma
3.1.4(2)).

18

J. I. HALL, Y. SEGEV, S. SHPECTOROV

Part (1) follows from Lemma 3.1.4 and part (2) is an immediate consequence of (iii). We already saw that (3) holds. To see (4) we have
ac = a(1 − b) = a − ab = a − (− 38 · 1 + 21 a + 21 b) =
=

3
8

3
8

· 1 + 12 a − 21 b

· 1 + 21 a − 21 1 + 12 1 − 12 b = − 81 · 1 + 12 a + 12 c.

This shows that 1 ∈ Na,c . By Lemma 3.1.2 and (iii), Na,c is 3-dimensional
and 1 = 1a,c . Hence if char(F) 6= 3 then Na,c = Na,b . If char(F) = 3 then
πa,c = − 81 = 1 = − 21 and then, by the definition of πa,c , we have ϕa,c = 0.
This shows (4).

Lemma 3.3.4. Let η = 21 and let a, b ∈ A be two distinct 21 -axes. Set
N := Na,b . Assume that dim(N ) = 3 and that N contains an identity
element 1a,b . Then the following are equivalent
(i) 1a,b −x is a 21 -axis in A and either char(F) 6= 3 and N = 3C( 12 )x, (1a,b −y) ,
or char(F) = 3 and Nx, (1a,b −y) = 3C(−1)×
x, (1a,b −y) , for {x, y} =
{a, b}.
(ii) ab = − 18 · 1a,b + 12 a + 12 b;
(iii) aτ (b) + bτ (a) = 1a,b .
If these conditions hold then
(1) ϕa,b = 43 (so ϕa,b = 0 if char(F) = 3), πa,b = − 18 (so πa,b = 1 if
char(F) = 3) and σa,b = − 18 · 1a,b (so σa,b = 1a,b if char(F) = 3);
(2) |τ (1a,b − x)τ (y)| = 3, for {x, y} = {a, b};
(3) |τ (a)τ (b)| ∈ {3, 6};
(4) |τ (a)τ (b)| = 3 if and only if τ (x) = τ (1a,b − x) for x ∈ {a, b};
(5) if |τ (a)τ (b)| = 6 then τ (1a,b − x)τ (x) is an involution in the center
of hτ (a), τ (b)i, for x ∈ {a, b}.
Proof. Set π = πa,b , ϕ = ϕa,b and σ = σa,b .
(i) =⇒ (ii): Assume that (i) holds. By Lemma 3.3.3, and by the definition
of 3C(−1)×
a,b (when char(F) = 3),
a − ab = a(1a,b − b) = − 38 · 1a,b + 21 a + 12 (1a,b − b)
=

1
8

· 1a,b + 21 a − 12 b,

so (ii) holds. Also, by (i) and Lemma 3.3.3(iii) (respectively Lemma 3.1.8),
part (2) holds.
(ii) =⇒ (iii):

By Lemma 3.1.10,
xτ (y) = −4σ + y − x

for {x, y} = {a, b}.

Adding we see that aτ (b) + bτ (a) = −8σ = 1a,b .
(iii) =⇒ (ii):

We know that N = B( 21 , ϕ), so by Lemma 3.1.10,
xτ (y) = −4σ − (2 − 4ϕ)y − x

for {x, y} = {a, b}.

AXIAL ALGEBRAS OF JORDAN TYPE HALF

19

Adding we get aτ (b) +bτ (a) = −8σ −(3−4ϕ)a−(3−4ϕ)b. But this expression
equals 1a,b . Hence ϕ = 43 and π = − 81 . Now Theorem 3.1.3(4) yields (ii).
(ii) =⇒ (i): Assume that (ii) holds. By (ii) =⇒ (iii) we already know
that 1a,b − x is a 12 -axis, for x ∈ {a, b}. By Theorem 3.1.3, π = − 81 and
π = 21 ϕ − 21 , so ϕ = 34 . Now
a(1a,b − b) = a − ab = a − (− 18 · 1a,b + 21 a + 12 b) =
1
8

· 1a,b + 21 a − 12 b =

1
8

· 1a,b + 21 a − 12 1a,b + 21 1a,b − 12 b

= − 83 · 1a,b + 12 a + 12 (1a,b − b).
Hence if char(F) 6= 3, this show that 1a,b is in the subalgebra of N generated
by a and 1a,b − b and hence a and 1a,b − b generate N . Now Lemma 3.3.3
shows that that N = 3C( 21 )a,(1a,b −b) . If char(F) = 3 then Na,(1a,b −a) =
3C(−1)×
a,(1a,b −b) . By symmetry the same holds for b.
We already saw that (1) and (2) hold. Since 1a,b − b = aτ (b)τ (a) we have
τ (a)τ (1a,b − b) = (τ (b)τ (a))2 . Hence, by (2), |τ (a)τ (b)| ∈ {3, 6}. Also
τ (1a,b − b)τ (b) = (τ (a)τ (b))3 so (3), (4) and (5) hold for b, and by symmetry
they also holds for a.


4. 3-transposition groups of ADE-type
The purpose of this section is to characterize central quotients of finite
simply-laced Weyl/Coxeter groups of type A, D, and E (see Proposition 4.4
for a precise description of these groups). Thus we define 3-transpositions
groups of ADE-type (see Definition 4.2), and Theorem 4.3 is the main theorem of this section. In §7 we will see how these groups are related to
primitive axial algebras of Jordan type half.
We start with a short discussion. In the 3-transposition group G, the
normal set of generating 3-transpositions D is said to be of symplectic type
if for every d, e, f ∈ D with he, f i isomorphic to S3 , the transposition d
commutes with at least one of {e, f, ef e = f ef } = D ∩ he, f i. Equivalently
(see [CH, H1, HSo]) G has no subgroup H = hD ∩ Hi with |D ∩ H| = 9;
that is, |H| =
6 18, 54.
The name comes from the fact that (see Theorem 4.7 below) every group
of symplectic type arises from a subgroup of a symplectic group over F2 that
is generated by transvections (a generating 3-transposition class in the full
symplectic group).
Let us recall the notion of the diagram: Given a subset Y ⊆ D, the
diagram of Y is the graph whose vertex set is Y and a, b ∈ Y form an edge
if and only if |ab| = 3.
It is well-known and easy to see [CH, H2] that the finite simply-laced
Weyl/Coxeter groups of type A, D, and E are 3-transposition groups with
the Weyl generators contained in a 3-transposition class of symplectic type.
These facts were of great help in the classification [CH] of 3-transposition

20

J. I. HALL, Y. SEGEV, S. SHPECTOROV

groups with trivial center. For instance, the diagram A3 (= D3 ) is complete
bipartite K1,2 , and the isomorphism W(A3 ) ∼
= S4 leads directly to a result
that is often used without reference:
Lemma 4.1. Let G be a group generated by the conjugacy class D of 3transpositions. Then D ∩ dZ(G) = {d} for each d ∈ D and Z(G) = Z2 (G).
Proof. This is due to Fischer and can be found as [CH, Lemma (3.16)] and
[H1, (4.3)] (where the assumption of symplectic type is not used).
If G = hDi ∼
= S2 , then this is certainly true. Otherwise there is an e ∈ D
with hd, ei ∼
= S3 . Were there to be an f ∈ dZ(G) with d 6= f , then {d, e, f }
would have diagram A3 and so generate a subgroup H ∼
= S4 . But then
1 6= df ∈ Z(G) while Z(H) = 1. The contradiction shows that no such f
exists.
The subgroup Z(G) is clearly the kernel of the action of G = hDi on D
by conjugation. But the previous paragraph implies that Z2 (G) is also in
this kernel. Thus Z(G) = Z2 (G).

Let us now define groups of ADE-type.
Definition 4.2. In the 3-transposition group G, the normal set of generating
3-transpositions D is said to be of ADE-type provided it is of symplectic
type and there is no subgroup H = hD ∩ Hi isomorphic to a central quotient
of W2 (D̃4 ). The group G is then called a group of ADE-type.
Recall that D̃4 is the complete bipartite graph K1,4 , and see Proposition
4.5(4) for W2 (D̃4 ).
In this section we will prove:
Theorem 4.3. Let G be a finite 3-transposition group generated by the
conjugacy class D of 3-transpositions having ADE-type. Then there is an
n ∈ Z+ with G a central quotient of W(An ) for n ≥ 2, W(Dn ) for n ≥ 4,
or W(En ) for n ∈ {6, 7, 8}. All of these groups are of ADE-type.
Given the appropriate definitions, Theorem 4.3 remains true for infinite
3-transposition groups of ADE-type. In this paper we are only concerned
with the finite case.
Proposition 4.4. Let X be a subset of D, a normal set of 3-transpositions
in the group G. Set H = hXi.
(1) If X has diagram (isomorphic to) An then H is isomorphic to the
Weyl/Coxeter group W(An ) ∼
= Sn+1 .
(2) If X has diagram Dn then H is isomorphic to a central quotient
of W(Dn ). That is, either H ∼
= W(Dn ) ∼
= 2n−1 : Sn or H ∼
=
2k−2
∼
W(D2k )/Z(W(D2k )) = 2
: S2k .
(3) If X has diagram E6 then H is isomorphic to W(E6 ) ∼
= O6− (2).
(4) If X has diagram E7 then H is isomorphic to a central quotient
of W(E7 ). That is, either H ∼
= W(E7 ) ∼
= 2 × Sp6 (2) or H ∼
=
∼
W(E7 )/Z(W(E7 )) = Sp6 (2).

AXIAL ALGEBRAS OF JORDAN TYPE HALF

(5) If
of
H

21

X has diagram E8 then H is isomorphic to a central quotient
W(E8 ). That is, either H ∼
= W(E8 ) ∼
= 2 · O8+ (2) or the group
∼
= W(E8 )/Z(W(E8 )) ∼
= O8+ (2).

Proof. In each case, H must be a quotient of the related Weyl/Coxeter
group. As the elements of X are distinct, the only possible kernels for this
quotient are central.

As is noted in [CH], in each of these 3-transposition groups the 3-transposition class is uniquely determined except for W(A5 ) ∼
= S6 , W(D2k ), and
W(E8 ) where there are two classes of 3-transpositions, exchanged by an
outer automorphism (a central automorphism except in the case of S6 ).
The simply-laced affine Weyl group W(X̃) for X ∈ {An , Dn , En } is the
split extension of the corresponding rank n root lattice ΛX by the finite
Weyl group W(X) [B81, p. 173]. These are not 3-transposition groups but
become such if we factor by 2ΛX or 3ΛX ; see again [CH]. Indeed the factor
group W2 (X̃) = W(X̃)/2ΛX is a finite 3-transposition group of symplectic
type. For instance, S4 is W(A3 ) = W(D3 ) but it is also W2 (Ã2 ) = 22 : S3 .
(The diagram Ã2 is a triangle.) Here the normal elementary abelian 22
is the mod 2 root lattice V4 = ΛA2 /2ΛA2 of type A2 , naturally admitting
W(A2 ) ∼
= S3 .
As already mentioned, the diagram A3 = D3 is complete bipartite K1,2 .
Additionally D4 is K1,3 and D̃4 is K1,4 .
L
Proposition
4.5. Let H = ( m
i=1 V (i)) : S3 be the split extension by S3 of
Lm
V = i=1 V (i), a direct sum of copies V (i) of the S3 -module V4 .
(1) H is a 3-transposition group, generated by the class E = dH = eH
for hd, ei ∼
= S3 , a complement to V . The diagram of E is a complete
tripartite graph K2m ,2m ,2m with parts dV , eV , and (ede)V . The group
H is generated by d together with a basis of the elementary abelian
subgroup heV i, this generating set having diagram K1,m .
(2) For m = 1, the group H is isomorphic to W(A3 ) = W(D3 ) ∼
=
W2 (Ã2 ) and is isomorphic to S4 .
(3) For m = 2, the group H is isomorphic to the quotient of W(D4 ) ∼
=
1+(2⊕2)
2
: S3 by its center of order 2.
(4) For m = 3, the group H is isomorphic to the quotient of
W2 (D̃4 ) ∼
= 24 : W(D4 )
∼
= 24 : (21+(2⊕2) : S3 ) = (23 · (22 ⊕ 22 ⊕ 22 )) : S3
by its elementary center of order 23 .
Proof. The first part is a direct computation. The rest then come from
expanding {d, e} to a generating set X from E of size 2 + m and having the
appropriate diagram. The group W2 (D̃4 ) is the group F (5, 24) of [HSo]. 

22

J. I. HALL, Y. SEGEV, S. SHPECTOROV

Proposition 4.6. Let X be a subset of D, a normal set of 3-transpositions
of symplectic type in the group G. If X has diagram D̃4 and H = hXi is
not a central quotient of W(D4 ), then H is a central quotient of W2 (D̃4 ).
Proof. The group H must be a quotient of the affine Weyl/Coxeter group
W(D̃4 ) ∼
= Z4 : W(D4 ). As it is a 3-transposition group of symplectic type, it
is in fact a quotient of W2 (D̃4 ). Since it is not a central quotient of W(D4 ),
the only possible kernels are central.

Theorem 4.7. Let G be a finite group generated by a conjugacy class D of
3-transpositions of symplectic type.
(1) There is a normal subgroup N of G such that Ḡ = G/N is isomorphic
ǫ (2), or Sp
to one of the groups Sn , O2m
2m (2) for 4 6= n ≥ 2 and
m ≥ 3 with (m, ǫ) 6= (3, +). This isomorphism can be chosen to map
D to the collection of symplectic transvections in Ḡ. For x, y ∈ D,
x̄ = ȳ if and only if CD (x) = CD (y).
(2) The normal subgroup [G, N ] is a 2-group, generated by its normal
elementary abelian 2-subgroups [x, N ] = h xy | y ∈ D , x̄ = ȳ i for
x ∈ D.
Proof. The first part of this theorem is the finite part of [H1, Theorem 5].
The second part of the theorem then follows directly from the last sentence
of the first part.

The restrictions on m in the theorem arise from isomorphisms of the
smaller groups with certain symmetric groups.
The papers [H1, H2] provide a full classification (up to a central quotient)
of all 3-transposition groups of symplectic type, and the paper [CH] describes
the near-complete classification of all 3-transposition groups with trivial
center. In our proof of Theorem 4.3 we only need the elementary [H1], as
detailed in Theorem 4.7; in particular the cohomological arguments of [H2]
are not necessary.
Proposition 4.8. Let G be a finite group generated by a conjugacy class
D of 3-transpositions of symplectic type. Assume additionally there is no
subgroup H = hD ∩ Hi isomorphic to a central quotient of W(D4 ). Then
there is an n ∈ Z+ with G isomorphic to W(An ) ∼
= Sn+1 for n ≥ 1.
Proof. This is nearly equivalent to the finite version of [H1, (2.17)], which
is a step in the proof of [H1, Theorem 5] (the finite version of which is the
first part of Theorem 4.7). Here we prove it as a consequence of Theorem
4.7.
Let G, D, N , and Ḡ = G/N be as in the previous theorem.
As D is a conjugacy class, if Ḡ ∼
= S2 then G = Ḡ ∼
= S2 ∼
= W(A1 ), and we
are done. So we may assume that there are a, b in D with ha, bi ∼
= S3 .
= hā, b̄i ∼
First suppose that there is a c ∈ D for which {a, b, c} has diagram A3
(with |ac| = 2 and |bc| = 3) and additionally that hā, b̄, c̄i is isomorphic to
ha, b, ci and hence to W(A3 ) ∼
= S4 .

AXIAL ALGEBRAS OF JORDAN TYPE HALF

23

As G is generated by D = aG , if [G, N ] 6= 1 then there is an x ∈ N
¯ so that
with [a, x] 6= 1. In that case a 6= d = x−1 ax ∈ D with ā = d,
{a, b, c, d} has diagram D4 and generates a central quotient of W(D4 ). This
contradicts the hypothesis, so [G, N ] = 1 and G is a central extension of one
of the groups of Theorem 4.7.
ǫ (2) and Sp
The groups O2m
2m (2), for m ≥ 3 with (m, ǫ) 6= (3, +) all
−
∼
contain W(E6 ) = O6 (2) as a transvection generated subgroup. As E6 has
D4 as a subdiagram, these have subgroups H = hD ∩ Hi that are isomorphic
to a central quotient of W(D4 ) by Proposition 4.4. (Indeed this subgroup is
actually W(D4 ).) Thus the only possibilities for the quotient Ḡ = G/Z(G)
are Sn for n ≥ 3. Such a group G will be generated by a subset of D with
diagram An−1 (by Lemma 4.1), and so by Proposition 4.4 we have G ∼
= Sn .
The only groups Ḡ of the theorem that contain no S4 are S2 and S3 . We
have already dealt with the first case, so we may assume now that Ḡ = G/N
is S3 = hā, b̄i for a, b ∈ D.
If [G, N ] = 1, then G = Ḡ ∼
= W(A2 ) ∼
= S3 by Proposition 4.4. If |[G, N ]| =
2, then as above there is a d(6= a) with ā = d¯ and G = ha, b, di ∼
= W(A3 ) ∼
=
S4 . Finally, if |[G, N ]| > 2 then there are distinct d, e(6= a) with ā = d¯ = ē
and ha, b, d, ei a central quotient of W(D4 ), against hypothesis.

Lemma 4.9.
(1) The 3-transpositions of O8− (2) are not of ADE-type.
(2) The 3-transpositions of O8+ (2) are of ADE-type.
Proof. (1) O8− (2) contains a parabolic subgroup 26 : O6− (2). As O6− (2) ∼
=
W(E6 ) contains a (central quotient of) W(D4 ) (as mentioned before), the
noncentral extension 26 : O6− (2) contains a central quotient of W2 (D̃4 ) by
Proposition 4.6.
(2) O8+ (2) is of ADE-type if and only if W(E8 ) is (by Lemma 4.1). Suppose W(E8 ) is not. Then it has a subset S of five reflections with diagram
D̃4 that generate H, a central quotient of W2 (D̃4 ). In the action of W(E8 )
on V = Q8 we have W = [V, H] = [V, S] of dimension at most 5 and positive
definite, as V is. But by Proposition 4.6 the reflection group H contains
eight pairwise commuting reflections. These cannot act on the positive definite space W of dimension less than 8, a contradiction.
We conclude that W(E8 ) and O8+ (2) are both of ADE-type.

We are now in a position to prove Theorem 4.3.
Proof of Theorem 4.3. Let G, N , and Ḡ = G/N be as in Theorem 4.7, and
assume that the conjugacy class D of 3-transpositions is of ADE-type.
As D is a conjugacy class, if Ḡ ∼
= S2 , then G = Ḡ ∼
= S2 ∼
= W(A1 );
and we are done. So we may assume that in G there are a, b ∈ D̄ with
hā, b̄i ∼
= ha, bi ∼
= S3 .
First suppose the normal 2-group [G, N ] is nontrivial. If Ḡ had a subgroup
H̄ = hH̄ ∩ D̄i that was a central quotient W(D4 ), then as [N, H] 6= 1 there
would be a new, fifth generator that together with four lifted from H̄ would

24

J. I. HALL, Y. SEGEV, S. SHPECTOROV

provide a D̃4 diagram and a central quotient of W2 (D̃4 ) by Proposition
4.6. But this is not the case. Therefore by Proposition 4.8 the group Ḡ
is Sn for some n ≥ 3. For a ∈ D, if |[a, N ]| > 2, then within aN there
are enough elements of D to produce together with b a diagram D̃4 as in
Proposition 4.6. But then G must contain a subgroup H = hH ∩ Di that
is a central quotient of W2 (D̃4 ), against hypothesis. Therefore |[a, N ]| = 2.
Let {a, d} = aN = D ∩ aN . A generating set for Ḡ containing ā and having
diagram An−1 can then be lifted to an (n − 1)-subset A of G with the same
diagram and H = hAi ∼
= Sn . The set {d, A} then has diagram Dn and
generates G = hDi since D = aH ∪ dH . Therefore G is a central quotient of
W(Dn ) by Proposition 4.4.
Now we may assume [G, N ] = 1 so that G is an extension of central N
by Ḡ, which is one of the groups of Theorem 4.7. If Ḡ is Sn for some n ≥ 3,
then G = hDi = Ḡ ∼
= Sn ∼
= W(An−1 ) by Lemma 4.1 and Proposition 4.4.
ǫ
If Ḡ is O2m (2), or Sp2m (2) with m ≥ 4 and (m, ǫ) 6= (4, +), then Ḡ
has a D̄-subgroup O8− (2). By Lemma 4.9 the groups Ḡ and G are not of
ADE-type, against hypothesis. We are left with three possible examples:
Ḡ ∈ {O6− (2), Sp6 (2), O8+ (2)} .
Thus by Proposition 4.4, the group G is a central quotient of W(En ) for
n ∈ {6, 7, 8}. Each of these is a genuine example by Lemma 4.9, the groups
W(E6 ) and W(E7 ) being subgroups of W(E8 ) generated by reflections. 
We conclude this section with a lemma that will enable us to apply Theorem 4.3 in our primitive axial algebras setup.
Lemma 4.10. Let G be a group generated by the normal set D of 3-transpositions of symplectic type.
(1) A subgroup H = hH ∩ Di is generated by a subset Y ⊆ D with
diagram the complete bipartite graph K3,2 if and only if H is a central
quotient of W(D4 ) or W2 (D̃4 ).
(2) For the subgroup H = hY i of the previous part, the following are
equivalent:
(a) some 4-subset of Y generates a subgroup isomorphic to S4 ;
(b) H is generated by a 4-subset of Y with diagram D4 ;
(c) H is a central quotient of W(D4 ).
Proof. Let H = hH∩Di be a central quotient of W(D4 ) or W2 (D̃4 ). We show
that H is generated by a subset Y ⊂ D with diagram K3,2 . By Proposition
4.5(1) we can choose {a, b, c, d} ⊂ H ∩ D having diagram D4 = K3,1 , with
parts {a, b, c} and {d}. Further, K = ha, b, c, di is a central quotient of
W(D4 ) and |dO2 (K) | = 4. In the case H = K, choose any e ∈ dO2 (H) =
dO2 (K) with e 6= d. Then H = ha, b, c, di = ha, b, c, d, ei and {a, b, c, d, e} has
diagram K3,2 with parts {a, b, c} and {d, e}, by Proposition 4.5(1).
Suppose next that H is a central quotient of W2 (D̃4 ). Then |dO2 (H) | = 8.
Choose e ∈ dO2 (H) \dO2 (K) . Then Y = {a, b, c, d, e} has diagram K3,2 . Here

AXIAL ALGEBRAS OF JORDAN TYPE HALF

25

{d, a, e} and {a, e, ade } both have diagram A3 with hd, a, ei = ha, e, ade =
dae i, a copy of S4 . Thus W = {a, b, c, ade , e} has diagram K4,1 = D̃4 and
hY i = hW i. By Proposition 4.6, the full group H is hY i = hW i as e ∈
/
KZ(H). This gives one direction of (1).
For the remainder of the proof of (1) and the proof of (2), let the subset
Y of D have diagram K3,2 and generate H. Specifically, let Y = X ∪ Z with
X = {a, b, c} and Z = {d, e} such that |xz| = 3 for all x ∈ X and z ∈ Z and
(wy)2 = 1 for w, y ∈ X or w, y ∈ Z. Let
K = ha, b, c, di.
By Proposition 4.4(2), K is a central quotient of W(D4 ).
(1) If e ∈ K, then K = H is a central quotient of W(D4 ), as claimed. So
we may assume e ∈
/ K. As such, the result follows directly by checking the
list of [HSo, Theorem 6.6]; but we provide a direct proof here.
By Proposition 4.5 the set D ∩ K consists of 12 transpositions with diagram the complete tripartite graph K4,4,4 , and every S3 subgroup S =
hD ∩ Si ≤ K meets each of the parts exactly once. As H is symplectic,
CK (e) must meet each such S in at least one element of D ∩ S. The only
proper subgroups J = hJ ∩ Di of K with this property are those isomorphic
to S4 and the three elementary abelian 2-groups generated by one of the
parts. Again by Proposition 4.5 any J (≤ K) isomorphic to S4 would contain three pairs of commuting 3-transpositions, and so at least two members
of {a, b, c, x}, the part of D ∩ K containing {a, b, c}. But then J = CK (e)
would contain at least one of {a, b, c}, which is not the case by hypothesis.
Therefore D ∩ CK (e) = {d, f, g, h}, the part of D ∩ K that contains d.
Here {a, d, f, g} has diagram D4 and so ha, d, f, gi = K and H = hK, ei =
ha, d, f, g, ei with {a, d, f, g, e} having diagram D̃4 = K4,1 . As K is a central
quotient of W(D4 ) and e ∈
/ K, the group H is a central quotient of W2 (D̃4 )
by Proposition 4.6.
(2) (a) =⇒ (b): A 4-subset of Y not containing both d and e generates an
abelian group or a central quotient of W(D4 ) by Proposition 4.4. Suppose
instead that ha, b, d, ei is a copy of S4 . Then ha, b, d, ei = ha, b, di, so H =
ha, b, c, di = K.
(b) =⇒ (c): This follows from Proposition 4.4(2).
(c) =⇒ (a): Let E = aO2 (H) = {a, b, c, x}. For each y ∈ E the set
{y, d, e} has diagram A3 = D3 = K1,2 . Therefore {d, e} is in exactly two
subgroups K1 and K2 of H isomorphic to S4 (∼
= W(A3 )). For these we have
|Ki ∩ E| = 2 and |K1 ∩ K2 ∩ E| = 0. Therefore there is an i ∈ {1, 2} with
|Ki ∩{a, b, c}| = 2, hence |Ki ∩{a, b, c, d, e}| = 4 and Ki = hKi ∩{a, b, c, d, e}i
is a copy of S4 .


26

J. I. HALL, Y. SEGEV, S. SHPECTOROV

5. Jordan algebras of Clifford type
In this section we discuss a class of Jordan algebras that appear as subalgebras of the Jordan algebra Cl(V, q)+ , which comes from the Clifford
algebra Cl(V, q) of the quadratic space (V, q). These appear in [HRS2, Example (3.5)] where they are denoted V J (b) (for b equal to half the form B
defined below). In [Mc, 3.6, p. 74] these algebras are called Jordan spin
factors and are denoted J Spin(V, B).
We also prove a result connecting primitive axial algebras of Jordan type
1
2 and these Jordan algebras of Clifford type (see Theorem 5.4). This result
will be used in §6.
As is well known, if M is an associative algebra over of field F of characteristic not two then the same M taken with the product x ∗ y = 21 (xy + yx)
is a Jordan algebra. This Jordan algebra is denoted M + .
Let V be a vector space over F endowed with a quadratic form q. Let
B(u, v) = 21 (q(u + v) − q(u) − q(v)) be the associated symmetric bilinear
form (and so q(u) = B(u, u)).
Consider the Clifford algebra Cl(V, q). This is an associative unital algebra (having the identity 1) which is generated by V and satisfies the relations
u2 = q(u)1, u ∈ V . Equivalently we have relations uv + vu = 2B(u, v)1, for
all u, v ∈ V . Thus Cl(V, q) with the product x ∗ y = 12 (xy + yx) = B(u, v)1
is a Jordan algebra.
It is easy to see that 1 ∗ 1 = 1 and 1 ∗ u = u for u ∈ V . Therefore, the
subspace F1 ⊕ V of Cl(V, q) is a subalgebra of the Jordan algebra Cl(V, q)+ ,
hence itself a Jordan algebra. We say that this Jordan algebra is of Clifford
type and denote it by J(V, B).
Here are some relevant properties of J(V, B). (Many of these can be
found in [HRS2], sometimes with different notation.) Recall the notion of a
Miyamoto involution from Notation 2.1, and the Notation in 2.2(2).
Lemma 5.1. Let J = J(V, B).
(1) For u ∈ V and α ∈ F, the vector a := α1 + u is an idempotent if
and only if (i) a ∈ {0, 1} or (ii) α = 12 and q(u) = 41 .
(2) Assume that a = 21 1 + u is an idempotent in J. Then J1 (a) = Fa
(and so a is a 21 -axis), J0 (a) = F( 21 1 − u), and J 1 (a) = u⊥ = {v ∈
2
V | B(u, v) = 0}.
(3) For a as in (2), J decomposes into a directs sum J+ ⊕ J− , where
J+ = J1 (a)⊕J0 (a) and J− = J 1 (a), with Jδ Jǫ = Jδǫ . The Miyamoto
2
involution τ (a) fixes 1 and acts on V as minus the reflection through
u⊥ (that is v τ (a) = −v, for v ∈ u⊥ and uτ (a) = u). (We recall that
Jordan theorists call τ (a) the Peirce reflection of a.)
Proof. We have that (α1 + u) ∗ (α1 + u) = α2 1 + α1 ∗ u + u ∗ α1 + u ∗ u =
(α2 + q(u))1 + 2αu. Hence α1 + u is an idempotent if and only if 2αu = u,
and α2 + q(u) = α. This shows (1).

AXIAL ALGEBRAS OF JORDAN TYPE HALF

27

Now a ∈ J1 (a) because a2 = a, and then 1 − a = 21 1 − u ∈ J0 (a). Next,
a ∗ v = ( 12 1 + u) ∗ v = 12 v + B(u, v) = 12 v, for v ∈ u⊥ , so u⊥ ⊆ J 1 (a). Since
2

a, 1 − a, and u⊥ together span all of J, (2) holds. Part (3) is immediate
from (2).

Remark 5.2. Let J(V, B) = F1 ⊕ V be a Jordan algebra of Clifford type.
Since v ∗ w = B(v, w)1 for all v, w ∈ V, Lemma 5.1 implies that
J(V, B) is a primitive axial algebra of type 21 if and only if
V is linearly spanned by vectors u ∈ V with q(u) = 14 .
In this case it will be appropriate to refer to J(V, B) as an axial algebra of
Clifford type. Then the 12 -axes of J have the form 12 1 + u, with q(u) = 41 .
Furthermore 12 1 − u is also an absolutely primitive idempotent, as q(−u) =
1
1
4 . Finally Lemma 5.1 implies that τ (a) = τ (b), where a = 2 1 + u and
b = 1 − a = 21 1 − u are distinct axes.
Next we prove a result that enables us to identify a primitive axial algebra
of Jordan type 21 as a Jordan algebra of Clifford type. Throughout the rest
of this section A is a primitive axial algebra of type 12 generated by a set of
1
2 -axes A.
Lemma 5.3. Assume that A contains an identity element 1. For a ∈ A set
va := a − 12 1. Suppose further that
(∗)

va vb ∈ F1

for all a, b ∈ A.

Then A = J(V, B) for some vector space V and a symmetric bilinear form
B on V .
Proof. If A = F1 then the claim holds with V = 0. Let us assume that
A 6= F1. In particular, 1 is not an axis.
We set V to be the F-linear span of va for all 21 -axes a ∈ A. It follows
from (∗) that uv ∈ F1 for all u, v ∈ V .
Note that V + F1 is closed for multiplication and contains A. Hence
A = V + F1. Let a ∈ A. Note that if 1 ∈ V then a − 12 1 = (a − 21 1)1 =
va 1 ∈ F1. This yields that a ∈ F1, and so a = 1, a contradiction. Therefore,
A = V ⊕ F1.
Let us define the bilinear form B on V by uv = B(u, v)1. Clearly, B
is symmetric since A is commutative. Also B is bilinear, since the algebra
product is bilinear. Hence, by definition, A = J(V, B).

Theorem 5.4. Assume that A contains two 12 -axes a, b ∈ A such that a+b =
1 is the identity element of A and such that va vc ∈ F1, for all c ∈ A, where
vc = c − 12 1. Then A = J(V, B) for some vector space V and a symmetric
bilinear form B on V .
Proof. We show that (∗) of Lemma 5.3 holds. Let c, d ∈ A. Note that
vb = b − 21 1 = (1 − a) − 12 1 = 21 1 − a = −va .

28

J. I. HALL, Y. SEGEV, S. SHPECTOROV

Hence also vb vc ∈ F1, for all c ∈ A. Also (recall the notation σc,d from
Notation 2.3(2)),
(5.1)

vc vd = (c − 12 1)(d − 12 1) = cd − 12 c − 12 d + 41 1 = σc,d + 14 1.

Set σ = σc,d . We show that
(5.2)

vc vd ∈ F1.

If c = a or b then equation (5.2) holds by hypothesis. So assume now that
{c, d} is disjoint from {a, b}. Notice that
va va = (a − 12 1)(a − 21 1) = a2 − 12 a − 12 a + 14 1 = 41 1.
Let λ be defined by va vc = λ1. Then vc − 4λva is a 21 -eigenvector for ada .
Indeed, (a− 21 1)(vc −4λva ) = va (vc −4λva ) = va vc −4λva va = λ1−4λ 14 1 = 0.
Similarly, vd − 4δva is also a 12 -eigenvector for ada , where δ is defined by
va vd = δ1.
In view of the fusion rules in A, (vc −4λva )(vd −4δva ) lies in A1 (a)+A0 (a).
On the other hand,
(vc − 4λva )(vd − 4δva ) = vc vd − 4δvc va − 4λva vd + 16λδva va
= vc vd − 4δλ1 − 4λδ1 + 4λδ1 = vc vd − 4λδ1.
Since 1 ∈ A1 (a) + A0 (a), we conclude that vc vd ∈ A1 (a) + A0 (a). Now since
a and b are absolutely primitive, A1 (a) = Fa. Also Fb = A1 (b) = A0 (a),
since b = 1 − a. It follows that vc vd ∈ Fa ⊕ Fb. Recall that vc vd = σ + 14 1.
Hence σ is contained in Fa ⊕ Fb.
We now note that ab = 0, which means that Fa ⊕ Fb is isomorphic to the
associative algebra F ⊕ F. This algebra does not have nilpotent elements.
Since σ 2 = πσ, where π = πc,d , either σ = 0 or π 6= 0 and π1 σ is an
idempotent, namely π1 σ is one of a, b, or 1 = a + b. Let us look at these
possibilities in turn. If σ = 0 then vc vd = 14 1, a multiple of 1. If π1 σ = a
then a is the identity in the subalgebra generated by c and d. However, this
means that a is not absolutely primitive, a contradiction. Symmetrically,
we also rule out the possibility that π1 σ = b. Finally, if π1 σ = 1 then
vc vd = σ + 14 1 = (π + 14 )1, again a multiple of 1. Hence equation (5.2) holds
and the proof is complete.


6. The graph ∆ and some consequences
The purpose of this section is to discuss the graph ∆ given in Notation
6.1(1) below. Our main result in this section is Theorem 6.7. Throughout
this section A is a generating set of η-axes of the axial algebra A.
Notation 6.1.
(1) We define the graph ∆ as follows. The vertex set
of this graph is the set X of all the η-axes in A. Two distinct axes
x, y ∈ X form an edge if and only if xy 6= 0.

AXIAL ALGEBRAS OF JORDAN TYPE HALF

29

(2) For a subset B ⊆ X we denote by ∆B the full subgraph of ∆ on the
vertex set B.
(3) Recall the notation B 1 and B η from Notation 2.2(4).
(4) For a subset B ⊆ X we denote by B u (u for unique) the set {x ∈
B η | τ (x) 6= τ (y) for all x 6= y ∈ B}.
(5) B nu (nu for not unique) is the set B η r B u .
Remark 6.2. By Lemma 3.2.8(6), if a ∈ X 1 , then {a} is a connected
component of ∆ and hence {a} is a connected component of ∆B for all
a ∈ B ⊆ X . Hence from now on we may assume that
A = Aη .
Lemma 6.3. Let A1 and A2 be two distinct connected components of ∆A ,
and let {Ai | i ∈ I} be the set of connected components of ∆A . Then
(1) [GA1 , GA2 ] = 1;
(2) bg2 = b, for all b ∈ [A1 ] and g2 ∈ GA2 ;
(3) b1 b2 = 0, for all b1 ∈ [A1 ] and b2 ∈ [A2 ];
(4) the graph ∆[A1 ] is connected;
Ṡ
(5) [A] = i∈I [Ai ] is a disjoint union;
(6) there is a bijection Ai 7→ [Ai ] between the connected components
{Ai | i ∈ I} of ∆A and the connected components {[Ai ] | i ∈ I} of
∆[A] .
Proof. (1): By definition a1 a2 = 0, for all a1 ∈ A1 and a2 ∈ A2 . By Lemma
3.2.1 we see that τ (a1 ) commutes with τ (a2 ). Since GAi = hτ (ai ) | ai ∈ Ai i,
i = 1, 2, part (1) follows.
(2): Assume first that b ∈ A1 . Then bτ (a2 ) = b, for all a2 ∈ A2 , because
ba2 = 0. It follows that bg2 = b. Next write b = ag11 with a1 ∈ A1 and
g1 ∈ GA1 (see Lemma 3.2.8(1)). Then using (1) we get bg2 = ag11 g2 =
ag12 g1 = ag11 = b.
(3): Write bi = agi i , with ai ∈ Ai and gi ∈ GAi , i = 1, 2. Then, by (1) and
(2), b1 b2 = a1g1 g2 ag21 g2 = (a1 a2 )g1 g2 = 0.
(4):

This follows from Lemma 3.2.8(3).
S
(5): We first show that [A] = i∈I [Ai ]. Clearly it suffices to show that [A]
is contained in the union. Let b ∈ [A], then, by Lemma 3.2.8(1), there exists
a ∈ A and g ∈ GA such that b = ag . Let i ∈ I so that a ∈ Ai . Using (1)
and (2) it follows that ag = agi for some gi ∈ Gi . Hence b ∈ [Ai ]. Since by
(4), ∆[Ai ] is connected, for each i ∈ I, the fact that the union is disjoint is
immediate from (3).
(6):

This follows from (4) and (5).



Lemma 6.4. Let {Ai | i ∈ I} be the set of connected components of ∆A .
For each i ∈ I, let Ai = NAi (see Notation 2.3) and let Xi be the set of all
η-axes in Ai . Then

30

J. I. HALL, Y. SEGEV, S. SHPECTOROV

(1) Ai Aj = {0} for all i 6= j, so A is the sum of its ideals {Ai | i ∈ I};
(2) the connected components of ∆ are {Xi | i ∈ I}.
Proof. (1): By Lemma 3.2.8(8), Ai = N[Ai ] and by [HRS2, Corollary 1.2],
Ai is spanned over F by [Ai ]. By Lemma 6.3(3), Ai Aj = {0} for i 6= j.
Hence Ai is an ideal of A. Since the sum of Ai contains A we see that it
equals A.
(2): Let u ∈ Xi . Suppose that ua = 0 for all a ∈ [Ai ]. Since Ai is spanned
by [Ai ], there is a basis Bi of Ai such that Bi ⊆ [Ai ]. Hence there is b ∈ Bi
and 0 6= α ∈ F such that b = αu + x, with x ∈ Span(Bi r {b}). But then
0 = ub = αu, a contradiction. It follows that u is in the same connected
component of [Ai ] of ∆ (see Lemma 6.3(6)). By (1), Xi is a connected
component of ∆.

Proposition 6.5. Let a, b ∈ X η be two distinct η-axes in A. Assume that
τ (a) = τ (b). Then ab = 0 and
(1) for any η-axis c ∈ A exactly one the following holds:
(i) ac = bc = 0.
(ii) η = 12 , and for some x ∈ {a, b} = {x, y}, we have Nx,c =
B( 21 , 0)x,c is 3-dimensional, Ny,c = Jy,c (see Lemma 3.1.2(1c))
and Ny,c ⊂ Nx,c . Further Nx,c contains an identity 1x,c = a + b.
(iii) η = 21 , Na,c = Nb,c is 3-dimensional and contains an identity
1a,c = a + b.
(2) If d is an η-axis in A such that τ (d) = τ (a), then d ∈ {a, b}.
Proof. By Lemma 3.2.1, Na,b = 2Ba,b . If Na,c = 2Ba,c , then c = cτ (a) = cτ (b) ,
so by Lemma 3.2.1 again, Nb,c = 2Bb,c . Hence part (1i) holds.
So we may assume that both Na,c and Nb,c are not of type 2B. If η 6= 12 ,
then by [HRS2, Prop. 4.8], Nx,c = B(η, 12 η)x,c , for x ∈ {a, b}. By Lemma
3.1.4, aτ (c) = cτ (a) = cτ (b) = bτ (c) , and then a = b, a contradiction.
Hence η = 12 . Let
V := Nc,cτ (a) ⊆ Na,c ∩ Nb,c .
Suppose that Na,c is 2-dimensional. By Lemma 3.2.1, c 6= cτ (a) so Na,c = V .
If Nb,c is 2-dimensional, then Na,c = V = Nb,c is spanned by a and b. So
Na,c = Na,b = Nb,c is of type 2B, a contradiction. Hence Na,c = V ⊂ Nb,c .
Since a, b ∈ Nb,c and ab = 0, Lemma 3.2.5 implies that 1b,c = a + b, and
the last part of (1ii) holds. Also, by Lemma 3.2.2, if Nb,c = B( 21 , 21 )b,c , then
1b,c ∈ Nc,cτ (b) = V = Na,c . But then b ∈ Nc,cτ (b) , a contradiction. Hence, by
Lemma 3.2.2 the first part of (1ii) holds.
If V is 3-dimensional, then since V = Nc,cτ (b) we see that Na,c = V = Nb,c
and as above 1a,c = a + b and the proposition holds.
Hence we may assume that Na,c , Nb,c are 3-dimensional and V is 2dimensional. We use Lemma 3.2.2. We must consider 2 cases.

AXIAL ALGEBRAS OF JORDAN TYPE HALF

31

Assume first that V = 2Bc,cτ (a) . Then Nx,c = B( 21 , 12 )x,c , for x ∈ {a, b}.
By Lemma 3.1.6(2), cτ (x) = 1x,c − c, for x ∈ {a, b}. Since τ (a) = τ (b) we see
that
1 := 1a,c = 1b,c .
Also xτ (c) = 1 − x for x ∈ {a, b}. We have (1 − a)b = b. Since 1 − a is an
axis A this forces 1 − a = b. So we see that Na,c = Nb,c and a + b is its
identity element.
Assume next that V = Jc,cτ (a) . Then, by Lemma 3.2.2(i), Na,c = B( 12 , 0)a,c
and Nb,c = B( 21 , 0)b,c . We claim that A 1 (a) = A 1 (b). Indeed, for any v ∈ A
2

2

we have v ∈ A 1 (a) if and only if v τ (a) = −v. and the same holds for b. Since
2
τ (a) = τ (b) the claim follows.
Now by Theorem 3.1.3(5) (since ϕx,c = 0, for x ∈ {a, b}),
vx := 12 x + 21 c + σx,c ∈ (Nx,c ) 1 (x), for x ∈ {a, b}.
2

Hence
va − vb = (σa,c + 12 a) − (σb,c + 12 b) ∈ A 1 (a).
2

Note now that τ (a) = τ (b) fixes va − vb . But it also negates it. Hence
−σa,c − 21 a = −σb,c − 21 b.
Since πx,c = − 12 for x ∈ {a, b}, we get:

1
2 1a,c

− 12 a = 21 1b,c − 12 b, or

1a,c − a = 1b,c − b.
It follows that 1a,c b = (1a,c − a)b = (1b,c − b)b = 0. So 1a,c b = 0. Applying
τ (c) we see that 1a,c bτ (c) = 0. But


dim Span {b, bτ (c) } = dim Span {c, cτ (b) } = dim(V ) = 2,

and both spaces live in the algebra Nb,c of dimension 3. Hence W := V ∩
Span({b, bτ (c) }) 6= 0 and 1a,c annihilates W . However W ⊂ Na,c and 1a,c is
the identity of this algebra, and we finally reached our contradiction. This
proves (1).
Let d be an η-axis in A such that τ (d) = τ (a) and d 6= a. Since a ∈ X η
also d ∈ X η . Let c ∈ X such that cτ (a) 6= c. This is possible since τ (a) 6= id.
Then Na,c 6= 2Ba,c . So either (1ii) or (1iii) hold and we may assume that
Na,c is 3-dimensional and contains an identity 1a,c = a + b. By (1ii) and
(1iii) applied to d in place of b we see that also a + d is the identity of Na,c .
Hence a + d = 1a,c = a + b, and d = b.

Proposition 6.6. Let ∆A be as in Notation 6.1(3). Assume there are
distinct a, b ∈ Aη such that τ (a) = τ (b). Then η = 21 and a, b are contained
in a connected component B of ∆A .
Let B = NB be the subalgebra of A generated by B, and let C be the set of
all 21 -axes in B. Then
(1) C is a connected component of ∆;
(2) xa 6= 0 6= xb, for all x ∈ C r {a, b};

32

J. I. HALL, Y. SEGEV, S. SHPECTOROV

(3) B contains an identity element 1 = a + b;
(4) for any x ∈ C such that Na,x is 3-dimensional we have 1 = 1a,x .
Proof. Part (1) is Lemma 6.4(2). Since a, b ∈ Aη , there exists c ∈ A such
that cτ (a) 6= c (indeed if cτ (a) = c, for all c ∈ A, it would follow that τ (a) = id
as A is generated by A). Hence ac 6= 0 and bc 6= 0. Thus a, b are in the
same connected component ∆A .
By Proposition 6.5, Na,b = 2Ba,b . Let d( , ) be the distance function on
∆. Since C is connected there exists c ∈ C with d(a, c) = 1. Thus c 6= b, and
by Proposition 6.5, d(b, c) = 1 and we may assume without loss that Na,c is
3-dimensional and contains 1a,c = a + b. Also η = 21 . Set
1 = 1a,c = a + b.
Consider the set
C1 (a) := {x ∈ C | d(a, x) = 1}.
Replacing c with x ∈ C1 (a) in the above argument shows that there exists
u ∈ {a, b} such that Nu,x is 3-dimensional and contains an identity 1u,x =
a + b = 1. Hence 1x = x, for all x ∈ C1 (a). Note also that by Proposition
6.5, C1 (a) = C1 (b).
Let y ∈ C r C1 (a) be at distance 2 from a in ∆. Then ay = 0 = by and we
can find x ∈ C1 (a) such that d(x, y) = 1. Thus by Proposition 6.6 (without
loss after perhaps interchanging a and b), we have 1 = 1a,x and ay = 0.
Notice that by Proposition 6.5(1i), (a + b)τ (y) = a + b, that is 1τ (y) = 1.
Also Nx,y 6= 2Bx,y .
Now 1y = 0 and hence 1y τ (x) = 0 (because 1 = 1a,x so 1τ (x) = 1). Also

1x = x, so 1xτ (y) = xτ (y) (because 1τ (y) = 1). Let W := Span {y, y τ (x) } ∩

Span {x, xτ (y) } . Since Nx,y is at most 3-dimensional, W 6= 0. But the
above shows that multiplication by 1 both annihilates W and acts as the
identity map on W, a contradiction.
Hence C1 (a) = C r {a, b} and clearly d(a, b) = 2 in C. But now, as we saw
above 1x = x for all x ∈ C. By Lemma 3.2.3 (with B in place of A and NB
in place of A) we see that 1 is the identity of B.

We can now prove the main result of this section
Theorem 6.7. Assume that ∆A is connected and that there are distinct
a, b ∈ Aη such that τ (a) = τ (b). Then A = J(V, B) is a Jordan algebra of
Clifford type.
Proof. We show that the hypotheses of Theorem 5.4 are satisfied. By Proposition 6.6(3), a + b = 1 is the identity element of A. Let c ∈ A. Then clearly
va vc ∈ F1, for c ∈ {a, b}. Otherwise, by Proposition 6.6(2), Na,c is not 2Ba,c .
Also, as in equation (5.1) (in the proof of Theorem 5.4), va vc = σa,c + 14 1. If
Na,c is 2-dimensional, then by Lemma 3.1.2, σa,c = 0 (because ac 6= 0), and
so va vc ∈ F1. If Na,c is 3-dimensional, then by Proposition 6.6(4), 1 = 1a,c ,
so by Theorem 3.1.3(3), σa,c = πa,c 1 and again va vc ∈ F1.


AXIAL ALGEBRAS OF JORDAN TYPE HALF

33

Definition 6.8.
(1) Let the ideals Ai , i ∈ I be as in Lemma 6.4. We
call Ai the components of the algebra A. Note that by Lemma 6.4(2),
the components Ai are independent of A.
(2) Let Ai be a componet of the algebra A. If Ai is a Jordan algebra of
Clifford type we call Ai a component of Clifford type. Otherwise (in
the case where τ (x) 6= τ (y) for distinct x, y ∈ X ∩ Ai ) we call Ai a
component of unique type.
(3) Let B ⊆ X η be a closed set of η-axes (B = [B]). Suppose that B is
contained in a connected component Xi of ∆.
(i) We say that B is of non-unique type if there exists distinct a, b ∈
B such that τ (a) = τ (b) (and then η = 12 and Ai is a Jordan
algebra of Clifford type).
(ii) We say that B is of C-unique type if Ai is a Jordan algebra of
Clifford type and the map b 7→ τ (b) is bijective on B.
(iii) We say that B is of NC-unique type if Ai is a not a Jordan algebra of Clifford type. (And then the map b 7→ τ (b) is necessarily
bijective on B.)
Remark 6.9. Let Ai be a component of A of Clifford type. Then Ai ∩
Aj = {0} for any component Aj of A with Aj 6= Ai . Indeed, by Lemma
6.4(1), Ai Aj = 0, so since Ai contains an identity element we must have
Ai ∩ Aj = {0}. If Ai and Aj are distinct components of A of unique type,
then it may happen that Ai ∩ Aj 6= {0}.
We close this section with a theorem that summarizes some of the results
in this section.
Theorem 6.10. Let {Ai | i ∈ I} be the set of connected components of ∆A .
For each i ∈ I, let Ai = NAi and let Xi = Ai ∩ X . Then
P
(1) A = i∈I Ai is the sum of its ideals Ai ;
(2) Ai Aj = 0, for distinct i, j ∈ I;
(3) {Ai | i ∈ I} are the components of A and {Xi | i ∈ I} are the
connected components of ∆.
(4) Let i ∈ I, then exactly one of the following holds:
(i) [Ai ] is of non-unique type, so Ai is a Jordan algebra of Clifford
type.
(ii) [Ai ] is of C-unique type.
(iii) [Ai ] is of NC-unique type.
Proof. Parts (1), (2) and (3) are Lemma 6.4. Part (4) follows from Theorem
6.7.


34

J. I. HALL, Y. SEGEV, S. SHPECTOROV

7. The case where A is a 3-transposition
algebra
Recall from subsection 1.2.2 of the introduction the notion of a 3-transposition
algebra with respect to a generating set of η-axes. The following theorem is
taken from [HRS2]:
Theorem 7.1 (Theorem 5.4 in [HRS2]). Assume η 6= 21 . Then A is a
3-transposition algebra with respect to any subset B ⊆ X that generates A.
Proof. It suffices to show that |τ (a)τ (b)| ∈ {2, 3} for any a, b ∈ X , with
a 6= b (note that by Proposition 6.6, τ (a) 6= τ (b)). If Na,b is 2-dimensional
then by Lemma 3.1.2, Na,b is either 3C × (−1) (and η = −1 so char(F) 6= 3)
and so by Lemma 3.1.8, |τ (a)τ (b)| = 3, or Na,b = 2Ba,b and |τ (a)τ (b)| = 2.
If N is 3-dimensional then, by [HRS2, Proposition 4.8], N = B(η, 21 η)a,b , so
by Lemma 3.1.4, |τ (a)τ (b)| = 3.

What then about the case η = 21 ?
Most of this section is devoted to the case where A is a 3-transposition
algebra with respect to a generating set of η-axes A ⊆ X . By Theorem 7.1
we may (and we will) assume that
η = 21 .
Thus by an axis in A we mean a 21 -axis. Note that if char(F) = 3 then
1
2 = −1.
The Miyamoto involution set D := D[A] is a normal subset of 3-transpositions generating the group G := G[A] . Further, we assume that D is
a conjugacy class in G. This implies that the graph ∆A is connected (see
Notation 6.1(2)). In particular A is either of Clifford type or of unique type
(see Definition 6.8(2)).
Our main result in this section is:
Theorem 7.2. Assume that char(F) 6= 3, that A is of Clifford type, and
that A is a 3-transposition algebra with respect to A. Then G[A] is a 3transposition group of ADE-type. (See Definition 4.2.)
By Remark 6.2 we may ignore the axes in A ∩ X 1 .
Lemma 7.3. Let G be a 3-transposition group generated by a conjugacy
class of 3-transpositions D. Let r, s, t ∈ D be three distinct involutions such
that |uv| = 3, for all distinct u, v ∈ {r, s, t}. Set H = hr, s, ti, then
(1) if r s = t, then H ∼
= S3 ;
(2) if |r s t| = 3, then H ∼
= 32 : 2 or 31+2 : 2;
s
∼
(3) if |r t| = 2, then H = S4 .
Proof. See, e.g., [HSo, 4.1, p. 2526].



Lemma 7.4. Let a, b be two axes in A and assume that |τ (a)τ (b)| = 2. Set
N = Na,b . Then either

AXIAL ALGEBRAS OF JORDAN TYPE HALF

35

(i) A is of unique type and N = 2Ba,b .
(ii) A is of Clifford type and N = B( 21 , 12 )a,b .
Proof. This is Lemma 3.2.7(2). Note that if N = B( 12 , 12 )a,b , then we must
have τ (1a,b − x) = τ (x), for x ∈ {a, b}, so A is of Clifford type. Note further
that if A is of Clifford type and ab = 0, then (1 − a)b = b. But since 1 − a
is an axis in A we must have b = 1 − a, so τ (a) = τ (b).

Lemma 7.5. Let a, b be two distinct axes in A and set N = Na,b . Then
(∗)

|τ (a)τ (b)| = 3,

if and only if one of the following holds
(i) dim(N ) = 2 and N = 3C(−1)×
a,b (so char(F) = 3).
(ii) dim(N ) = 3, N contains no identity element and N = 3C(−1)a,b
(so char(F) = 3).
(iii) dim(N ) = 3, N contains an identity element 1a,b and N = 3C( 12 )a,b =
B( 12 , 41 ) (so char(F) 6= 3). We then have
ab = − 38 1a,b + 21 a + 12 b.
(iv) A is of Clifford type and Na,b = B( 12 , 34 ) (so when char(F) = 3,
Na,b = B(−1, 0)). We then have
ab = − 18 1a,b + 21 a + 12 b.
Further, if char(F) 6= 3, then N = 3C( 21 )x, (1a,b −y) , while if char(F) =
3, then Nx, (1a,b −y) = 3C(−1)×
x,(1a,b −y) , for {x, y} = {a, b}.
Proof. Suppose that (∗) holds. Then by Lemma 3.2.7 with k = 3 we either
have:
(1) aτ (b) = bτ (a) , or
(2) dim(N ) = 3, N contains an identity element 1a,b , 1a,b − x is an axis
in A, τ (1a,b − x) = τ (x) and 1a,b − x = y τ (x)τ (y) , for {x, y} = {a, b}.
Suppose that (1) holds. Then (i), (ii) or (iii) hold by Corollary 3.3.2, and
Lemma 3.3.3. Also use Lemma 3.1.4(2) if char(F) = 3 (because 12 = −1 if
char(F) = 3).
Suppose that (2) holds. Then (iv) holds by Lemma 3.3.4. Finally if (i)
holds then (∗) holds by Lemma 3.1.8, if (ii) or (iii) hold then (∗) holds by
Lemma 3.1.4 and Lemma 3.3.3. Finally, if (iv) holds, then (∗) holds by
Lemma 3.3.4.

Corollary 7.6. Let a, b ∈ A be two distinct axes and suppose |τ (a)τ (b)| = 3.
Then either
(i) A is of unique type and Na,b = 3C( 21 )a,b .
(ii) char(F) = 3 and Na,b = 3C(−1)×
a,b .
(iii) A is of Clifford type, char(F) 6= 3 and Na,b = 3C( 12 )a,b .
(iv) A is of Clifford type and Na,b = B( 21 , 34 )a,b .

36

J. I. HALL, Y. SEGEV, S. SHPECTOROV

Proof. Assume that A is of Clifford type. Let 1 be the identity element
A. Since τ (a) = τ (1 − a), Proposition 6.6 implies that we may assume
(after perhaps interchanging a and 1 − a) that 1 is the identity element of
Na,b . Since 3C(−1)x,y does not contain an identity element we must have
char(F) 6= 3 in (iii). The rest of the lemma follows from Lemma 7.5.

Definition 7.7. Assume η = 21 . Let a, b ∈ X . If ab = − 83 1a,b + 12 a + 12 b we
will say that Na,b is of type − 38 while if ab = − 81 1a,b + 12 a + 12 b we will say
that Na,b is of type − 18 . Notice that if |τ (a)τ (b)| = 3 and A is of Clifford
type, then, by Corollary 7.6, Na,b is necessarily of type − 38 or of type − 18 .
(Indeed when char(F) = 3 and Na,b is of type − 83 , then Na,b = 3C(−1)×
a,b .)
Lemma 7.8. Assume that A is of Clifford type, and let a, b, c ∈ X be three
distinct axes. Then we have
(1) if Nx,y is of type − 38 for all distinct x, y ∈ {a, b, c} and hτ (a), τ (b), τ (c)i
is not isomorphic to S3 , then Na,bτ (c) = Ja,bτ (c) . In particular, if
char(F) 6= 3, then |τ (a)τ (bτ (c) )| ∈
/ {2, 3};
(2) if Na,b and Na,c are of type − 83 and Nb,c is of type − 81 , then Na,bτ (c) =
B( 12 , 21 )a,bτ (c) . In particular, |τ (a)τ (bτ (c) )| = 2.
Proof. By Lemma 3.2.4 we have
πa,bτ (c) = 8πa,c πb,c + 2πa,c − πa,b + 2πb,c .
(1): In this case πx,y = − 38 , for all distinct x, y ∈ {a, b, c}, so πa,bτ (c) = 0.
Hence, by Lemma 3.2.4(2), the first part of (1) holds. The second part
follows from Lemma 3.3.1.
(2): In this case πa,b = πa,c = − 83 and πb,c = − 18 so πa,bτ (c) = − 14 . Now (2)
follows from Remark 3.1.7.

Lemma 7.9. Suppose that char(F) 6= 3, that A is of Clifford type, and that
A is a 3-transposition algebra with respect to A. Let 1 be the identity element
of A. Then
(1) Suppose that B = {a, b, c} ⊂ [A] is a set of size 3 such that
hτ (a), τ (b), τ (c)i is not isomorphic to S3 and |τ (x)τ (y)| = 3, for
all distinct x, y ∈ B. Then either Nx,y is of type − 81 for all distinct
x, y ∈ B, or there exists distinct x, y ∈ B such that Nx,y is of type
− 18 and both Nx,z and Ny,z are type − 38 , where {x, y, z} = {a, b, c}.
(2) Suppose that B = {a, b, c, d} ⊂ [A] is such that
(a) τ (x) | x ∈ {a, b, c, d} is not isomorphic to S4 .
(b) |τ (a)τ (c)| = 2 = |τ (b)τ (d)|.
(c) |τ (x)τ (b)| = 3 = |τ (x)τ (d)|, for x ∈ {a, c}.
(Thus B has diagram Ã3 (see the definition of a diagram in §4)).
Then the following does not hold:
(∗) both Na,b , Na,d have the same type, and both Nc,b , Nc,d have
the same type.

AXIAL ALGEBRAS OF JORDAN TYPE HALF

37

Proof. (1): Assume (1) does not hold. If Nx,y is of type − 38 for all distinct
x, y ∈ {a, b, c}, then Lemma 7.8(1) applies and so |τ (a)τ (bτ (c) )| ∈
/ {2, 3}, a
contradiction.
Otherwise, for some distinct x, y ∈ B we have Nx,y is of type − 38 and both
Nx,z and Ny,z are of type − 81 , where {x, y, z} = {a, b, c}. But by Lemma
7.5(iv) we see that both Nx,1−z and Ny,1−z are of type − 83 . By Lemma 7.8,
N(1−z),xτ (y) = J(1−z),xτ (y) . Since τ (z) = τ (1 − z), we get from Lemma 3.3.1
that |τ (z)τ (xτ (y) )| ∈
/ {2, 3}, a contradiction.
(2): Suppose there exists B ⊂ [A] satisfying (a), (b) and (c) of (2), and (∗)
holds. Notice that by hypothesis (b), and by Lemma 7.4, Na,c = B( 21 , 12 )a,c
so 1−x ∈ A, for all x ∈ {a, b, c, d}. Interchanging a with 1−a and c with 1−c
if necessary, we may assume that Na,b , Na,d , Nc,b , Nc,d are all of type − 83 .
Note that hτ (x), τ (y), τ (z)i ∼
= S4 , for all distinct x, y, z ∈ {a, b, c, d}. Hence
|τ (x)τ (c)τ (d) | = 3, for x ∈ {a, b}. Notice that Nc,cτ (d) is of type − 83 (because
Nc,d = 3C( 21 )c,d ). Hence applying (1) to with {b, c, cτ (d) } in place of {a, b, c}
and using Corollary 7.6 shows that Na,cτ (d) is of type − 81 . Similarly, Nb,cτ (d)
is of type − 18 . By hypothesis (a), hτ (a), τ (b), τ (cd )i is not isomorphic to S3 .
Hence we apply part (1) with cτ (d) in place of c to get a contradiction. 
Observe that
Theorem 7.10. Assume that char(F) 6= 3, that A is of Clifford type, and
that A is a 3-transposition algebra with respect to A. Then G[A] is a 3transposition group of symplectic type.
Proof. Let 1 be the identity element of A. Assume that G[A] is not of
symplectic type. Then there are a, b, c ∈ [A] such that hτ (a), τ (b), τ (c)i is not
isomorphic to S3 , and such that |τ (x)τ (y)| = 3 for all x, y ∈ {a, b, c, bτ (c) }.
By Lemma 7.8(1) there are distinct x, y ∈ {a, b, c} such that Nx,y is of type
− 81 . Hence by Lemma 3.3.4, 1 − x ∈ [A], so 1 − z ∈ A, for all z ∈ {a, b, c}.
By Lemma 3.3.4, after perhaps interchanging x with 1 − x for x ∈ {b, c}
we may assume that
Na,x = 3C( 12 )a,x for x ∈ {b, c}.
Thus πa,b = πa,c = − 38 . By Lemma 7.8 we have |τ (a)τ (bτ (c) )| = 2, a contradiction.

We are now in a position to prove Theorem 7.2.
Proof of Theorem 7.2. Assume that D is not of ADE-type. Then, by Lemma
4.10, there exists a subset Y ⊂ [A] of size 5 such that if we let Y := {τ (x) |
x ∈ Y}, then (1) H = hY i is isomorphic to a central quotient of W2 (D̃4 ). (2)
The diagram of Y is the complete bipartite graph K3,2 and (3) no 4-subset
of Y generates a subgroup isomorphic to S4 .
Let the parts of Y be {a1 , a2 , a3 } and {b1 , b2 }. As we already noted,
Lemma 7.4 and Lemma 3.1.6 imply that 1 − c ∈ [A], for all c ∈ Y.

38

J. I. HALL, Y. SEGEV, S. SHPECTOROV

Hence, after perhaps interchanging c with 1 − c for c ∈ {a1 , a2 , a3 }, using
Corollary 7.6 and Lemma 3.3.4, we may assume that
Nb1 ,ai = 3C( 21 )b1 ,ai ,

i = 1, 2, 3.

But then interchanging b2 with 1 − b2 if necessary we see that for at least
two of {a1 , a2 , a3 } say a1 and a2 we have
Nb2 ,ai = 3C( 12 )b2 ,ai ,

i = 1, 2.

But now taking b1 , a1 , b2 , a2 in place of a, b, c, d in Lemma 7.9(2), we get a
contradiction. This completes the proof of the Theorem.

Examples 7.11. Finally we observe that, in a certain sense, the converse
to Theorem 7.2 holds. More precisely, for any field F of characteristic not 2
and for any ADE-type Xn , there is a Jordan-axial F-algebra A of Clifford
type such that
(1) A is a 3-transposition algebra with respect to A;
(2) D[A] is a conjugacy of 3-transpositions of type Xn ;
(3) the Miyamoto group G[A] is isomorphic to one of the groups W(Xn )
or W(Xn )/Z(W(Xn )). (The possible groups being listed in Proposition 4.4.)
Consider a root system Φ of type Xn . Let E be the Euclidean space
containing (and spanned by) Φ and EZ the root lattice in E, the Z-span of
Φ. We assume that each root in Φ is of length 1. Then the values of the
inner product on EZ belong to 21 Z. (For instance, in the standard action
of W(Am ) = Sm+1 on its permutation module Rm+1 equipped with the dot
product, the roots corresponding to transpositions have square length 2 and
inner-products ±1.) Hence V = EZ ⊗Z F is a vector space over F of dimension
n endowed with a symmetric bilinear form B such that q(r̄) := B(r̄, r̄) = 1
for all r ∈ Φ. Here we use the notation ē = e ⊗ 1F ∈ V for e ∈ EZ .
The Weyl group W = W(Xn ) of Φ generated by the reflections in all
r ∈ Φ acts naturally on Φ and EZ and hence on V . Namely, the reflection
c
in a root r acts on V as the reflection in the corresponding vector r̄. Let W
be the (isomorphic) image of W in GL(V ).
Consider A = J(V, B) and take A = {a = 12 (1 + r̄) | r ∈ Φ}. It follows
from §5 and the discussion above that A is a set of 12 -axes generating A.
The Miyamoto involution τ (a), for 12 (1 + r̄) = a ∈ A, fixes 1 ∈ A and acts
as the negative of the reflection in r̄ on V . Therefore the group G generated
by the Miyamoto involutions for A is a subgroup of index at most 2 of the
c.
group h−idV iW
The order of the product of two Miyamoto involutions is the same as
the order of the product of the corresponding reflections. Hence G is a
c or W
c /h−idV i. The second case
group of 3-transpositions isomorphic to W
c but not in its subgroup generated by negative
occurs only if h−idV i is in W
crW
c ′ . The
reflections. This in turn happens if and only if −idV ∈ W

AXIAL ALGEBRAS OF JORDAN TYPE HALF

39

c isomorphic to h−idV i × Sp6 (2) but G
only such example is W(E7 ) with W
isomorphic to Sp6 (2).
The space (V, B) may have a nontrivial radical (depending upon the type
Xn and the characteristic of F), in which case there is a further example
J(Ṽ , B̃) corresponding to Ṽ = V /Rad(V, B).
Acknowledgment. We would like to thank Felix Rehren for part of the
proof of Lemma 3.2.5, and for various useful remarks. We are also grateful
to Holger Petersson for carefully going through §5.

References
[Bo] R. E. Borcherds, Vertex algebras, Kac-Moody algebras, and the Monster,
Proc. Nat. Acad. Sci. U.S.A. 83 (1986), no. 10, 3068–3071.
[Bu] F. Buekenhout, La géométrie des groupes de Fischer, unpublished.
[C] J. H. Conway, A simple construction for the Fischer-Griess monster group, Invent. Math. 79 (1985), no. 3, 513–540.
[B81] N. Bourbaki, “Éléments de Mathématique, Groupes et Algèbres de Lie, Chapitres
4, 5 et 6,” Masson, Paris, 1981.
[CH] H. Cuypers, J. I. Hall, The 3-transposition groups with trivial center, J. Algebra 178
(1995), no. 1, 149–193.
[DR] T. De Medts, F. Rehren, Jordan algebras and 3-transposition groups, preprint
[F] B. Fischer, Finite groups generated by 3-transpositions I. Invent. Math. 13 (1971),
232–246.
[G] R. L. Griess, Jr. The friendly giant, Invent. Math. 69 (1982), no. 1, 1–102.
[H1] J. I. Hall, Graphs, geometry, 3-transpositions, and symplectic F2 -transvection groups,
Proc. London Math. Soc. (Series 3) 58 (1989), no. 1, 89–111.
[H2] J. I. Hall, Some 3-transposition groups with normal 2-subgroups, Proc. London Math.
Soc. (Series 3) 58 (1989), no. 1, 112–136.
[HRS1] J. I. Hall, F. Rehren, S. Shpectorov, Universal axial algebras and a theorem of
Sakuma, J. Algebra 421 (2015), 394–424.
[HRS2] J. I. Hall, F. Rehren, S. Shpectorov, Primitive axial algebras of Jordan type,
J. Algebra 437 (2015), 79–115.
[HSo] J. I. Hall, L. H. Soicher, Presentations of some 3-transposition groups, Comm.
Algebra 23 (1995), no. 7, 2517–2559.
[I] A. A. Ivanov, The Monster group and Majorana involutions, Cambridge Tracts in
Mathematics, 176. Cambridge University Press, Cambridge, 2009.
[Mc] K. McCrimmon, A taste of Jordan algebras, Universitext. Springer-Verlag, New
York, 2004.
[M] M. Miyamoto, Griess algebras and conformal vectors in vertex operator algebras,
J. Algebra 179 (1996), no. 2, 523–548.
[R] F. Rehren, Linear idempotents in Matsuo algebras, to appear in Indiana Uni. Math. J.
[Sa] S. Sakuma, 6-transposition property of τ -involutions of vertex operator algebras,
Int. Math. Res. Not. IMRN 2007, no. 9, Art. ID rnm 030.
[Se] Á. Seress, Construction of 2-closed M-representations, ISSAC 2012–Proceedings of
the 37th International Symposium on Symbolic and Algebraic Computation, 311–
318, ACM, New York, 2012.
Jonathan, I. Hall, Department of Mathematics, Michigan State University,
Wells Hall, 619 Red Cedar Road, East Lansing, MI 48840, United States
E-mail address: jhall@math.msu.edu

40

J. I. HALL, Y. SEGEV, S. SHPECTOROV

Yoav Segev, Department of Mathematics, Ben-Gurion University, BeerSheva 84105, Israel
E-mail address: yoavs@math.bgu.ac.il
Sergey Shpectorov, School of Mathematics, University of Birmingham,
Watson Building, Edgbaston, Birmingham, B15 2TT, United Kingdom
E-mail address: s.shpectorov@bham.ac.uk

