arXiv:1601.01679v2 [math.GR] 14 Jan 2016

MORE ON REGULAR SUBGROUPS OF THE AFFINE GROUP
M.A. PELLEGRINI AND M.C. TAMBURINI BELLANI
Abstract. This paper is a new contribution to the study of regular subgroups
of the affine group AGLn (F), for any field F. In particular we associate to any
partition λ 6= (1n+1 ) of n + 1 abelian regular subgroups in such a way that
different partitions define non-conjugate subgroups. Moreover, we classify the
regular subgroups of certain natural types for n ≤ 4. Our classification is
equivalent to the classification of split local algebras of dimension n + 1 over F.
Our methods, based on classical results of linear algebra, are computer free.

1. Introduction
Let F be any field. We identify the affine group AGLn (F) with the subgroup of
GLn+1 (F) consisting of the matrices having (1, 0, . . . , 0)T as first column. With this
notation, AGLn (F) acts on the right on the set A = {(1, v) : v ∈ Fn } of affine points.
Clearly, there exists an epimorphism π : AGLn (F) → GLn (F) induced by the action
of AGLn (F) on Fn . A subgroup (or a subset) R of AGLn (F) is called regular if it
acts regularly on A, namely if, for every v ∈ Fn , there exists a unique element in R
c n (F) R,
having (1, v) as first row. Thus R is regular precisely when AGLn (F) = GL
c n (F) ∩ R = {In+1 }, where GL
c n (F) denotes the stabilizer of (1, 0, . . . , 0).
with GL
A subgroup H of AGLn (F) is indecomposable if there exists no decomposition of
Fn as a direct sum of non-trivial π(H)-invariant subspaces. Clearly, to investigate
the structure of regular subgroups, the indecomposable ones are the most relevant,
since the other ones are direct products of regular subgroups in smaller dimensions.
So, one has to expect very many regular subgroups when n is big. Actually, in
Section 6 we show how to construct at least one abelian regular subgroup, called
standard, for each partition λ 6= (1n+1 ) of n + 1, in such a way that different
partitions produce non-conjugate subgroups. Several of them are indecomposable.
The structure and the number of conjugacy classes of regular subgroups depend
on F. For instance, if F has characteristic p > 0, every regular subgroup is unipotent
[14, Theorem 3.2], i.e., all its elements satisfy (t − In+1 )n+1 = 0. A unipotent group
is conjugate to a subgroup of the group of upper unitriangular matrices (see [10]):
in particular it has a non-trivial center. By contrast to the case p > 0, AGL2 (R)
contains 2|R| conjugacy classes of regular subgroups with trivial center, hence not
unipotent (see Example 2.5). So, clearly, a classification in full generality is not
realistic.
Since the center Z(R) of a regular subgroup R is unipotent (see Theorem 2.4(a))
if Z(R) is non-trivial one may assume, up to conjugation, that R is contained in the
centralizer of a unipotent Jordan form (see Theorem 4.4). But even this condition
is weak.
2010 Mathematics Subject Classification. 15A21, 20B35, 16L99.
Key words and phrases. Regular subgroup; local algebra; Jordan canonical form.
1

2

M.A. PELLEGRINI AND M.C. TAMBURINI BELLANI

Before introducing a stronger hypothesis, which allows to treat significant cases,
we need some notation. We write every element r of R as

 
 

1
v
1
v
1
v
(1)
r=
=
=
= µR (v),
0 π(r)
0 τR (v)
0 In + δR (v)
where µR : Fn → AGLn (F), τR : Fn → GLn (F) and δR := τR − id : Fn → Matn (F).
The hypothesis we introduce is that δR is linear. First of all, if R is abelian, then
δR is linear (see [1]). Moreover, if δR is linear, then R is unipotent by Theorem
2.4(b), but not necessarily abelian. One further motivation for this hypothesis
is that δR is linear if and only if L = FIn+1 + R is a split local subalgebra of
Matn+1 (F). Moreover, two regular subgroups R1 and R2 , with δRi linear, are
conjugate in AGLn (F) if and only if the corresponding algebras L1 and L2 are
isomorphic (see Section 3). In particular, there is a bijection between conjugacy
classes of abelian regular subgroups of AGLn (F) and isomorphism classes of abelian
split local algebras of dimension n + 1 over F. This fact was first observed in [1]. It
was studied also in connection with other algebraic structures in [3, 4, 5, 6] and in
[2], where the classification of nilpotent associative algebras given in [7] is relevant.
In Section 7 we classify, up to conjugation, certain types of regular subgroups
U of AGLn (F), for n ≤ 4, and the corresponding algebras. More precisely, for
n = 1 the only regular subgroup is the translation subgroup T , which is standard.
For n = 2, 3, we assume that δU is linear. If n = 2 all subgroups U , over any F,
are standard (Table 1). For n = 3 the abelian regular subgroups are described in
Table 2. The non abelian ones are determined in Lemmas 7.2 and 7.3: there are
|F| conjugacy classes when char F = 2, |F| + 1 otherwise (see also [7]). If n = 4
we assume that U is abelian. The conjugacy classes, when F has no quadratic
extensions, are shown in Tables 3 and 4.
In particular, by the reasons mentioned above, we obtain an independent classification of the split local algebras of dimension n ≤ 4 over any field. We obtain
also the classification of the commutative split local algebras of dimension 5 over
fields with no quadratic extensions. Actually, regular subgroups arise from matrix
representations of these algebras. In the abelian case and using the hypothesis
that F is algebraically closed, the same classification, for n ≤ 6, was obtained
by Poonen [12], via commutative algebra. Namely he presents the algebras as
quotients of the polynomial ring F[t1 , . . . , tr ], r ≥ 1. The two approaches are
equivalent but, comparing our results with those of Poonen, we detected an inaccuracy1. Namely for n = 5 and char F = 2, the two algebras defined, respectively,
by F[x, y, z]/hx2 , y 2 , xz, yz, xy + z 2 i and F[x, y, z]/hxy, xz, yz, x2 + y 2 , x2 + z 2 i are
isomorphic (see Remark 7.6).
Our methods, based on linear algebra, are computer independent.
2. Some basic properties and examples of regular subgroups
Lemma 2.1. A regular submonoid R of AGLn (F) is a subgroup.

Proof. For any v ∈ Fn , the first row of µR −vτR (v)−1 µR (v) is the
 same as the
−1
first row of In+1 . From the regularity
of
R
it
follows
µ
−vτ
(v)
µR (v) = In+1 ,
R
R

whence µR (v)−1 = µR −vτR (v)−1 ∈ R. Thus R is a subgroup.

1See [13] for a revised version of [12].

MORE ON REGULAR SUBGROUPS OF THE AFFINE GROUP

3

If δR ∈ HomZ (Fn , Matn (F)), i.e. δR is additive, direct calculation gives that a
regular subset R of AGLn (F) containing In+1 is a submonoid, hence a subgroup, if
and only if:
(2)

δR (vδR (w)) = δR (v)δR (w),

for all v, w ∈ Fn .

Also, given v, w ∈ Fn ,
(3)

µR (v)µR (w) = µR (w)µR (v)

if and only if

vδR (w) = wδR (v).

For the next two theorems we need a basic result, that we recall below for the
reader’s convenience. A proof can be found in any text of linear algebra.
Lemma 2.2. Let g ∈ GLm (F) have characteristic polynomial χg (t) = f1 (t)f2 (t).
If (f1 (t), f2 (t)) = 1, then g is conjugate to h = diag(h1 , h2 ), with χhi (t) = fi (t),
i = 1, 2. Also, CMatm (F) (h) consists of matrices of the same block-diagonal form.
Lemma 2.3. Let z be an element of a
unipotent then, up to conjugation of R

1
(4)
z = 0
0

regular subgroup R of AGLn (F). If z is not
under AGLn (F), we may suppose that

w1 0
A1 0  ,
0 A2

where A1 is unipotent and A2 does not have the eigenvalue 1.


1 w
, where z0 = In + δR (w). Since z0 has the eigenvalue 1 [14,
Proof. Let z =
0 z0
Lemma 2.2], the characteristic polynomial χz0 (t) of z0 factorizes in F[t] as
χz0 (t) = (t − 1)m1 g(t),

g(1) 6= 0,

m1 ≥ 1,

deg g(t) = m2 ≥ 1.

c n (F), we may set z0 = diag(A1 , A2 ) with:
By Lemma 2.2, up to conjugation in GL
χA1 (t) = (t − 1)m1 ,

χA2 (t) = g(t).

and w2 ∈ Fm2 . Since A2 does not have the
Write w = (w1 , w2 ) with w1 ∈ F
eigenvalue 1, the matrix A
2 − Im2 is invertible. Conjugatingby the translation


1
0
w2 (A2 − Im2 )−1
1 w1 0
0 Im1
 we may assume w2 = 0, i.e. z = 0 A1 0 . 
0
0
0
Im2
0 0 A2
m1

We observe that if δR ∈ HomF (Fn , Matn (F)), i.e. δR is linear, then there is a
b of AGLn (F)
b for any extension
natural embedding of R into a regular subgroup R
b
F of F. Namely:



1
v̂
b=
b ≤ AGLn (F),
b
R
: v̂ ∈ Fn ⊗F F
0 In + δRb (v̂)
 P
P
b
λ̂v
where δRb
i =
b is linear.
i λ̂i δR (vi ), λ̂i ∈ F. Clearly δR
i
We obtain the following consequences.

Theorem 2.4. Let R be regular subgroup of AGLn (F). Then the following holds:
(a) the center Z(R) of R is unipotent;
(b) if δR is linear, then R is unipotent.

4

M.A. PELLEGRINI AND M.C. TAMBURINI BELLANI

Proof. (a) Our claim is clear if Z(R) = {1}. So let 1 6= z ∈ Z(R) and assume,
by contradiction, that z is not unipotent. By Lemma 2.3 up to conjugation z has
shape (4). Lemma 2.2 gives the contradiction that its centralizer is not transitive
on the affine vectors.
b be the algebraic closure of F. By what observed above, substituting
(b) Let F
b if necessary, we may assume F algebraically closed. By contradicR with R,
tion, suppose that z ∈ R is not unipotent. Up to conjugation we may suppose z as in the statement of Lemma 2.3. In the same notation, δR (w1 , 0) =
diag(A1 − Im1 , A2 − Im2 ). Let ξ ∈ F be an eigenvalue of A2 − Im2 and 0 6=
v ∈ Fm2 be a corresponding eigenvector. We have ξ 6=
 0 and, by linearity,
δR (−ξ −1 w1 , 0) = diag −ξ −1 (A1 − Im1 ) , −ξ −1 (A2 − Im2 ) . It follows that the
first row of the product µR (0, v)µR (−ξ −1 w1 , 0) is equal to the first row of the
second factor µR (−ξ −1 w1 , 0). From the regularity of R we get µR (0, v) = In+1 . In
particular v = 0, a contradiction. We conclude that R is unipotent.

The following examples show how the linearity of δR seems to be necessary to
manage a classification of the regular subgroups of AGLn (F), even when unipotent.
Example 2.5. Let B be a basis of R over Q. For every subset S of B denote by
fS : B → R the function such that fS (v) = v if v ∈ S, fS (v) = 0 otherwise.
Let fbS be its extension by linearity to R. In particular fbS ∈ HomZ (R, R) and
Im (fbS ) = SpanR (S), the subspace generated by S.
Consider the regular subgroup RS of the affine group AGL2 (R) defined by:



x
y
 1

RS = 0 efbS (y) 0 : x, y ∈ R .


0
0
1

The set of eigenvalues of the matrices in RS is {er : r ∈ SpanR (S)}. It follows that
S1 6= S2 gives RS1 not conjugate to RS2 under GL3 (R). A fortiori RS1 and RS2 are
not conjugate under AGL2 (R). Thus in AGL2 (R) there are as many non conjugate
regular subgroups as possible, namely 2|R| .
Example 2.6. Let F 6= Fp be a field

 1
R = 0

0

of characteristic p > 0. Then the set


x1 x2

1 xp1  : x1 , x2 ∈ F

0
1

is a non abelian unipotent regular subgroup of AGL2 (F) such that δR is not linear.

Example 2.7 (Hegedűs, [8]). Let n ≥ 4 and F = Fp (p odd). Take the matrices

1 2 −2
A = diag(A3 , In−4 ) and J = diag(J3 , In−4 ) of GLn−1 (Fp ), where A3 = 0 1 −2
00 1
0 0 1
and J3 = 0 1 0 . Then A has order p, its minimum polynomial has degree 3 and
100

AJAT = J. The subset R of order p4 , defined by


T

 1 v h + vJv
2
R = 0 Ah Ah Jv T  : v ∈ Fp n−1 , h ∈ Fp ,


0 0
1

is a regular submonoid of AGLn (Fp ), hence a regular subgroup. Moreover R ∩ T =
{1}. Note that δR is not linear: suppose the contrary and observe that the elements

MORE ON REGULAR SUBGROUPS OF THE AFFINE GROUP

5

µR (vn ) and µR (2vn ) correspond to h = 1 and h = 2 respectively (vn = (0, . . . , 0, 1)).
Thus, in order that δR (2vn ) = 2δR (vn ) we should have A2 − In−1 = 2A − 2In−1 ,
i.e. (A − In−1 )2 = In−1 , against our choice of A.
3. Algebras and regular subgroups
In this section we highlight the connections between regular subgroups and finite
dimensional split local algebras over a field F. To this purpose we recall that an
F-algebra L with 1 is called split local if L/J(L) is isomorphic to F, where J(L)
denotes the Jacobson radical of L. In particular L = F 1 + J(L), where the set
F 1 = {α1L : α ∈ F} is a subring of L contained in its centre Z(L). Note that
L \ J(L) is the set L∗ of the invertible elements of L. If J(L), viewed as an Fmodule, has finite dimension, we say that L is finite dimensional.
If ψ is an isomorphism between two local split F-algebras L1 , L2 , then ψ(J(L1 )) =
J(L2 ) and ψ(α 1L1 ) = α1L2 for all α ∈ F.
Theorem 3.1. Let L be a finite dimensional split local F-algebra. In the above
notation, set n = dimF (J(L)). Then, with respect to the product in L, the subset
R = 1 + J(L) = {1 + v : v ∈ J(L)}
is a group, isomorphic to a regular subgroup of AGLn (F) for which δR is linear.
Proof. Clearly R is closed under multiplication. Moreover any r ∈ R has an inverse
in L. From r − 1 ∈ J(L) we get r−1 − 1 ∈ J(L), whence r−1 ∈ R. We conclude
that R is a group. Consider the map R → AGLn (F) such that, for all v ∈ J(L):


1
vB
,
(5)
1 + v 7→
0 In + δR (v)
where vB and δR (v) are, respectively, the coordinate vector of v and the matrix
of the right multiplication by v with respect to a fixed basis B of J(L), viewed as
F-module. In particular, considering the right multiplication by w:
(6)

(vw)B = vB δR (w),

for all v, w ∈ J(L).

The map (5) is injective and we claim that it is a group monomorphism.
Set δ = δR for simplicity. For all v, w ∈ J(L) we have δ(vw) = δ(v)δ(w) by the
associativity law and δ(v + w) = δ(v) + δ(w) by the distributive laws. Now:


1
vB + wB + (vw)B
(1 + v)(1 + w) = 1 + v + w + vw 7→
.
0 In + δ(v) + δ(w) + δ(vw)
On the other hand, considering the images of 1 + v and 1 + w:


 

1
vB
1
wB
1
wB + vB + vB δ(w)
=
.
0 In + δ(v)
0 In + δ(w)
0 In + δ(v) + δ(w) + δ(v)δ(w)
Thus (5) is a homomorphism if and only if (6) holds. This proves our claim.



Notice that Theorem 3.1 shows how to construct a regular subgroup starting
from the presentation of a split local algebra.
Example 3.2. As in [12], consider the split local algebra
L=

F[t1 , t2 , t3 ]
.
ht1 2 + t2 2 , t1 2 + t3 2 , t1 t2 , t1 t3 , t2 t3 i

6

M.A. PELLEGRINI AND M.C. TAMBURINI BELLANI

In this case J(L) ∼
= F4 has a basis given by {t1 , t1 2 , t2 , t3 } and considering the
right multiplication by an element of this basis we get δ(t1 ) = E1,2 , δ(t1 2 ) = 0,
δ(t2 ) = −E3,2 , δ(t3 ) = −E4,2 , and so the associated regular subgroup is



1 x1 x2 x3 x4








x1
0
0

 0 1



1
0
0  : x1 , x2 , x3 , x4 ∈ F .
R = 0 0




0 0 −x3 1
0






0 0 −x4 0
1
Conversely we have the following result.

Theorem 3.3. Let R = µR (Fn ) be a regular subgroup of AGLn (F). Set



0
v
and LR = FIn+1 + V.
V = R − In+1 =
| v ∈ Fn
0 δR (v)
(a) If δR is additive, then V is a subring (without identity) of Matn+1 (F);
(b) the function δR is linear if and only if LR is a split local subalgebra of
Matn+1 (F) with J(LR ) = V .
Proof. Set µ = µR , δ = δR , I = In+1 and L = LR .
(a) Since δ is additive, V is an additive subgroup. From (µ(v) − I)(µ(w) − I) =
(µ(v)µ(w) − I) − (µ(v) − I) − (µ(w) − I) it follows that V is a subring.

(b) Suppose first that δ is linear. Using (a) we have that L is an additive subgroup.
By the linearity, (FI)V = V (FI) = V . It follows that LL = L, hence L is a
subalgebra of Matn+1 (F). Again linearity gives αI + (µ(αv) − I) = αµ(v) for all
α ∈ F, v ∈ Fn . Thus L \ V = F∗ R consists of elements with inverse in L. We
conclude that V = J(L) and L is a split local F-algebra.
Vice-versa, let L be a split local subalgebra with J(L) = V . In particular V is
an additive subgroup, whence δ(v + w) = δ(v) + δ(w) for all v, w ∈ Fn . Since V is
an ideal we get δ(αv) = αδ(v) for all α ∈ F, v ∈ Fn .

Our classification of the regular subgroups of AGLn (F) is based on the following
c n (F) is defined as in the Introduction.
proposition (see [1, Theorem 1]), where GL

Proposition 3.4. Assume that R1 , R2 are regular subgroups of AGLn (F) such that
δR1 and δR2 are linear maps. Then the following conditions are equivalent:
c n (F);
(a) R1 and R2 are conjugate in GL
(b) R1 and R2 are conjugate in AGLn (F);
(c) the algebras LR1 and LR2 are isomorphic.

Proof. Set δ1 = δR1 , L1 = LR1 , δ2 = δR2 , L2 = LR2 , µ1 = µR1 and I = In+1 .
(a) =⇒ (b) =⇒ (c) is clear. Let us prove (c) =⇒ (a). By Theorem 3.3, L1 and L2 are
split local algebras with Jacobson radicals R1 − I and R2 − I, respectively. Suppose
that ψ : L1 → L2 is an algebra isomorphism. In particular ψ(R1 − I) = R2 − I
and ψ induces an F-automorphism of Fn . Let P ∈ GLn (F) be the matrix of this
automorphism with respect to the canonical basis of Fn . Then

 

0
v
0
vP
ψ
=
.
0 δ1 (v)
0 δ2 (vP )

MORE ON REGULAR SUBGROUPS OF THE AFFINE GROUP

7

For all v, w ∈ Fn we have ψ(µ1 (w)µ1 (v)) = ψ(µ1 (w))ψ(µ1 (v)). This implies
δ1 (v)P = P δ2 (vP ), whence δ2 (vP ) = P −1 δ1 (v)P for all v ∈ Fn . We conclude:

 
 
−1 


0
v
0
vP
1 0
0
v
1 0
ψ
=
=
.
0 δ1 (v)
0 δ2 (vP )
0 P
0 δ1 (v)
0 P

4. Centralizers of unipotent elements
Our classification of unipotent regular subgroups of AGLn (F) is connected to
the classical theory of canonical forms of matrices. For the reader’s convenience we
recall the relevant facts. For all m ≥ 2, the conjugacy classes of unipotent elements
in GLm (F) are parametrized by the Jordan canonical forms
X
mi ,
(7)
J = diag(Jm1 , . . . , Jmk ), m =

where each Jmi is a Jordan block of size mi , namely a matrix having all 1’s on the
main diagonal and the diagonal above it, and 0’s elsewhere. A Jordan block Jm
has minimal polynomial (t − 1)m and its centralizer is the m-dimensional algebra



x0 x1 . . . xm−2 xm−1








 0 x0 . . . xm−3 xm−2 







.
..
.
:
x
∈
F
(8)
Tm,m (F) := 
 i
.
.







 0
0 ...
x0
x1 






0
0 ...
0
x0
generated by Jm . To study the centralizer of J in (7) we write c ∈ Matm (F) as:


C1,1 . . . C1,k

..  , C ∈ Mat
..
(9)
c =  ...
i,j
mi ,mj (F).
.
. 
Ck,1

...

Ck,k

Clearly c centralizes J if and only if

(10)

Jmi Ci,j = Ci,j Jmj ,

for all i, j.

Lemma 4.1. Take J as in (7) and assume further that m1 ≥ · · · ≥ mk . Then the
element c above centralizes J if and only if
Ci,j ∈ Tmi ,mj (F),

for all i, j,

where each Tmi ,mi (F) is defined as in (8) with m = mi and, for mi > mj :


Tmj ,mj (F)



0


Tmi ,mj (F) := 
 , Tmj ,mi (F) := 0 . . . 0 Tmj ,mj (F) .
.


..
0

Lemma 4.2. Take J as in (7). If m1 < mi for some i ≥ 2, then the group
CMatm (F) (J) ∩ AGLm−1 (F) is not transitive on affine row vectors (1, x1 , . . . , xm−1 ).
Proof. Consider c ∈ CMatm (F) (J) and decompose it as in (9). Application of (10)
and elementary matrix calculation give that, whenever m1 < mi , the first row of
the matrix C1,i must be the zero vector. Our claim follows immediately.


8

M.A. PELLEGRINI AND M.C. TAMBURINI BELLANI

Lemma 4.3. Let J be as in (7). If k > 1, assume further that m1 ≥ mi for all
i ≥ 2. Then, for every v ∈ Fm , there exists c ∈ CMatm (F) (J) having v as first row.
If the first coordinate of v is non zero, such c can be chosen nonsingular.
Proof. Both claims are direct consequences of the description of Tm,m (F) preceding
(8) and Lemma 4.1.

Theorem 4.4. Let R be a regular subgroup of AGLn (F) and 1 6= z be an element
of the center Z(R) of R. Then, up to conjugation of R under AGLn (F), we may
suppose that z = Jz , where Jz = diag (Jn1 , . . . , Jnk ) is the Jordan form of z having
Jordan blocks of respective sizes ni ≥ ni+1 for all i ≥ 1.
Proof. Let t be the number of non-trivial invariant factors of z.
Case t = 1, i.e. Jz = Jn+1 . Let g ∈ GLn+1 (F) be such that g −1 zg = Jz . Since
must be the
is the eigenspace of Jz (acting on the left) we have that geT
eT
0
0
T
eigenspace of z (acting on the left). From z ∈ AGLn (F) it follows ze0 = eT
0 , hence
−1
T
geT
g ∈ AGLn (F) conjugates z to Jz .
0 = λe0 . We conclude that λ
c n (F) that conjugates z to
Case t > 1. By the unipotency of z, there exists g ∈ GL


1 w1 . . . wh

0 Jm1


z′ =  .
.
..

 ..
.
0

0

...

Jm h

We claim that the first coordinate of wi ∈ Fni cannot be 0 for all i ≥ 1. Indeed, in
this case, there exists ui ∈ Fni such that wi = ui (Ini − Jni ) for all i ≥ 1. Setting
u = (u1 , . . . , uh ) we have

−1 
 

1 u ′ 1 u
1 0
′′
z :=
z
=
, J = diag (Jm1 , . . . , Jmh ) .
0 I
0 I
0 J

It follows that CAGLn (F) (z ′′ ) is not transitive on the affine vectors by Lemma 4.2,
noting that J 6= In : a contradiction. So there exists some t, 1 ≤ t ≤ h, such that
the first coordinate of wt is non zero. Up to conjugation by an obvious permutation
c n (F) we may assume t = 1, i.e., wt = w1 .
matrix in GL
By Lemma 4.3 there exists p ∈ GLn (F) which centralizes diag (Jm1 , . . . , Jmh )
and has v = (w1 , . . . , wh ) as first row. It follows that vp−1 = (1, 0, . . . , 0). Thus


 
0
1 0 ′ 1
z ′′′ =
= diag(J1+m1 , Jm2 , . . . , Jmh ).
z
0 p−1
0 p

Again by Lemma 4.2 we must have m1 + 1 ≥ mi for all i ≥ 2. A final conjugation,
c n (F) allows to arrange the blocks of z ′′′
if necessary, by a permutation matrix in GL
in non-increasing sizes, i.e. allows to conjugate z ′′′ to Jz as in the statement.

5. Some useful parameters

We introduce some parameters that will be used mainly to exclude conjugacy
among regular subgroups. Let H be any unipotent subgroup of Gn := AGLn (F).
For each h− In+1 ∈ H − In+1 we may consider the degree of its minimal polynomial
over F, denoted by deg minF (h − In+1 ), and its rank, denoted by rk(h − In+1 ). E.g.,
deg minF (h − In+1 ) = n + 1 if and only if h is conjugate to a unipotent Jordan block
Jn+1 of size n + 1. Note that rk(Jn+1 − In+1 ) = n.

MORE ON REGULAR SUBGROUPS OF THE AFFINE GROUP

9

Hence, we may set:
d(H) = max{deg minF (h − In+1 ) | h ∈ H};
r(H) = max{rk(h − In+1 ) | h ∈ H};
k(H) = dimF {w ∈ Fn : wπ(h) = w}.

If H is a subgroup of a regular subgroup U such that δU is linear, then k(H) =
dimF Ker (δU |H ).
Clearly if two unipotent subgroups H1 , H2 are conjugate, then:
d(H1 ) = d(H2 ),
d(Z(H1 )) = d(Z(H2 )),

r(H1 ) = r(H2 ),

k(H1 ) = k(H2 ),

r(Z(H1 )) = r(Z(H2 )),

k(Z(H1 )) = k(Z(H2 )).

Lemma 5.1. Let H be a unipotent subgroup of AGLn (F) and assume that Fn is
the direct sum of non-trivial π(H)-invariant subspaces V1 , . . . , Vs . Then k(H) ≥ s.
In particular, if k(H) = 1, then H is indecomposable.
Proof. H induces on each Vi a unipotent group Hi . So, in each Vi , there exists a
non-zero vector wi fixed by all elements of Hi (see [10, Theorem 17.5 page 112]). It
follows that w1 , . . . , ws are s linearly independent vectors of Fn fixed by π(H). 
Notation. For sake of brevity, we write


x1 x2 . . . xn
1
(11)
U=
0 τU (x1 , x2 , . . . , xn )

to indicate the regular subgroup



1 x1 x2 . . . xn
U=
: x1 , . . . , xn ∈ F .
0 τU (x1 , x2 , . . . , xn )

For all i ≤ n, we denote by Xi the matrix of U − In+1 obtained taking xi = 1 and
xj = 0 for all j 6= i.
The set {v1 , . . . , vn } is the canonical basis of Fn .
We recall that the center of a unipotent group is non-trivial.
Lemma 5.2. Let U be a unipotent regular subgroup of Gn . If d(Z(U )) = n + 1
then, up to conjugation, U = CGn (Jn+1 ). Moreover U is abelian.
Proof. Up to conjugation Jn+1 ∈ Z(U ), whence U ≤ CGn (Jn+1 ). Since this group

is regular, we have U = CGn (Jn+1 ). It follows that U is abelian.
Lemma 5.3. Let U be a regular subgroup of Gn such that δU is linear. If r(U ) = 1,
then U is the translation subgroup T , which is an abelian normal subgroup of Gn .
Furthermore, d(T ) = 2.
Proof. By the unipotency, we may always assume that U is upper unitriangular.
Then, the rank condition gives δ(vi ) = 0, for 1 ≤ i ≤ n, whence our claim.

Lemma 5.4. Let U be a regular subgroup of Gn , n ≥ 2, such that δU is linear. If
d(Z(U )) = n then, up to conjugation, for some fixed α ∈ F:
 1 x1 x2 ... xn−2 xn−1 xn 
0 1 x1 ... xn−3
0 1 ... xn−4

(12)

0

U = Rα =  ...
0

0
0 0
0 0

..

.

0 ...
0 ...
0 ...

..
.

1
0
0

0
0

xn−2
xn−3

0
1
0

x1
αxn−1
1

..
.

..
.



.


10

M.A. PELLEGRINI AND M.C. TAMBURINI BELLANI

In particular U is abelian and r(U ) = n − 1. Furthermore, R0 and Rα are not
conjugate for any α 6= 0,
If n ≥ 3, an epimorphism Ψ : F[t1 , t2 ] → FIn+1 + R0 is obtained setting
(13)

Ψ(t1 ) = X1 ,

Ψ(t2 ) = Xn−1 .

In this case we have Ker (Ψ) = ht1 n , t1 2 , t1 t2 i.
If n ≥ 4 is even, then Rα is conjugate to R1 for any α 6= 0 and an epimorphism
Ψ : F[t1 , t2 ] → FIn+1 + Rα is obtained setting
(14)

Ψ(t1 ) = αX1 ,

Ψ(t2 ) = α

n−2
2

Xn−1 .

In this case Ker (Ψ) = ht1 n−1 − t2 2 , t1 t2 i.
If n is odd, write α 6= 0 as α = λε2 , λ, ε ∈ F∗ . Then Rα is conjugate to Rλ and
an epimorphism Ψ : F[t1 , t2 ] → FIn+1 + Rα is obtained setting
(15)

Ψ(t1 ) = αX1 ,

Ψ(t2 ) = λ

n−3
2

εn−2 Xn−1 .

In this case Ker (Ψ) = ht1 n−1 − λt2 2 , t1 t2 i. In particular Rα and Rβ (α, β ∈ F∗ )
are conjugate if and only if β/α is a square in F∗ .
Proof. Up to conjugation we may suppose that z 
= diag(Jn , J1 ) ∈ Z(U ). The

X 0
subalgebra generated by z coincides with the set
: X ∈ CGn−1 (Jn ) .
0 1
This information gives the values of δ(vi ) for 1 ≤ i ≤ n − 1. From Lemma 4.1, we
get δ(vn ) = αEn,n−1 . Applying (3), it follows that U is abelian. Conjugating by
the permutation matrix associated to the transposition (n, n + 1) we obtain that U
is conjugate to Rα .
The subgroups R0 and Rα are not conjugate when α 6= 0, since k(R0 ) = 2 and
k(Rα ) = 1. The presentations of the corresponding algebras can be verified by
matrix calculation.
Assume now that n is odd. If α = βε2 6= 0, then the subgroups Rα and Rβ are
conjugate in virtue of (15) and Proposition 3.4. Conversely, suppose that α, β ∈ F∗
c n (F) (see Proposition 3.4). According to
and that Q−1 Rα Q = Rβ for some Q ∈ GL
(12), write




1
X
xn
1
Y
yn
Rα = 0 In−1 + DX AX T  , Rβ = 0 In−1 + DY BY T  ,
0
0
1
0
0
1
where X = (x1 , . . . , xn−1 ), Y = (y1 , . . . , yn−1 ), A = diag(antidiag(1, . . . , 1), α)
and B = diag(antidiag(1, . . . , 1), β). Hence det(A) = ζα and det(B) = ζβ, where
n+1
ζ = (−1) 2 . We may assume that vn Q = λvn since hvn i is the subspace fixed
pointwise by both subgroups. Thus, for some N ∈ Fn−1 and λ ∈ F∗ , Q = Q1 Q2 ,
where




1
0
0
1 0 0
Q1 = 0 In−1 λ−1 N  , Q2 = 0 M 0  , det(M ) 6= 0, λ 6= 0.
0
0
1
0 0 λ
e
Now, Q−1
1 Rα Q1 = Rα , where

 
1
1
X
x̃n
eα = 0 In−1 + DX λ−1 DX N + AX T  = 0
R
0
0
1
0

X
In−1 + DX
0


x̃n
e T ,
AX
1

MORE ON REGULAR SUBGROUPS OF THE AFFINE GROUP

11

e = ζα. From R
eα Q2 − Q2 Rβ we get, in particular, Y = XM and
with det(A)
e T , whence M BM T X T = λAX
e T , for all X ∈ Fn−1 . It follows that
M BY T = λAX
e and taking the determinant of both sides, we obtain ζβ(det(M ))2 =
M BM T = λA
n−1
ζλ
α. We conclude that β/α is a square.

6. Standard regular subgroups

The aim of this section is to define, for every partition λ of n + 1 different from
(1
), one or two abelian regular subgroups Sλ , Sλ♯ of AGLn (F) so that different
partitions define non-conjugate subgroups.
To this purpose we start by identifying the direct product AGLm1 (F)×AGLm2 (F)
with the stabilizer of Fm1 and Fm2 in AGLm1 +m2 (F), namely with the subgroup:



 1 v w

0 A 0  : v ∈ Fm1 , w ∈ Fm2 , A ∈ GLm1 (F), B ∈ GLm2 (F) .


0 0 B
n+1

Clearly, in this identification, if Ui are respective regular subgroups of AGLmi (F)
for i = 1, 2 then U1 × U2 is a regular subgroup of AGLm1 +m2 (F).
Here, and in the rest of the paper, we denote by S(1+n) the centralizer in AGLn (F)
of a unipotent Jordan block of size n + 1, namely:
S(1+n) = CAGLn (F) (J1+n ).

Moreover we write τ1+n for τS(1+n) and δ1+n for δS(1+n) . By Lemma 5.2, a regular
subgroup of AGLn (F ) is conjugate to S(1+n) if and only if d(Z(S(1+n) )) = n + 1.
Observe that S(1+n) is abelian and indecomposable by Lemma 5.1. More generally,
for a partition λ of n + 1 such that:
(16)

λ = (1 + n1 , n2 , . . . , ns ),

s ≥ 1,

ni ≥ n1+i ≥ 1,

1 ≤ i ≤ s − 1,

we define an abelian regular subgroup Sλ of AGLn (F). Namely we set:
Sλ = S(1+n1 ,...,ns ) =

s
Y

S(1+nj ) .

j=1

Notice that Sλ is indecomposable only for s = 1. In particular, if λ = (2, 1n−1 ),
then Sλ = T .
Lemma 6.1. Given a partition (1 + n1 , n2 ) of n + 1, with 1 + n1 ≥ n2 > 1, set:



u
v
 1

♯
 0 τ1+n1 (u) w ⊗ DuT  : u ∈ Fn1 , v ∈ Fn2 ,
S(1+n
=
,n
)
1
2


0
0
τn2 (v)

♯
where w = (0, . . . , 0, 1) ∈ Fn2 , D = antidiag(1, . . . , 1) ∈ GLn1 (F). Then S(1+n
1 ,n2 )
♯
is an indecomposable regular subgroup of AGLn (F) with d(S(1+n
) = n1 + 2.
1 ,n2 )

♯
Proof. Routine calculation with matrices shows that S(1+n
is closed under mul1 ,n2 )
tiplication, hence a subgroup. Moreover it is indecomposable by Lemma 5.1. Again
♯
by matrix calculation one can see that d(S(1+n
) = n1 + 2. To check that
1 ,n2 )
♯
S(1+n
is a subgroup it is useful to note that:
1 ,n2 )

(a) all components of u(w ⊗ DuT ), except possibly the last one, are zero;

12

M.A. PELLEGRINI AND M.C. TAMBURINI BELLANI

(b) δn2 (v) does not depend on the last component of v;
(c) (w ⊗ DuT )δn2 (v) = 0;
n1
(d) w ⊗ D(u1 δ1+n1 (u2 ))T = δ1+n1 (u1 )(w ⊗ DuT
2 ) for all u1 , u2 ∈ F .



Next, consider a partition µ of n + 1 such that:
(17) µ = (1+n1 , n2 , . . . , ns ), s ≥ 2, 1+n1 ≥ n2 > 1, ni ≥ n1+i ≥ 1, 2 ≤ i ≤ s−1.
We define the abelian regular subgroup Sµ♯ in the following way:
Sµ♯

=

♯
S(1+n
1 ,n2 ,n3 ...,ns )

=

♯
S(1+n
1 ,n2 )

×

s
Y

S(1+nj ) .

j=3

The regular subgroups Sλ , Sµ♯ associated to partitions as above will be called
standard regular subgroups. As already mentioned Sλ and Sµ♯ are always abelian.
Remark 6.2. Let λ = (1 + n1 , . . . , ns ) be a partition as in (16). Then Fn is a direct
sum of s indecomposable modules of respective dimensions ni for which d = ni + 1.
Furthermore,
F[t1 , t2 , . . . , ts ]
(18)
Lλ = FIn+1 + Sλ ∼
.
= ni +1
hti
: 1 ≤ i ≤ s; ti tj : 1 ≤ i < j ≤ si

An epimorphism Ψ : F[t1 , t2 , . . . , ts ] → Lλ is obtained by setting
(19)

Ψ(ti ) = Xi .

Let now µ = (1 + n1 , . . . , ns ) be a partition as in (17). Then Fn is a direct
sum of s − 2 indecomposable modules of respective dimension ni , i ≥ 3, for which
d = ni + 1, and a single indecomposable module of dimension n1 + n2 for which
d = n1 + 2. Furthermore,
F[t1 , t2 , . . . , ts ]
.
(20) L♯µ = FIn+1 + Sµ♯ ∼
= n1 +1
n2
ni +1
ht1
− t2 ; ti
: 3 ≤ i ≤ s; ti tj : 1 ≤ i < j ≤ si

An epimorphism Ψ : F[t1 , t2 , . . . , ts ] → L♯µ is obtained by setting
(21)

Ψ(ti ) = Xi .

Theorem 6.3. Let λ1 = (1 + n1 , . . . , ns ), λ2 = (1 + m1 , . . . , mt ) be two partitions of
n + 1 as in (16) and let µ1 = (1 + a1 , . . . , ah ), µ2 = (1 + b2, . . . , bk ) be two partitions
of n + 1 as in (17). Then
(a) Sλ1 is not conjugate to Sµ♯ 1 ;
(b) Sλ1 is conjugate in AGLn+1 (F) to Sλ2 if and only if λ1 = λ2 ;
(c) Sµ♯ 1 is conjugate in AGLn+1 (F) to Sµ♯ 2 if and only if µ1 = µ2 .
Proof. (a) There exists an isomorphism ϕ : Lλ1 → L♯µ1 . Setting vu := vϕ(u)
for all u ∈ Lλ1 , v ∈ J(L♯µ1 ) we may consider J(L♯µ1 ) as an Lλ1 -module. Clearly
J(Lλ1 ) ∼
= Fn as Lλ1 -modules. By construction, Fn is a direct sum of
= J(L♯µ1 ) ∼
indecomposable Lλ1 -modules. By Remark 6.2, for J(Lλ1 ) each direct summand
has dimension ni and d = ni + 1 and for J(L♯µ1 ) there is a direct summand of
dimension a1 + a2 and d = a1 + 2 < a1 + a2 + 1. Hence, by Krull-Schmidt Theorem
(e.g., see [11, page 115]), Sλ1 is not conjugate to Sµ♯ 1 .
(b) Arguing as before, we may consider J(Lλ2 ) as an Lλ1 -module. In this case,
by construction, Fn is a direct sum of indecomposable Lλ1 -modules of dimension

MORE ON REGULAR SUBGROUPS OF THE AFFINE GROUP

13

ni such that d = ni + 1 (see Remark 6.2(1)). By Krull-Schmidt Theorem they are
conjugate if and only if s = t and ni = mi .
(c) Again, we may consider J(L♯µ2 ) as an L♯µ1 -module. In this case, by construction, Fn is a direct sum of indecomposable L♯µ1 -modules, one of dimension a1 + a2
such that d = a1 + 2 < a1 + a2 + 1, the others of dimension ni such that d = ai + 1
(see Remark 6.2(2)). By Krull-Schmidt Theorem they are conjugate if and only if
h = k and ai = bi .

Remark 6.4. Note that for n ≥ 3, the regular subgroups R0 and R1 of Lemma 5.4
♯
coincide, respectively, with S(n,1) and S(n−1,2)
.
7. Regular subgroups with linear δ
By [14, Lemma 5.1], 
the only regular subgroup of AGL1 (F) is the translation
x0 x1
. However, already for n = 2, a description
subgroup T = S(2) =
0 x0
becomes much more complicated. As seen in Example 2.5 there are 2|R| conjugacy
classes of regular subgroups of AGL2 (R) with trivial center. Also, restricting to
the unipotent case, one may only say that every unipotent regular subgroup is
conjugate to:


1 x1
x2
0 1 σ(x1 )
0 0
1
where σ ∈ HomZ (F, F) ([14, Lemma 5.1]). See also Examples 2.6 and 2.7.
Thus, from now on, we restrict our attention to regular subgroups U of AGLn (F)
such that the map δU defined in (1) is linear. U is unipotent by Theorem 2.4 and
so there exists 1 6= z ∈ Z(U ). By Theorem 4.4, up to conjugation, we may assume
that z is a Jordan form. For the notation we refer to Section 5. Our classification
is obtained working on the parameters d, r and k, considered in this order.
In the tables of the next subsections the indecomposability of the regular subgroups follows from Lemma 5.1, since k(U ) = 1, except for the subgroup U14 of
Table 3, for which we refer to Lemma 7.4. Also, we describe the kernel of the
epimorphism
Ψ : F[t1 , . . . , ts ] → FIn+1 + U.
7.1. Case n = 2. If d(Z(U )) = 3, then U is abelian and conjugate to S(3) by
Lemma 5.2. If d(Z(U )) = 2, then U is abelian and r(U ) = 1 by Lemma 5.4. Thus
U is conjugate S(2,1) by Lemma 5.3. Table 1 summarizes these results.
U

FIn+1 + U
Ψ Ker (Ψ)

x0 x1 x2
ht1 3 i
indec.
S(3)  0 x0 x1  (19)
0
0 x0


x0 x1 x2
S(2,1)  0 x0 0  (19) ht1 , t2 i2
0
0 x0
Table 1. Representatives for the conjugacy classes of regular subgroups U of AGL2 (F) with linear δ, for any field F.


14

M.A. PELLEGRINI AND M.C. TAMBURINI BELLANI

7.2. Case n = 3. To obtain the full classification, we need some preliminary results.
Lemma 7.1. If d(Z(U )) = r(Z(U )) = 2, then U is abelian, conjugate to


1 x1 x2 x3
0 1
0 x2 

U13 = 
0 0
1 x1 
0 0
0
1

and char F = 2. An epimorphism Ψ : F[t1 , t2 ] → FI4 + U is obtained by setting
(22)

Ψ(t1 ) = X1 ,
2

Ψ(t2 ) = X2 .

2

In this case, we have Ker (Ψ) = ht1 , t2 i.
Proof. We may assume z = diag(J2 , J2 ) ∈ Z(U ), whence δ(v1 ) = E2,3 . From
Lemma 4.1 and the unipotency of U we obtain δ(v2 ) = E1,3 + αE2,1 + βE2,3 . It
follows v1 δ(v2 ) = v3 . Now, we apply (2) to v1 , v2 , which gives δ(v3 ) = δ(v1 )δ(v2 ) =
0. Direct calculation shows that U is abelian. Hence d(Z(U )) = d(U ) = 2. In
particular, (µ(v2 ) − I4 )2 = 0 gives α = β = 0. Finally (µ(v1 + v2 ) − I4 )2 = 0 gives
char F = 2.

It is convenient to denote by V (α2 , α3 , β2 , β3 ) the regular subgroup defined by:


1
x1
x2 x3
0
1
0
0
.
(23)
V (α2 , α3 , β2 , β3 ) = 
0 α2 x2 + α3 x3 1
0
0 β2 x2 + β3 x3 0
1

Notice that V (α2 , α3 , β2 , β3 ) is abelian if and only if α3 = β2 .
We need the cosquare A− T A of a nonsingular matrix A. If A, B are congruent,
i.e., B = P AP T for a nonsingular P , their cosquares are conjugate (e.g., see [9]).
Lemma 7.2. Let β, γ ∈ F with βγ 6= 0. The subgroups Vβ = V (1, 1, 0, β) and
Vγ = V (1, 1, 0, γ) are conjugate in AGL3 (F) if and only if β = γ.
c 3 (F) (see Proposition 3.4).
Proof. Suppose that Q−1 Vβ Q = Vγ for some Q ∈ GL
We may assume that v1 Q = λv1 since hv1 i is the subspace of F3 fixed pointwise by
both subgroups. Thus Q has shape:


1 0
0
0


0 λ
0
0 
p1,1 p1,2


Q=
, λ 6= 0, P =
nonsingular.
0 q1 p1,1 p1,2 
p2,1 p2,2
0 q2 p2,1 p2,2
q1
λ E3,2

−

q2
λ E4,2

normalizes V
β . Hence,
 substituting
 Qwith
1 1
1 1
KQ, we may suppose q1 = q2 = 0. Setting B =
and C =
we
0 β
0 γ
have:




1
x1
X
1
y1
Y
Vβ =  0
1
0  X = (x2 , x3 ), Vγ =  0
1
0  Y = (y2 , y3 ).
0 BX T I2
0 CY T I2
The matrix K = I4 −

From Vβ Q = QVγ we get Y = XP and λBX T = P CY T , whence
λBX T = P CP T X T ,

for all X ∈ F2 .

MORE ON REGULAR SUBGROUPS OF THE AFFINE GROUP

15

It follows that λB = P CP T , i.e., the matrices λB and C are congruent. So their
cosquares must be conjugate. But the characteristic polynomials of the cosquares
are respectively t2 + (β −1 − 2)t + 1 and t2 + (γ −1 − 2)t + 1, whence β = γ.

Lemma 7.3. Suppose d(Z(U )) = 2 and r(Z(U )) = 1. If U is abelian, then U =
S(2,12 ) . Otherwise, U is conjugate to exactly one of the following subgroups:


1 x1 x2 x3
0 1
0
0
, if k(U ) = 2;
(a) N1 = 
0 0
1 x1 
0
1 
0 0
1 x1 x2 x3
0 1
0 −x2 
, if k = 1, d(U ) = 2 and char F 6= 2;
(b) N2 = 
0 0
1
x1 
0 0
0
1


1 x1 x2
x3
0 1
0 x1 + x2 
, λ ∈ F∗ , if k = 1 and d(U ) = 3.
(c) N3,λ = 
0 0
1
λx2 
0 0
0
1
The algebras L1 = FI4 + N1 , L2 = FI4 + N2 and L3,λ = FI4 + N3,λ have the
following presentation:
L1 = SpanF (t1 , t2 ),
L2 = SpanF (t1 , t2 ),
L3,λ = SpanF (t1 , t2 ),

where
where
where

t1 2 = t2 2 = t1 t2 = 0;
t1 2 = t2 2 = t1 t2 + t2 t1 = 0;
t2 2 − λt1 2 = t2 t1 = t1 2 − t1 t2 = 0,

λ ∈ F∗ .

Proof. If U is abelian, then r(U ) = r(Z(U )) = 1 and by Lemma 5.3, U = S(2,12 ) .
So, suppose that U is not abelian. We may assume z = diag(J2 , J1 , J1 ) ∈ Z(U ).
Now z = µ(v1 ) gives δ(v1 ) = 0 and,
(3), we get that the first row of δ(v) is
 from 

zero for all v ∈ F3 . Hence δ(v) =

0 0 0
α y1 y2
β y3 −y1

with y12 + y2 y3 = 0, by the unipotency

of U . Now fix v = (0, x2 , x3 ) 6= 0 in hv2 , v3 i. Conjugating by g = diag(I2 , P ) with
a suitable P ∈ GL2 (F), we may assume either (i) y1 = y2 = 0 and y3 = 1 or (ii)
y1 = y2 = y3 = 0.


0 00

In case (i) if x3 = 0, we may suppose v = v2 . So δ(v2 ) = α2 0 0 and δ(v3 ) =
β2 1 0
 0 0 0 
α3 γ1 γ2
. Applying (2) to v2 , v2 and to v3 , v2 we obtain respectively α2 = 0
β3 γ3 −γ1

and γ1 = −1, γ2 = 0, which contradicts
the unipotency
of U . On the other hand,

  −1
0
x
we may assume v = v3 , hence
if x3 6= 0, conjugating by diag I2 , −x 3x−2 x−1
2 3
3
 0 0 0
 0 0 0
δ(v3 ) = α3 0 0 . Applying (2) to v3 , v3 we obtain δ(v2 ) = δ(v3 )2 = 0 0 0 .
α3 0 0

β3 1 0

However, in this case U is abelian.
In case (ii), up to a further conjugation
shape of g, we
 0 0 0by
 a matrix of the
 0same
0 0 
α
γ
γ
3
1
2
may suppose v = v2 , hence δ(v2 ) = α2 0 0 . Set δ(v3 ) =
. Now, (2)
β2 0 0

β3 γ3 −γ1

applied to v2 , v3 gives γ1 δ(v2 ) + γ2 δ(v3 ) = δ(v2 )δ(v3 ) = 0. In particular, γ22 = 0,
whence γ2 = 0. It follows γ1 = 0 by the condition γ12 + γ2 γ3 = 0. Replacing, if
necessary, v3 by a scalar multiple, we get either γ3 = 1 or γ3 = 0. In the first case,
(2) applied to v3 , v3 gives α3 = β2 , α2 = 0 and U is abelian. In the second one, U
is conjugate V (α2 , α3 , β2 , β3 ) with α3 6= β2 , from the non-abelianity.

16

M.A. PELLEGRINI AND M.C. TAMBURINI BELLANI

Let ∆ = α2 β3 − α3 β2 , with α3 6= β2 . If ∆ = 0, then k(U ) = 2. An isomorphism
Ψ : L1 → L = FI4 + V (α2 , α3 , β2 , β3 ) is obtained by setting

Ψ(t1 ) = β2 X2 − α2 X3
if α2 6= 0 take
;
Ψ(t2 ) = α3 X2 − α2 X3

Ψ(t1 ) = − αβ33 X2 + X3
;
if α2 = β2 = 0 take
Ψ(t2 ) = X2

Ψ(t1 ) = X2
if α2 = α3 = 0 take
.
Ψ(t2 ) = − ββ32 X2 + X3
By Proposition 3.4, the subgroup U is conjugate to N1 .
Suppose now that ∆ 6= 0 (which implies k(U ) = 1). If d(U ) = 2, then char F =
6
2, α2 = β3 = 0 and β2 = −α3 6= 0. An isomorphism Ψ : L2 → L = FI4 +
V (α2 , α3 , β2 , β3 ) is obtained by setting
Ψ(t1 ) = X2 ,

Ψ(t2 ) = X3 .

By Proposition 3.4, the subgroup U is conjugate to N2 .
If d(U ) = 3, an isomorphism Ψ : L3,λ → L = FI4 + V (α2 , α3 , β2 , β3 ) is obtained
2 β3 −α3 β2
by setting λ = α(α
and
2
3 −β2 )
if β3 6= 0 take
if β3 = 0, α2 6= 0 take
if α2 = β3 = 0 (α3 6= −β2 ) take





(

Ψ(t1 ) = X3
3
X2 +
Ψ(t2 ) = − α3β−β
2
Ψ(t1 ) = X2
2
Ψ(t2 ) = − α3β−β
X2 +
2

α3
α3 −β2 X3
α2
α3 −β2 X3

;
;

2
X3
Ψ(t1 ) = X2 + α3α−β
3
.
β2
Ψ(t2 ) = − α3 −β2 X2 + X3

By Proposition 3.4, the subgroup V (α2 , α3 , β2 , β3 ) is conjugate to N3,λ , λ 6= 0. The
statement now follows from Lemma 7.2

We can now classify the regular subgroups U of AGL3 (F) having linear δ, including the non-abelian ones, arising from d(Z(U )) = 2 and r(Z(U )) = 1.
If d(Z(U )) = 4, then U is conjugate to S(4) , by Lemma 5.2. If d(Z(U )) = 3, then
U is one of the subgroups Rα described in Lemma 5.4: namely, for k(U ) = 2, U is
conjugate to R0 and, for k(U ) = 1, U is conjugate to Rλ , where λ can be chosen in
a transversal F of (F∗ )2 in F∗ . As observed in Remark 6.4, R0 and R1 coincide,
♯
respectively, with S(3,1) and S(2,2)
. If d(Z(U )) = 2 we have two possibilities. When
r(Z(U )) = 2 we apply Lemma 7.1, that gives char F = 2 and U is conjugate to U13 .
When r(Z(U )) = 1 we apply Lemma 7.3: when abelian U = S(2,12 ) , otherwise U is
conjugate to one of the subgroups N1 , N2 , N3,λ , λ ∈ F∗ .
A complete set of representatives of the abelian regular subgroups of AGL3 (F)
is given in Table 2. The conjugacy classes of non-abelian regular subgroups of
AGL3 (F) are described in Lemma 7.3.
7.3. Case n = 4. Once again, to obtain the full classification of the abelian regular
subgroups of AGL4 (F) we need some preliminary results.

MORE ON REGULAR SUBGROUPS OF THE AFFINE GROUP

U

17

FI4 + U
char F Ψ
Ker (Ψ)

x0 x1 x2 x3
 0 x0 x1 x2 


any
(19)
ht1 4 i
indec.
S(4)
0
0 x0 x1 
0
0
0 x0


x0 x1 x2 x3
 0 x0 x1 0 


S(3,1)
any
(13)
ht1 3 , t2 2 , t1 t2 i
0
0 x0 0 
0
0
0 x0


x0 x1 x2 x3
 0 x0 0
x1 
Rλ , λ ∈ F


any
(15) ht1 2 − λt2 2 , t1 t2 i indec.
♯
0
)
(R1 =S(2,2)
0 x0 λx2 
0
0
0
x0


x0 x1 x2 x3
 0 x0 0 x2 


U13
2
(22)
ht1 2 , t2 2 i
indec.
0
0 x0 x1 
0
0
0 x0


x0 x1 x2 x3
 0 x0 0
0


S(2,12 )
any
(19)
ht1 , t2 , t3 i2
0
0 x0 0 
0
0
0 x0
Table 2. Representatives for the conjugacy classes of abelian regular subgroups U of AGL3 (F), for any field F.


Lemma 7.4. Let U be a regular subgroup of AGL4 (F) such that δ is linear. If
d(Z(U )) = r(Z(U )) = 3, then U is abelian and is conjugate to


1 x1 x2 x3
x4
0 1
x1
0
x3 



,
1
0
0
R(α, β) = 0 0
α, β ∈ F.

0 0 βx3 1 x1 + αx3 
0 0
0
0
1

Furthermore, if F has no quadratic extensions, there are exactly two conjugacy
classes of such subgroups, whose representatives are, for instance, R(0, 0) and
R(1, 0), which is conjugate to S(3,2) . Finally, U14 = R(0, 0) is indecomposable.
Proof. We may suppose that z = diag(J3 , J2 ) ∈ Z(U ). From z, z 2 ∈ U we obtain
δ(v1 ) = E1,2 + E3,4 and δ(v2 ) = 0. By Lemma 4.1 an the unipotency of U it follows
that δ(v3 ) = E1,4 + αE3,4 + βE3,2 + γ(E3,1 + E4,2 ). Applying (2) to v3 , v1 we obtain
δ(v4 ) = δ(v3 )δ(v1 ) = γE3,2 . In particular U is abelian. Now (µ(v3 ) − I5 )3 = 0 gives
γ = 0. We conclude that U is conjugate to R(α, β).
Now, assume that F has no quadratic extensions. An epimorphism Ψ : F[t1 , t2 ] →
FIn+1 + R(α, β) is obtained in the following way. If α2 + 4β 6= 0, take
p
p
(24) Ψ(t1 ) = (α + α2 + 4β)X1 − 2X3 , Ψ(t2 ) = (α − α2 + 4β)X1 − 2X3
when char F 6= 2 and take

(25)

Ψ(t1 ) = rX1 + X3 ,

Ψ(t2 ) = (r + α)X1 + X3 ,

18

M.A. PELLEGRINI AND M.C. TAMBURINI BELLANI

when char F = 2 (here r ∈ F is such that r2 + αr + β = 0). In both cases,
Ker (Ψ) = ht1 3 , t2 3 , t1 t2 i. Comparison with the presentation of FI5 + S(3,2) given
in (18) shows that R(α, β) is conjugate to S(3,2) by Proposition 3.4.
If α2 + 4β = 0, take
(26)

Ψ(t1 ) = X1 ,

when char F 6= 2 and take
(27)

Ψ(t1 ) = X1 ,

Ψ(t2 ) = αX1 − 2X3
Ψ(t2 ) =

p
βX1 + X3

when char F = 2. In both cases Ker (Ψ) = ht1 3 , t1 2 t2 , t2 2 i.
The algebras defined by the two presentations above are not isomorphic, as the
subspaces consisting of elements whose square is zero (namely ht1 2 , t2 2 i in the first
case, ht1 2 , t2 , t1 t2 i in the second case) have different dimensions. By Proposition
3.4, there are exactly two conjugacy classes of subgroups R(α, β), depending on the
nullity of α2 + 4β.
Noting that k(U14 ) = 2, direct computation shows that U14 is indecomposable. 
Lemma 7.5. Let U be an abelian regular subgroup of AGL4 (F). If d(U ) = 3 and
r(U ) = 2, then U is conjugate to


1 x1
x2
x3 x4
0 1
x1
0
0


.
0
0
1
0
0
R(α, β, γ) = 


0 0 αx3 + βx4 1
0
0 0 βx3 + γx4 0
1

If β 2 − αγ 6= 0, then k(U ) = 1. If β 2 − αγ = 0 with (α, β, γ) 6= (0, 0, 0), then
k(U ) = 2 . Finally, if α = β = γ = 0, then k(U ) = 3. Furthermore, assuming that
every element of F is a square, there are exactly three conjugacy classes of such
subgroups. Their representatives are, for instance,
U24 = R(0, 0, 1) (if k = 1),

R(0, 1, 0) (if k = 2),

R(0, 0, 0) = S(3,1,1) (if k = 3).

♯
Observe that R(0, 1, 0) is conjugate to S(2,2,1)
.

Proof. We may assume z = diag(J3 , J1 , J1 ) ∈ U . From z, z 2 ∈ U we obtain δ(v1 ) =
E1,2 and δ(v2 ) = 0. By Lemma 4.1 and the unipotency of U , for any v ∈ hv3 , v4 i
0 0 0 0 
we have δ(v) = 00 α0 0ξ η0 , where ξ 2 + ηǫ = 0. Now, rk(µ(v1 + v3 + v4 ) − I5 ) = 3
0 β ǫ −ξ

implies δ(v3 ) = α3 E3,2 + β3 E4,2 and δ(v4 ) = α4 E3,2 + β4 E4,2 . Since U is abelian,
(3) applied to v3 , v4 implies α4 = β3 . Hence U is conjugate to R(α, β, γ).
Suppose first that ∆ = β 2 − αγ 6= 0. In this case k(U ) = 1. If char F 6= 2 define
(28)

if α 6= 0
Ψ(t1 ) = X1√
,
β+ ∆
Ψ(t2 ) =
2∆ X3 −
Ψ(t3 )

=

√
−β+ ∆
X3
α

and if char F = 2, define
(29)

Ψ(t1 )
Ψ(t2 )
Ψ(t3 )

if α = 0

α
2∆ X4 ,

+ X4 ,

Ψ(t1 ) =
Ψ(t2 ) =
Ψ(t3 ) =

√
√
γ
= 4 ∆X1 + √
X +
4
∆ 3
√
αX1 + X3 ,
=
√
γX1 + X4 .
=

βX1 ,
− γ2 X3 + βX4 ,
X3 ,

√
α
√
X ,
4
∆ 4

MORE ON REGULAR SUBGROUPS OF THE AFFINE GROUP

19

We get Ker (Ψ) = ht1 2 − t2 t3 , t2 2 , t3 2 , t1 t2 , t1 t3 i.
Next suppose β 2 − αγ = 0 and (α, β, γ) 6= (0, 0, 0). Then k(U ) = 2. Define
(30)

if α 6= 0
Ψ(t1 ) =
Ψ(t2 ) =
Ψ(t3 ) =

X1 ,√
− β √α+1
X3 + αX4 ,
α
−βX3 + αX4 ,

if α = 0 and γ 6= 0
√
γX1 ,
Ψ(t1 ) =
Ψ(t2 ) =
X4 ,
Ψ(t3 ) =
X3 .

In both cases, Ker (Ψ) = ht1 2 − t2 2 , t3 2 , t1 t2 , t1 t3 , t2 t3 i. Comparison with the pre♯
♯
sentation of FI5 + S(2,2,1)
given in (20) shows that U is conjugate to S(2,2,1)
.
Finally, if α = β = γ = 0, then R(0, 0, 0) = S(3,1,1) and k(U ) = 3.

Remark 7.6. Consider the algebra L of Example 3.2 and the corresponding regular
subgroup R = R(−1, 0, −1) of the previous Lemma. Since k(R) = 1, under the
assumption that −1 is a square in F, we obtain that the algebras
F[t1 , t2 , t3 ]
F[t1 , t2 , t3 ]
and
ht1 2 + t2 2 , t1 2 + t3 2 , t1 t2 , t1 t3 , t2 t3 i
ht1 2 − t2 t3 , t2 2 , t3 2 , t1 t2 , t1 t3 i
are isomorphic in any characteristic. Actually, if char F = 2, an isomorphism can
also be obtained directly via the change of variables t′1 = t1 + t2 + t3 , t′2 = t2 + t3 ,
t′3 = t1 + t3 . This fixes an inaccuracy of [12], corrected in [13].
Lemma 7.7. Let U be an abelian regular subgroup of AGL4 (F). If d(U ) = r(U ) =
2, then char F = 2 and U is conjugate to U13 × S(1) , where U13 is defined in Table 2.

Proof. We may suppose z = diag(J2 , J2 , J1 ) ∈ U . From z ∈ U we get δ(v1 ) = E2,3 .
Lemma 4.1 and the condition (µ(v2 ) − I5 )2 = 0 give δ(v2 ) = E1,3 + α2 E4,3 . Now,
(µ(v1 + v2 ) − I5 )2 = 0 implies char F = 2. Applying (2) to v2 , v1 we get δ(v3 ) =
δ(v2 )δ(v1 ) = 0. From (µ(v2 +v4 )−I5 )2 = 0 we obtain δ(v4 ) = (α2 +α4 )E2,3 +α4 E4,3 ,
but (µ(v4 ) − I5 )2 = 0 gives α4 = 0. In conclusion, U is conjugate to


1 x1 x2
x3
x4
0 1
0
x2
0


0
0
1
x
+
αx
0
R(α) = 
1
4

.
0 0
0
1
0
0 0
0
αx2
1
An epimorphism Ψ : F[t1 , t2 , t3 ] → FIn+1 + R(α) is obtained by setting

(31)

Ψ(t1 ) = X1 ,

Ψ(t2 ) = X2 ,

Ψ(t3 ) = αX1 + X4 .

We have Ker (Ψ) = ht1 2 , t2 2 , t3 2 , t1 t3 , t2 t3 i. Considering the presentation of U13
given in Table 2, we have that U is conjugate to U13 × S(1) .

We now classify the abelian regular subgroups U of AGL4 (F). If d(U ) = 5,
then U is conjugate to S(5) by Lemma 5.2. If d(U ) = 4, then by, Lemma 5.4, U
♯
is conjugate to R0 = S(4,1) when k(U ) = 2, and to R1 = S(3,2)
when k(U ) = 1.
Suppose d(U ) = 3. If r(U ) = 3, then U is conjugate either to U14 or to S(3,2) by
♯
or to S(3,1,1)
Lemma 7.4. If r(U ) = 2, then U is conjugate either to U24 or to S(2,2,1)
by Lemma 7.5. Finally suppose d(U ) = 2. If r(U ) = 1 then U is conjugate to
S(2,13 ) by Lemma 5.3. If r(U ) = 2, then char F = 2 and U is conjugate to U13 × S(1)
by Lemma 7.7.
When F has no quadratic extensions, a complete set of representatives of the
conjugacy classes of abelian regular subgroups is given in Tables 3 and 4.

20

M.A. PELLEGRINI AND M.C. TAMBURINI BELLANI

U

S(5)

♯
S(3,2)

U14

U24

FI5 + U
char F
Ψ
Ker (Ψ).

x0 x1 x2 x3 x4
 0 x0 x1 x2 x3 


0
0 x0 x1 x2 
any
(19)
ht1 5 i


0
0
0 x0 x1 
0
0
0
0 x0


x0 x1 x2 x3 x4
 0 x0 x1 0 x2 


0
0 x0 0 x1 
any
(21)
ht1 3 − t2 2 , t1 t2 i


0

0
0 x0 x3
0
0
0
0 x0


x0 x1 x2 x3 x4
 0 x0 x1 0 x3 
6= 2
(24)


0

0
x
0
0
ht1 3 , t1 2 t2 , t2 2 i
0


0
0
0 x0 x1 
2
(25)
0
0
0
0 x0


x0 x1 x2 x3 x4
 0 x0 0
6= 2
(28)
0 x1 


0
0 x0 0 x3 
ht1 2 − t2 t3 , t2 2 , t3 2 , t1 t2 , t1 t3 i


0

0
0 x0 x2
2
(29)
0
0
0
0 x0
Table 3. Representatives for the conjugacy classes of indecomposable abelian regular subgroups U of AGL4 (F), when F has no
quadratic extensions.


Acknowledgments. We are grateful to Marco Degiovanni for a very useful suggestion, which led to Example 2.5.
References
[1] A. Caranti, F. Dalla Volta and M. Sala, Abelian regular subgroups of the affine group and
radical rings, Publ. Math. Debrecen 69 (2006), no. 3, 297–308.
[2] F. Catino, I. Colazzo and P. Stefanelli, On regular subgroups of the affine group, Bull. Aust.
Math. Soc. 91 (2015), no. 1, 76–85.
[3] F. Catino, I. Colazzo and P. Stefanelli, Regular subgroups of the affine group and asymmetric
product of radical braces, preprint.
[4] F. Catino and R. Rizzo, Regular subgroups of affine group and radical circle algebras, Bull.
Aust. Math. Soc. 79 (2009), 103–107.
[5] L.N. Childs, Elementary abelian Hopf Galois structures and polynomial formal groups, J.
Algebra 283 (2005), 292–316.
[6] L.N. Childs, On abelian Hopf Galois structures and finite commutative nilpotent rings, New
York J. Math. 21 (2015), 205–229.
[7] W. De Graaf, Classification of nilpotent associative algebras of small dimension,
arXiv:1009.5339, 27 Sep 2010.
[8] P. Hegedűs, Regular subgroups of the affine group, J. Algebra 225 (2000), no. 2, 740–742.
[9] R.A. Horn and V.V. Sergeichuk, Canonical forms for complex matrix congruence and
∗ congruence, Linear Algebra Appl. 416 (2006), no. 2-3, 1010–1032.
[10] J.E. Humphreys, Linear algebraic groups, Graduate Texts in Mathematics, No. 21. SpringerVerlag, New York-Heidelberg, 1975.
[11] N. Jacobson, Basic Algebra II, W.H. Freeman and Company, New York, (1989).

MORE ON REGULAR SUBGROUPS OF THE AFFINE GROUP

21

U

FI5 + U
char F Ψ
Ker (Ψ)


x0 x1 x2 x3 x4
 0 x0 x1 x2 0 


0
0 x0 x1 0 
S(4,1)
any
(19)
ht1 4 , t2 2 , t1 t2 i


0
0
0 x0 0 
0
0
0
0 x0


x0 x1 x2 x3 x4
 0 x0 x1 0
0



0 x0 0
0
S(3,2)
any
(21)
ht1 3 , t2 3 , t1 t2 i

0

0
0
0 x0 x3
0
0
0
0 x0


x0 x1 x2 x3 x4
 0 x0 x1 0
0


0

0
x
0
0
S(3,1,1)
any
(19) ht1 3 , t2 2 , t3 2 , t1 t2 , t1 t3 , t2 t3 i
0


0
0
0 x0 0 
0
0
0
0 x0


x0 x1 x2 x3 x4
 0 x0 0 x1 0 


♯
0
0 x0 x2 0 
S(2,2,1)
any
(21) ht1 2 − t2 2 , t3 2 , t1 t2 , t1 t3 , t2 t3 i


0

0
0 x0 0
0
0
0
0 x0


x0 x1 x2 x3 x4
 0 x0 0 x2 0 


3
0 x0 x1 0 
U1 × S(1) 
2
(31)
ht1 2 , t2 2 , t3 2 , t1 t3 , t2 t3 i
0

0
0
0 x0 0 
0
0
0
0 x0


x0 x1 x2 x3 x4
 0 x0 0
0
0



0 x0 0
0
S(2,13 )
any
(19)
ht1 , t2 , t3 , t4 i2
0

0

0
0 x0 0
0
0
0
0 x0
Table 4. Representatives for the conjugacy classes of decomposable abelian regular subgroups U of AGL4 (F), when F has no quadratic extension.

[12] B. Poonen, Isomorphism types of commutative algebras of finite rank over an algebraically
closed field, in Computational arithmetic geometry, 111–120, Contemp. Math., 463, Amer.
Math. Soc., Providence, RI, 2008.
[13] http://www-math.mit.edu/∼poonen/papers/dimension6.pdf, 11 January 2016.
[14] M.C. Tamburini Bellani, Some remarks on regular subgroups of the affine group, Int. J.
Group Theory 1 (2012), no. 1, 17–23.
Dipartimento di Matematica e Fisica, Università Cattolica del Sacro Cuore, Via
Musei 41, I-25121 Brescia, Italy
E-mail address: marcoantonio.pellegrini@unicatt.it
Dipartimento di Matematica e Fisica, Università Cattolica del Sacro Cuore, Via
Musei 41, I-25121 Brescia, Italy
E-mail address: mariaclara.tamburini@unicatt.it

