# Classification of the Quasifiliform Nilpotent Lie Algebras of Dimension 9

Authors: Mercedes Pérez; Francisco P. Pérez; Emilio Jiménez
Journal: Journal of Applied Mathematics
 (2014)

---

## Abstract

On the basis of the family of quasifiliform Lie algebra laws of dimension 9 of 16 parameters and 17 constraints, this paper is devoted to identify the invariants that completely
classify the algebras over the complex numbers except for isomorphism. It is proved that
the nullification of certain parameters or of parameter expressions divides the family into
subfamilies such that any couple of them is nonisomorphic and any quasifiliform Lie
algebra of dimension 9 is isomorphic to one of them. The iterative and exhaustive computation with Maple provides the classification, which divides the original family into
263 subfamilies, composed of 157 simple algebras, 77 families depending on 1 parameter,
24 families depending on 2 parameters, and 5 families depending on 3 parameters.


---

## Body

## 1. Introduction

The interest in classifying nilpotent Lie algebras is broad both within the academic community and the industrial engineering community, since they are applied in classical mechanical problems and current research in scientific disciplines as modern geometry, solid state physics, or particle physics [1–5]. Lie algebras classification consists in determining equivalence relations that subdivide the original set in equivalence classes defined by at least one element in each set, and it is usual to classify the algebras except for isomorphisms. The solvable Lie algebras classification problem comes down in a sense to the nilpotent Lie algebras classification [6] and computer algebra has been indispensable. However, the more the dimension increases, the more and more complex is the determination of exhaustive lists of Lie algebras, so new computation methodologies are a present field of research [7, 8] with current symbolic manipulation programs such as Reduce, Mathematica, or Maple [9].The classification of nilpotent Lie algebras over the complex numbers experimented an important advance based on the works of Ancochéa-Bermúdez and Goze [10] introducing an invariant more potent than the previously existing: the characteristic sequence or Goze's invariant (defined in Section 2.1). Those authors were able, by using the characteristic sequence as an invariant, to classify the nilpotent Lie algebras of dimension 7 [11] and the filiform Lie algebras of dimension 8 [12]. Later, by using that invariant, Gomez and Echarte [13] classify the filiform Lie algebras of dimension 9. Afterward, Castro et al. [14] develop an algorithm for symbolic language for finding the generic families of filiform Lie algebras in any dimension with the restrictions required to the parameters.Subsequent works about quasifiliform Lie algebras classification were centered on specific types of families or subclasses, obtaining results applicable to higher dimensions. For instance, the classifications of naturally graded [15] and graded by derivations [16] quasifiliform Lie algebras. These works extended to other algebras, with a high nilindex, the classification of graded filiform Lie algebras, studied initially by Vergne [17, 18], obtained from the gradation related to the filtration produced in a natural way by the descending central sequence.In this paper we focus on a method of identification of the invariants that completely classify the nilpotent Lie algebras of dimension 9 over the complex numbers except for isomorphisms. With this aim, the dimensions of the subalgebras of its derived series, of its descending central series, and of its descending central series centralizers are used as class invariants. The exhaustive analysis has been developed with significant computational effort; the total code is 2820 pages in 37 files, summing more than 12000 lines of Maple code, and these programs have provided 3038 pages of results [19]. We strongly recommend the reading of Bäuerle and de Kerf [20], Benjumea et al. [21], and Sendra et al. [22] to become familiar with Lie algebras terminology and symbolic computation with Maple.


## 2. The Subfamilies of Laws

### 2.1. Preliminaries

Let𝔤 be a nilpotent Lie algebra; the characteristic sequence of a
d
(
X
) is denoted by c
(
X
)
=
(
c
1
,
…
,
c
k
,
1
), and for the lexicographic order c
(
𝔤
)
=
Ma
x
X
∈
𝔤
-
[
𝔤
,
𝔤
]
c
(
X
) is known as the Goze's invariant or characteristic sequence [23]. Obviously c
(
𝔤
) is an invariant for the isomorphisms and, by construction, there is at least one vector X
∈
𝔤
-
[
𝔤
,
𝔤
] such that c
(
𝔤
)
=
c
(
X
); all vector verifying this condition is called characteristic vector of the algebra.The abelian algebra of dimensionn is the only one with Goze's invariant (
1
,
…
,
1
), in metabelian algebras the characteristic series is (
2
,
…
2,1
,
…
1
), in Heisenberg algebras it is (
2,1
,
…
,
1
), in filiform algebras it is (
n
-
1,1
), and in quasifiliform algebras it is (
n
-
2,1
,
1
). A Lie algebra 𝔤 is nilpotent if and only if the characteristic polynomial of the matrix a
d
(
x
) is λ
9, for every vector x of 𝔤. Anyway this condition is often difficult to be applied, so the moment in the process, when the nilpotence condition should be applied or, much better, when the condition should be applied for each vector, has to be chosen carefully. The condition of being quasifiliform can be also interpreted in terms of matrices. Thus the vectors candidate to characteristic vectors, that is, the vectors in 𝔤
-
[
𝔤
,
𝔤
], have to satisfy that the respective adjoint matrices do not have nonnull minors of order ⩽7. As in the case of the nilpotence, this condition has to be applied with caution and in several stages.Every quasifiliform Lie algebra of dimension 9 can have an adapted base{
x
0
,
x
1
,
…
,
x
8
} such that
(1)
[
x
0
,
x
i
]
=
x
i
+
1
,
1
⩽
i
⩽
6
;
[
x
0
,
x
i
]
=
0
,
7
⩽
i
⩽
8
.On the whole all the bracket products can be described by(2)
[
x
i
,
x
j
]
=
∑
k
=
0
n
-
1
C
i
j
k
·
x
k
,
0
⩽
i
,
j
⩽
n
-
1
,
where C
i
j
k are the algebra structure constants.The laws of every complex quasifiliform Lie algebra (QFLA) of dimension 9 can be described by the following family with 16 parameters and 17 polynomial restriction equations [19] derived from the Jacobi identity:(3a)
[
x
0
,
x
i
]
=
x
i
+
1
,
1
⩽
i
⩽
6
,
(3b)
[
x
1
,
x
2
]
=
α
1
x
4
+
α
2
x
5
+
α
3
x
6
+
α
4
x
7
+
α
5
x
8
,
(3c)
[
x
1
,
x
3
]
=
α
1
x
5
+
α
2
x
6
+
α
3
x
7
,
(3d)
[
x
1
,
x
4
]
=
α
6
x
5
+
α
7
x
6
+
α
8
x
7
+
α
9
x
8
,
(3e)
[
x
1
,
x
5
]
=
2
α
6
x
6
+
(
2
α
7
-
α
1
)
x
7
,
(3f)
[
x
1
,
x
6
]
=
α
10
x
7
+
α
11
x
8
,
(3g)
[
x
1
,
x
8
]
=
α
12
x
3
+
α
13
x
4
+
α
14
x
5
+
α
15
x
6
+
α
16
x
7
,
(3h)
[
x
2
,
x
3
]
=
-
α
6
x
5
+
(
α
1
-
α
7
)
x
6
+
(
α
2
-
α
8
)
x
7
-
α
9
x
8
,
(3i)
[
x
2
,
x
4
]
=
-
α
6
x
6
+
(
α
1
-
α
7
)
x
7
,
(3j)
[
x
2
,
x
5
]
=
(
2
α
6
-
α
10
)
x
7
-
α
11
x
8
,
(3k)
[
x
2
,
x
8
]
=
α
12
x
4
+
α
13
x
5
+
α
14
x
6
+
α
15
x
7
,
(3l)
[
x
3
,
x
4
]
=
(
-
3
α
6
+
α
10
)
x
7
+
α
11
x
8
,
(3m)
[
x
3
,
x
8
]
=
α
12
x
5
+
α
13
x
6
+
α
14
x
7
,
(3n)
[
x
4
,
x
8
]
=
α
12
x
6
+
α
13
x
7
,
(3o)
[
x
5
,
x
8
]
=
α
12
x
7subject to(4a)
α
5
α
12
=
0
,
(4b)
α
6
α
12
=
0
,
(4c)
α
6
α
13
=
0
,
(4d)
α
9
α
12
=
0
,
(4e)
α
9
α
13
=
0
,
(4f)
α
9
α
14
=
0
,
(4g)
α
10
α
12
=
0
,
(4h)
α
11
α
12
=
0
,
(4i)
α
11
α
13
=
0
,
(4j)
α
11
α
14
=
0
,
(4k)
α
11
α
15
=
0
,
(4l)
α
11
α
16
=
0
,
(4m)
α
11
(
3
α
1
-
α
7
)
=
0
,
(4n)
α
12
(
α
1
-
α
7
)
=
0
,
(4o)
α
5
α
13
-
2
α
6
2
-
α
9
α
15
=
0
,
(4p)
2
(
α
2
-
α
8
)
α
12
+
3
(
α
1
-
α
7
)
α
13
+
2
(
α
6
-
α
10
)
α
14
=
0
,
(4q)
α
5
α
14
-
2
(
2
α
1
+
α
7
)
α
6
-
α
9
α
16
+
(
3
α
1
-
α
7
)
α
10
=
0with the application of the Jacobi identity to the 3-tuple(
x
0
,
x
i
,
x
j
), where x
i,    x
j are base vectors different from x
0 vector. Table 1 shows the structure constants corresponding with the 16 parameters. From here forward the Lie Algebra Families will be denoted as μ
(
α
1
1
,
…
,
α
16
).Table 1
Notation for the QFLA parameters.
α
1
=
C
12
4
α
2
=
C
12
5
α
3
=
C
12
6
α
4
=
C
12
7
α
5
=
C
12
8
α
6
=
C
14
5
α
7
=
C
14
6
α
8
=
C
14
7
α
9
=
C
14
8
α
10
=
C
16
7
α
11
=
C
16
8
α
12
=
C
18
3
α
12
=
C
18
4
α
14
=
C
18
5
α
15
=
C
18
6
α
16
=
C
18
7Our objective is to study exhaustively the case of dimension 9; therefore the coefficients identification is tackled in an iterative and interactive way by imposing the Jacobi identity. Maple programs have been developed so that all the equations resulting from the application of the above-mentioned conditions are obtained, the simplest conditions are applied, and the process is repeated until there are no restrictions of simple application.The exhaustiveness of the classification is developed by analyzinga
l
l the possible combinations of values of the 16 parameters (
α
1
,
…
,
α
16
), which is summarized within the cases shown in the following subsections: case A.1 (α
11
≠
0 and α
1
≠
0), A.2 (α
11
≠
0 and α
1
=
0), B.1.1 (α
11
=
0, α
9
≠
0, and α
6
≠
0), B.1.2 (α
11
=
0, α
9
≠
0, and α
6
=
0), B.2.1 (α
11
=
0, α
9
=
0, and α
5
≠
0), and B.2.2 (α
11
=
0, α
9
=
0, and α
5
=
0). In all the cases the nonisomorphism is proved in the corresponding propositions.


### 2.2. General Case

Proposition 1.
The nilpotent QFLA of dimension 9 andα
11
≠
0 are nonisomorphic to the algebras with α
11
=
0.Proof.
For the family described by (3a)–(3o) and (4a)–(4q), its descending central series is 𝒞
1
𝔤
=
〈
x
2
,
x
3
,
x
4
,
x
5
,
x
6
,
x
7
,
α
5
x
8
,
α
9
x
8
,
α
11
x
8
〉, 𝒞
2
𝔤
=
〈
x
3
,
x
4
,
x
5
,
x
6
,
x
7
,
α
5
x
8
,
α
9
x
8
,
α
11
x
8
〉,  𝒞
3
𝔤
=
〈
x
4
,
x
5
,
x
6
,
x
7
,
α
9
x
8
,
α
11
x
8
〉, 𝒞
4
𝔤
=
〈
x
5
,
x
6
,
x
7
,
α
9
x
8
,
α
11
x
8
〉, 𝒞
5
𝔤
=
〈
x
6
,
x
7
,
α
11
x
8
〉, and so forth. Thus Dim
[
𝒞
5
𝔤
]
=
3 if α
11
≠
0 and Dim
[
𝒞
5
𝔤
]
=
2 if α
11
=
0. Therefore the nullity of α
11 constitutes the first classification criterion.


### 2.3. Case A

α
11
≠
0.Proposition 2.
The nilpotent QFLA of dimension 9 withα
11
≠
0
∧
α
1
≠
0 are nonisomorphic to the algebras with α
11
≠
0
∧
α
1
=
0.Proof.
Ifα
11
≠
0, from restrictions (4a)–(4q) it can be deduced that α
6
=
α
12
=
α
13
=
α
14
=
α
15
=
α
16
=
0 and α
7
=
3
α
1. By computing the Jacobi equations, the family of laws is reduced to(5a)
[
x
0
,
x
i
]
=
x
i
+
1
,
1
⩽
i
⩽
6
,
(5b)
[
x
1
,
x
2
]
=
α
1
x
4
+
α
2
x
5
+
α
3
x
6
+
α
4
x
7
+
α
5
x
8
,
(5c)
[
x
1
,
x
3
]
=
α
1
x
5
+
α
2
x
6
+
α
3
x
7
,
(5d)
[
x
1
,
x
4
]
=
3
α
1
x
6
+
α
8
x
7
+
α
9
x
8
,
(5e)
[
x
1
,
x
5
]
=
5
α
1
x
7
,
(5f)
[
x
1
,
x
6
]
=
α
10
x
7
+
α
11
x
8
,
(5g)
[
x
2
,
x
3
]
=
-
2
α
1
x
6
+
(
α
2
-
α
8
)
x
7
-
α
9
x
8
,
(5h)
[
x
2
,
x
4
]
=
-
2
α
1
x
7
,
(5i)
[
x
2
,
x
5
]
=
-
α
10
x
7
-
α
11
x
8
,
(5j)
[
x
3
,
x
4
]
=
α
10
x
7
+
α
11
x
8
without restrictions derived from the Jacobi identity (4a)–(4q). It can be observed that x
7 and x
8 are now central; thus the application of the elementary change of base
(6)
y
i
=
x
i
,
i
≠
8
,
y
8
=
α
10
·
x
7
+
α
11
·
x
8
permits us to suppose that α
10
=
0 and α
11
=
1. Then (5f), (5i), and (5j) are simplified and the derived series is 𝒟
1
𝔤
=
〈
x
2
,
x
3
,
x
4
,
x
5
,
x
6
,
x
7
,
x
8
〉, 𝒟
2
𝔤
=
〈
-
2
α
1
x
6
,
(
α
2
-
α
8
)
x
7
,
-
α
9
x
8
,
-
2
α
1
x
7
,
x
8
〉, and so forth. Thus Dim
[
𝒟
2
𝔤
]
=
3 if α
1
≠
0 and Dim
[
𝒟
2
𝔤
]
⩽
2 if α
1
=
0. Therefore the nullity of α
1 constitutes a new classification criterion.In this subsection (case A), the notation to describe the parameters of the subfamilyi is reduced to μ
i  (
α
1
,
α
2
,
α
3
,
α
4
,
α
5
,
α
7
,
α
8
,
α
9
) for simplification. Figure 1 shows the classification in 19 subfamilies in the case A. They are classified with the criteria summarized in Figure 2 and detailed in the following cases.Figure 1
Case A:α
11
≠
0; classification of the nonisomorphic QFLA of dimension 9 (the last 7 values, 0,1
,
0,0
,
0,0
,
0, common to the 19 families have been omitted from the figure for simplicity).Figure 2
Case A:α
11
≠
0; nonisomorphic subfamilies determination.


#### 2.3.1. Case A.1

One hasα
11
≠
0 and α
1
≠
0.Proposition 3.
Case A.1 permits us to suppose thatα
1
=
1.Proof.
With the elementary change of base CB,(7)
y
0
=
x
0
,
y
i
=
x
i
α
1
,
1
⩽
i
⩽
7
,
y
8
=
x
8
α
1
2
,
|
CB
|
=
1
/
α
1
9
≠
0 and then α
1
=
1.The subfamilies of laws with the structure (5a)–(5j) are μ
i
(
1
,
α
2
,
α
3
,
α
4
,
α
5
,
3
,
α
8
,
α
9
) with i
=
1,2
,
3.Let us denote, from here forward, byδ the new parameters obtained from the changes of base and μ
¯ the Lie algebra families depending on these new parameters δ (which in general depend on the 16 parameters α), in order to differentiate the new representation μ
¯
i
(
δ
j
) from the representation of the families depending in general on the 16 parameters μ
i
(
α
1
,
…
,
α
16
).Proposition 4.
The nilpotent QFLA of dimension 9 withα
11
≠
0 and α
1
≠
0 can be classified in three nonisomorphic subfamilies μ
i with i from 1 to 3, described in Figure 1, according to the conditions described in Figure 2.Proof.
Let us apply the change of base:(8)
y
0
=
P
0
x
0
+
P
1
x
1
+
P
2
x
2
+
P
3
x
3
+
P
4
x
4
+
P
5
x
5
+
P
6
x
6
+
P
7
x
7
+
P
8
x
8
,
y
1
=
Q
0
x
0
+
Q
1
x
1
+
Q
2
x
2
+
Q
3
x
3
+
Q
4
x
4
+
Q
5
x
5
+
Q
6
x
6
+
Q
7
x
7
+
Q
8
x
8
,
y
i
+
1
=
[
y
0
,
y
i
]
,
1
⩽
i
⩽
6
,
y
8
=
[
y
1
,
y
6
]
.
The subfamilies of laws are μ
¯
i
(
δ
2
,
δ
3
,
δ
4
,
δ
5
,
δ
8
,
δ
9
). The determinant of the change matrix is P
0
18
(
P
0
Q
1
-
P
1
Q
0
)
9; thus P
0
≠
0 and (
P
0
Q
1
-
P
1
Q
0
)
≠
0. Since the coefficient of y
3 and y
4 in [
y
1
,
y
2
] must be null, then Q
0
=
0 and Q
1
=
P
0
2. Let us apply (8) again and the only restriction is P
0
≠
0. Thus, with the coefficient identifications, the new parameters are
(9)
δ
2
=
(
-
2
P
1
+
α
2
P
0
)
P
0
2
,
(10)
δ
3
=
(
-
2
Q
2
2
+
4
P
0
2
Q
3
-
7
P
1
α
2
P
0
3
+
7
P
1
2
P
0
2
+
α
3
P
0
4
)
P
0
6
,
(11)
δ
4
=
(
α
4
P
0
6
-
2
α
2
2
P
0
5
P
1
-
2
α
2
P
0
4
Q
3
+
α
2
P
0
2
Q
2
2
-
α
2
P
0
5
P
1
α
8
+
2
Q
2
3
-
12
P
1
α
3
P
0
5
-
42
P
1
P
0
3
Q
3
-
44
P
1
3
P
0
3
+
56
P
0
4
P
1
2
α
2
+
18
P
1
Q
2
2
P
0
-
6
P
0
2
Q
3
Q
2
+
6
P
0
4
Q
4
+
6
P
2
P
0
3
Q
2
+
P
0
4
P
1
2
α
8
-
6
P
0
5
P
3
+
2
α
8
P
0
4
Q
3
-
Q
2
2
P
0
2
α
8
)
×
(
P
0
9
)
-
1
,
(12)
δ
5
=
(
2
P
0
P
1
Q
3
Q
2
+
2
P
2
α
2
P
0
3
Q
2
+
6
P
1
2
α
3
P
0
4
-
2
P
2
P
0
Q
2
2
-
2
P
0
2
Q
4
Q
2
+
6
P
0
4
P
3
P
1
-
8
P
1
2
Q
2
2
-
2
P
0
P
1
Q
2
2
α
2
-
4
P
1
P
2
P
0
2
Q
2
+
2
P
2
P
0
3
Q
3
+
2
P
3
P
0
3
Q
2
-
4
P
1
P
0
3
Q
4
+
20
P
0
2
P
1
2
Q
3
-
Q
2
2
P
0
2
α
9
+
2
Q
3
P
0
4
α
9
+
P
1
Q
2
2
P
0
α
8
-
P
1
P
0
5
α
4
+
P
0
2
Q
3
2
+
2
P
0
4
Q
5
+
P
0
6
α
5
+
2
P
1
P
0
3
Q
3
α
2
-
2
P
1
α
8
P
0
3
Q
3
+
α
2
P
0
4
P
1
2
α
8
-
α
2
P
0
5
P
1
α
9
-
2
P
0
5
P
3
α
2
-
2
P
0
5
P
4
+
15
P
0
2
P
1
4
-
P
0
4
P
2
2
+
P
0
4
P
1
2
α
9
-
20
P
0
3
P
1
3
α
2
-
P
0
3
P
1
3
α
8
)
×
(
P
0
10
)
-
1
,
(13)
δ
8
=
(
-
20
P
1
+
α
8
P
0
)
P
0
2
,
(14)
δ
9

=

(
8
P
1
2
P
0
2
-
P
0
3
P
1
α
8
+
P
0
4
α
9
+
2
P
0
2
Q
3
+
2
P
1
α
2
P
0
3
-
Q
2
2
)
P
0
6
.
Let us select P
1, Q
3, P
3, and P
4 appropriately and the subfamilies of laws result in μ
¯
i
(
0,0
,
0,0
,
δ
8
,
δ
9
)
(15)
[
y
0
,
y
i
]
=
y
i
+
1
,
1
⩽
i
⩽
6
,
[
y
1
,
y
2
]
=
y
4
,
[
y
1
,
y
3
]
=
y
5
,
[
y
1
,
y
4
]
=
3
y
6
+
δ
8
y
7
+
δ
9
y
8
,
[
y
1
,
y
5
]
=
5
y
7
,
[
y
1
,
y
6
]
=
y
8
,
[
y
2
,
y
3
]
=
-
2
y
6
-
δ
8
y
7
-
δ
9
y
8
,
[
y
2
,
y
4
]
=
-
2
y
7
,
[
y
2
,
y
5
]
=
-
y
8
,
[
y
3
,
y
4
]
=
y
8
.
The nullity of -
10
α
2
+
α
8 and the nullity of 31
α
2
2
+
8
α
9
-
4
α
3
-
4
α
2
α
8 are invariants. It can be proved by substituting (9) and (13) in the expressions -
10
δ
2
+
δ
8 and 31
δ
2
2
+
8
δ
9
-
4
δ
3
-
4
δ
2
δ
8; then P
0 is in the denominator and since it must be nonnull, the nullity of those expressions is invariant for the change (8). Then four subcases are determined by the nullity of δ
8 and δ
9. If δ
8
≠
0, the subcases corresponding to δ
9 nullity or nonnullity can be reduced to a subfamily of algebras μ
1
λ
(
1
,
0
,
0
,
0
,
0
,
0
,
3
,
1
,
λ
,
0
,
1
) with one parameter λ
∈
C, with λ
=
(
1
/
8
)
(
-
31
α
2
2
+
8
α
9
+
4
α
3
+
4
α
2
α
8
)
/
(
-
31
α
2
+
31
α
8
)
2. If δ
8
=
0, in the subcase corresponding to δ
9
≠
0, P
0 can be selected as (
-
18
α
2
2
+
16
α
9
-
8
α
3
)
1
/
2
/
4 since α
9
≠
(
-
31
α
2
2
+
4
α
3
+
4
α
2
α
8
)
/
8 and α
8
=
10
α
2 imply -
9
α
2
2
+
8
α
9
-
4
α
3
≠
0. Thus δ
9
=
1, and the algebra is described by μ
2
(
1
,
0
,
0
,
0
,
0
,
0
,
3
,
0
,
1
,
0
,
1
). Finally, the forth subcase is the algebra μ
3
(
1
,
0
,
0
,
0
,
0
,
0
,
3
,
0
,
0
,
0
,
1
).


#### 2.3.2. Case A.2

One hasα
11
≠
0 and α
1
=
0.Proposition 5.
The nilpotent QFLA of dimension 9 withα
11
≠
0, α
1
=
0, and α
2
=
α
8 are nonisomorphic to the algebras with α
11
≠
0, α
1
=
0, and α
2
≠
α
8.Proof.
The derived series is𝒟
1
𝔤
=
〈
x
2
,
x
3
,
x
4
,
x
5
,
x
6
,
x
7
,
x
8
〉, 𝒟
2
𝔤
=
〈
(
α
2
-
α
8
)
x
7
,
x
8
〉, and so forth; thus Dim
[
𝒟
2
𝔤
]
=
2
if α
2
≠
α
8 and Dim
[
𝒟
2
𝔤
]
=
1 if α
2
=
α
8. The nullity of α
2
-
α
8 constitutes a new classification criterion.Proposition 6.
The nilpotent QFLA of dimension 9 withα
11
≠
0, α
1
=
0, and α
2
≠
α
8 can be classified in ten nonisomorphic subfamilies μ
j with j from 4 to 13, described in Figure 1, according to the conditions described in Figure 2.Proof.
Let us apply the change of base (8). The subfamilies of laws are μ
¯
j
(
δ
2
,
δ
3
,
δ
4
,
δ
5
,
δ
8
,
δ
9
) and the restrictions P
0
≠
0 and Q
1
≠
0. Thus, with the coefficient identifications, the new parameters are
(16)
δ
2
=
Q
1
α
2
P
0
3
,
(17)
δ
3
=
Q
1
α
3
P
0
3
,
(18)
δ
4
=
-
(
2
Q
1
2
P
1
α
2
2
+
2
Q
3
P
0
Q
1
α
2
-
Q
2
2
P
0
α
2
+
α
2
Q
1
2
P
1
α
8
-
Q
1
2
P
0
α
4
-
2
Q
1
P
0
Q
3
α
8
+
P
0
Q
2
2
α
8
)
×
(
Q
1
P
0
6
)
-
1
,
(19)
δ
5
=
(
-
α
2
Q
1
2
P
1
P
0
α
9
-
2
α
2
Q
1
2
P
3
P
0
+
α
2
Q
1
2
P
1
2
α
8
+
2
P
0
P
2
Q
1
α
2
Q
2
-
P
1
P
0
α
4
Q
1
2
-
2
P
1
P
0
Q
1
Q
3
α
8
-
2
P
1
P
0
α
2
Q
2
2
+
P
1
P
0
Q
2
2
α
8
+
2
P
1
P
0
α
2
Q
1
Q
3
+
Q
1
2
P
0
2
α
5
+
2
Q
1
P
0
2
Q
3
α
9
+
2
Q
5
P
0
2
Q
1
-
Q
2
2
P
0
2
α
9
-
2
Q
4
P
0
2
Q
2
+
Q
3
2
P
0
2
)
×
(
Q
1
2
P
0
6
)
-
1
,
(20)
δ
8
=
α
8
Q
1
P
0
3
,
(21)
δ
9

=

(
-
Q
1
2
P
1
α
8
+
Q
1
2
P
0
α
9
+
2
P
0
Q
3
Q
1
+
2
Q
1
2
P
1
α
2
-
P
0
Q
2
2
)
P
0
3
Q
1
2
.
Selecting Q
5 and Q
3 appropriately the subfamilies of laws result in μ
¯
j
(
δ
2
,
δ
3
,
δ
4
,
0
,
δ
8
,
0
). From (16), (17), and (20) the invariance of the nullities of α
2,   α
3, and α
8 is clear. The nullity of4
α
2
-
α
8 is also invariant. It can be proved by substituting (16) and (20) in the expression 4
δ
2
-
δ
8 considering the change restrictions. If α
11
≠
0, α
1
=
0, α
2
≠
α
8, α
2
≠
0, α
3
≠
0, α
8
≠
0, and α
8
≠
4
α
2, selecting Q
1
=
P
0
3
/
α
8
≠
0, P
0
=
α
3
/
α
8
≠
0, and P
1
=
α
3
(
-
α
8
α
9
+
α
4
+
α
2
α
9
)
/
(
α
8
2
(
-
α
8
+
4
α
2
)
), the subfamily is μ
4
λ
(
0
,
λ
,
1
,
0
,
0
,
0
,
1
,
0
), with δ
2
=
α
2
/
α
8
=
λ
∈
C
-
{
0
,
1
,
1
/
4
}. If α
11
≠
0, α
1
=
0, α
2
≠
α
8, α
2
≠
0, α
3
≠
0, α
8
≠
0, and α
8
=
4
α
2, then δ
4 is invariant, and the subfamily is μ
5
λ
(
0
,
1
/
4
,
1
,
λ
,
0
,
0
,
1
,
0
)
,
λ
∈
C. If α
11
≠
0, α
1
=
0, α
2
≠
α
8, α
2
≠
0, α
3
≠
0, and α
8
=
0, selecting Q
1
=
P
0
4
/
α
3
≠
0 and P
0
=
α
3
/
α
2
≠
0, the subfamily is μ
6
λ
(
0
,
1
,
1
,
λ
,
0
,
0
,
0
,
0
)
,
λ
∈
C. If α
11
≠
0, α
1
=
0, α
2
≠
α
8, α
2
≠
0, α
3
=
0, α
8
≠
0, and α
8
≠
4
α
2, selecting Q
1
=
P
0
3
/
α
8
≠
0 and P
1
=
P
0
(
-
α
9
α
8
+
α
2
α
9
+
α
4
-
P
0
2
α
8
)
/
(
α
8
(
-
α
8
+
4
α
2
)
), the subfamily is μ
7
λ
(
0
,
λ
,
0
,
1
,
0
,
0
,
1
,
0
)
,
λ
∈
C
-
{
0
,
1
,
1
/
4
}. If α
11
≠
0, α
1
=
0, α
2
≠
α
8, α
2
≠
0, α
3
=
0, α
8
≠
0, and α
8
=
4
α
2, selecting Q
1
=
P
0
3
/
α
2, the nullity of -
α
4
+
3
α
2
α
9 is invariant. If α
4
≠
3
α
2
α
9, selecting P
0
2
=
-
α
2
(
-
α
4
+
3
α
2
α
9
)
/
α
2
2, the subfamily is μ
8
(
0
,
1
,
0
,
1
,
0
,
0
,
4
,
0
), else the subfamily is μ
9
(
0
,
1
,
0
,
0
,
0
,
0
,
4
,
0
). If α
11
≠
0, α
1
=
0, α
2
≠
α
8, α
2
≠
0, α
3
=
0, and α
8
=
0, selecting Q
1
=
P
0
3
/
α
2, the nullity of α
2
α
9
+
α
4 is invariant. If α
4
≠
-
α
2
α
9, selecting P
0
2
=
α
2
(
α
2
α
9
+
α
4
)
/
α
2
2
≠
0, the subfamily is μ
10
(
0
,
1
,
0
,
1
,
0
,
0
,
0
,
0
); else with Q
1
=
P
0
3
/
α
2 the subfamily is μ
11
(
0
,
1
,
0
,
0
,
0
,
0
,
0
,
0
). If α
11
≠
0, α
1
=
0, α
2
≠
α
8, α
2
=
0, and α
3
≠
0, selecting Q
1
=
P
0
4
/
α
3
≠
0, P
0
=
α
3
/
α
8
≠
0, and P
1
=
-
α
3
(
α
4
-
α
9
α
8
)
/
α
8
3, the subfamily is μ
12
(
0
,
0
,
1
,
0
,
0
,
0
,
1
,
0
). If α
11
≠
0, α
1
=
0, α
2
≠
α
8, α
2
=
0, and α
3
=
0, selecting Q
1
=
P
0
3
/
α
8
≠
0 and P
1
=
P
0
(
-
α
4
+
α
9
α
8
+
P
0
2
α
8
)
/
α
8
2
≠
0, the subfamily is μ
13
(
0
,
0
,
0
,
1
,
0
,
0
,
1
,
0
).Proposition 7.
The nilpotent QFLA of dimension 9 withα
11
≠
0, α
1
=
0, and α
2
=
α
8 can be classified in six nonisomorphic subfamilies μ
k with k from 14 to 19, described in Figure 1, according to the conditions described in Figure 2.Proof.
Let us apply the change of base (8). The subfamilies of laws are μ
¯
k
(
δ
2
,
δ
3
,
δ
4
,
δ
5
,
δ
8
,
δ
9
) and the restrictions P
0
≠
0 and Q
1
≠
0. Thus, with the coefficient identifications, the new parameters are
(22)
δ
2
=
Q
1
α
2
P
0
3
,
(23)
δ
3
=
Q
1
α
3
P
0
4
,
(24)
δ
4
=
Q
1
(
-
3
α
2
2
P
1
+
P
0
α
4
)
P
0
6
,
(25)
δ
5
=
(
-
α
2
Q
1
2
P
1
P
0
α
9
-
2
α
2
Q
1
2
P
3
P
0
+
α
2
2
Q
1
2
P
1
2
+
2
P
2
P
0
Q
1
α
2
Q
2
-
P
0
Q
1
2
P
1
α
4
+
Q
1
2
P
0
2
α
5
+
2
Q
1
P
0
2
Q
3
α
9
+
2
Q
5
P
0
2
Q
1
-
Q
2
2
P
0
2
α
9
-
2
Q
4
P
0
2
Q
2
-
P
0
P
1
Q
2
2
α
2
+
Q
3
2
P
0
2
)
×
(
Q
1
2
P
0
6
)
-
1
,
(26)
δ
9
=
(
P
1
Q
1
2
α
2
+
Q
1
2
P
0
α
9
+
2
P
0
Q
3
Q
1
-
P
0
Q
2
2
)
(
P
0
3
Q
1
2
)
.
Let us select Q
5 and Q
3 appropriately and the subfamilies of laws result in μ
¯
k
(
δ
2
,
δ
3
,
δ
4
,
0,0
). From (22), (23), and (24) the invariance of the nullities of α
2
,
α
3, and α
4 is clear. If α
11
≠
0, α
1
=
0, α
2
=
α
8, α
2
≠
0, and α
3
≠
0, selecting Q
1
=
P
0
3
/
α
2
≠
0, P
0
=
α
3
/
α
2
≠
0, and P
1
=
α
3
α
4
/
(
3
α
2
3
), the subfamily is μ
14
(
0
,
1
,
1
,
0
,
0
,
0
,
1
,
0
). If α
11
≠
0, α
1
=
0, α
2
=
α
8, α
2
≠
0, and α
3
=
0, selecting Q
1
=
P
0
3
/
α
2
≠
0 and P
1
=
P
0
α
4
/
(
3
α
2
2
), the subfamily is μ
15
(
0
,
1
,
0
,
0
,
0
,
0
,
1
,
0
). If α
11
≠
0
∧
α
1
=
0, α
2
=
α
8, α
2
=
0, and α
3
≠
0, selecting Q
1
=
P
0
4
/
α
3
≠
0, the nullity of α
4 is invariant. If α
4
≠
0 and P
0
=
α
4
/
α
3
≠
0, the subfamily is μ
16
(
0
,
0
,
1
,
1
,
0
,
0
,
0
,
0
). If α
4
=
0 the subfamily is μ
17
(
0
,
0
,
1
,
0
,
0
,
0
,
0
,
0
). If α
11
≠
0, α
1
=
0, α
2
=
α
8, α
2
=
0, and α
3
=
0, selecting Q
1
=
P
0
5
/
α
4
≠
0, the subfamilies are μ
18
(
0
,
0
,
0
,
1
,
0
,
0
,
0
,
0
) with α
4
≠
0, and μ
19
(
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
) with α
4
=
0.


### 2.4. Case B

One hasα
11
=
0.Proposition 8.
The nilpotent QFLA of dimension 9 andα
11
=
0 and α
9
≠
0 are nonisomorphic to the algebras with α
11
=
0 and α
9
=
0.Proof.
For the family described by (3a)–(3o) and (4a)–(4q), 𝒞
3
𝔤
=
〈
x
4
,
x
5
,
x
6
,
x
7
,
α
9
x
8
〉; therefore its dimension is Dim
[
𝒞
3
𝔤
]
=
5, if α
9
≠
0 or Dim
[
𝒞
3
𝔤
]
=
4, if α
9
=
0, and the nullity of α
9 constitutes a new classification criterion.


#### 2.4.1. Case B.1

One hasα
11
=
0 and α
9
≠
0.Proposition 9.
The nilpotent QFLA of dimension 9 withα
11
=
0, α
9
≠
0, and α
6
≠
0 are nonisomorphic to the algebras with α
11
=
0, α
9
≠
0, and α
6
=
0.Proof.
Ifα
9
≠
0, it can be deduced that α
12
=
α
13
=
α
14
=
0. By computing the Jacobi equations, the family of laws is reduced to
(27)
[
x
0
,
x
i
]
=
x
i
+
1
,
1
⩽
i
⩽
6
,
(28)
[
x
1
,
x
2
]
=
α
1
x
4
+
α
2
x
5
+
α
3
x
6
+
α
4
x
7
+
α
5
x
8
,
(29)
[
x
1
,
x
3
]
=
α
1
x
5
+
α
2
x
6
+
α
3
x
7
,
(30)
[
x
1
,
x
4
]
=
α
6
x
5
+
α
7
x
6
+
α
8
x
7
+
α
9
x
8
,
(31)
[
x
1
,
x
5
]
=
2
α
6
x
6
+
(
2
α
7
-
α
1
)
x
7
,
(32)
[
x
1
,
x
6
]
=
α
10
x
7
,
(33)
[
x
1
,
x
8
]
=
α
15
x
6
+
α
16
x
7
,
(34)
[
x
2
,
x
3
]
=
-
α
6
x
5
+
(
α
1
-
α
7
)
x
6
+
(
α
2
-
α
8
)
x
7
-
α
9
x
8
,
(35)
[
x
2
,
x
4
]
=
-
α
6
x
6
+
(
α
1
-
α
7
)
x
7
,
(36)
[
x
2
,
x
5
]
=
(
2
α
6
-
α
10
)
x
7
,
(37)
[
x
2
,
x
8
]
=
α
15
x
7
,
(38)
[
x
3
,
x
4
]
=
(
-
3
α
6
+
α
10
)
x
7
with two restrictions
(39)
-
2
α
6
2
-
α
9
α
15
=
0
,
-
4
α
1
α
6
+
3
α
1
α
10
-
2
α
6
α
7
-
α
7
α
10
-
α
9
α
16
=
0
.
Since α
9
≠
0, the application of the elementary change of base CB
(40)
y
0
=
y
1
y
i
=
x
i
α
9
,
1
⩽
i
⩽
n
-
1
with
|
CB
|
=
1
α
9
8
≠
0
permits us to suppose that α
9
=
1. Then from (39), α
15
=
-
2
α
6
2 and α
16
=
-
4
α
1
α
6
+
3
α
1
α
10
-
2
α
6
α
7
-
α
7
α
10. This implies that (33) and (37) are changed to [
x
1
,
x
8
]
=
-
2
α
6
2
x
6
+
(
α
1
(
-
4
α
6
+
3
α
10
)
-
α
7
(
2
α
6
+
α
10
)
)
x
7 and [
x
2
,
x
8
]
=
-
2
α
6
2
x
7, respectively, and the subfamily of laws μ
l
(
α
1
,
α
2
,
α
3
,
α
4
,
α
5
,
α
6
,
α
7
,
α
8
,
1
,
α
10
,
0,0
,
0,0
,
0,0
), with l from 20 to 63, has no restrictions (4a)–(4q). Its derived series is 𝒟
1
𝔤
=
〈
x
2
,
x
3
,
x
4
,
x
5
,
x
6
,
x
7
,
x
8
〉, 𝒟
2
𝔤
=
〈
-
α
6
x
5
+
(
α
1
-
α
7
)
x
6
+
(
α
2
-
α
8
)
x
7
,
x
8
,
-
α
6
x
6
+
(
α
1
-
α
7
)
x
7
,
(
2
α
6
-
α
10
)
x
7
,
-
2
α
6
2
x
7
,
(
-
3
α
6
+
α
10
)
x
7
〉, and so forth. Thus Dim
[
𝒟
2
𝔤
]
=
4 if α
6
≠
0 and Dim
[
𝒟
2
𝔤
]
⩽
3 if α
6
=
0. Therefore the nullity of α
6 constitutes a new classification criterion.Case B.1.1:
α
11
=
0
,
α
9
≠
0
and
α
6
≠
0
. Figure 3 provides the classification in 18 subfamilies in this case.Figure 3
Case B.1.1:α
11
=
0, α
9
≠
0, and α
6
≠
0; classification of the QFLA of dimension 9.Case B.1.2:
α
11
=
0
,
α
9
≠
0
, and
α
6
=
0
. Figure 4 provides the classification in 26 subfamilies in this case.Figure 4
Case B.1.2:α
11
=
0; α
9
≠
0, and α
6
=
0; classification of the QFLA of dimension 9.


#### 2.4.2. Case B.2

One hasα
11
=
0 and α
9
=
0.The restrictions in the family (4a)–(4q) are reduced to
(41)
α
5
α
12
=
0
,
(42)
α
6
α
12
=
0
,
(43)
α
6
α
13
=
0
,
(44)
α
10
α
12
=
0
,
(45)
α
12
(
α
1
-
α
7
)
=
0
,
(46)
α
5
α
13
-
2
α
6
2
=
0
,
(47)
2
(
α
2
-
α
8
)
α
12
+
3
(
α
1
-
α
7
)
α
13
+
2
(
α
6
-
α
10
)
α
14
=
0
,
(48)
α
5
α
14
-
2
(
2
α
1
+
α
7
)
α
6
-
α
9
α
16
+
(
3
α
1
-
α
7
)
α
10
=
0
.Proposition 10.
The nilpotent QFLA of dimension 9 withα
11
=
0, α
9
=
0, and α
5
≠
0 are nonisomorphic to the algebras with α
11
=
0, α
9
=
0, and α
5
=
0.Proof.
Equations (43) and (46) imply that α
6
=
0. By computing the Jacobi equations, the subfamily of laws is μ
m
(
α
1
,
α
2
,
α
3
,
α
4
,
α
5
,
0
,
α
7
,
α
8
,
0
,
α
10
,
0
,
α
12
,
α
13
,
α
14
,
α
15
,
α
16
), with m from 64 to 263, and the restrictions are reduced to 6. Its descending central series is 𝒞
1
𝔤
=
〈
x
2
,
x
3
,
x
4
,
x
5
,
x
6
,
x
7
,
α
5
x
8
〉, and so forth. Thus the nullity of α
5 constitutes a new classification criterion.An exhaustive and extensive process of analysis with the same methodology shown in the previous subsections leads to the final subclassification, which is summarized in the following Figures.Case B.2.1:
α
11
=
0
,
α
9
=
0
, and
α
5
≠
0
. Figure 5 provides the classification in 55 subfamilies in this case.Figure 5
Case B.2.1:α
11
=
0, α
9
=
0, α
5
≠
0; classification of the QFLA of dimension 9.Case B.2.2:
α
11
=
0
,
α
9
=
0
, and
α
5
=
0
. Figures 6 and 7 provide the classification in 145 subfamilies in this case.Figure 6
Case B.2.2. First part:α
11
=
0, α
9
=
0, and α
5
=
0. Classification of the QFLA of dimension 9.Figure 7
Case B.2.2. Second part:α
11
=
0, α
9
=
0, and α
5
=
0. Classification of the QFLA of dimension 9.


## 2.1. Preliminaries

Let𝔤 be a nilpotent Lie algebra; the characteristic sequence of a
d
(
X
) is denoted by c
(
X
)
=
(
c
1
,
…
,
c
k
,
1
), and for the lexicographic order c
(
𝔤
)
=
Ma
x
X
∈
𝔤
-
[
𝔤
,
𝔤
]
c
(
X
) is known as the Goze's invariant or characteristic sequence [23]. Obviously c
(
𝔤
) is an invariant for the isomorphisms and, by construction, there is at least one vector X
∈
𝔤
-
[
𝔤
,
𝔤
] such that c
(
𝔤
)
=
c
(
X
); all vector verifying this condition is called characteristic vector of the algebra.The abelian algebra of dimensionn is the only one with Goze's invariant (
1
,
…
,
1
), in metabelian algebras the characteristic series is (
2
,
…
2,1
,
…
1
), in Heisenberg algebras it is (
2,1
,
…
,
1
), in filiform algebras it is (
n
-
1,1
), and in quasifiliform algebras it is (
n
-
2,1
,
1
). A Lie algebra 𝔤 is nilpotent if and only if the characteristic polynomial of the matrix a
d
(
x
) is λ
9, for every vector x of 𝔤. Anyway this condition is often difficult to be applied, so the moment in the process, when the nilpotence condition should be applied or, much better, when the condition should be applied for each vector, has to be chosen carefully. The condition of being quasifiliform can be also interpreted in terms of matrices. Thus the vectors candidate to characteristic vectors, that is, the vectors in 𝔤
-
[
𝔤
,
𝔤
], have to satisfy that the respective adjoint matrices do not have nonnull minors of order ⩽7. As in the case of the nilpotence, this condition has to be applied with caution and in several stages.Every quasifiliform Lie algebra of dimension 9 can have an adapted base{
x
0
,
x
1
,
…
,
x
8
} such that
(1)
[
x
0
,
x
i
]
=
x
i
+
1
,
1
⩽
i
⩽
6
;
[
x
0
,
x
i
]
=
0
,
7
⩽
i
⩽
8
.On the whole all the bracket products can be described by(2)
[
x
i
,
x
j
]
=
∑
k
=
0
n
-
1
C
i
j
k
·
x
k
,
0
⩽
i
,
j
⩽
n
-
1
,
where C
i
j
k are the algebra structure constants.The laws of every complex quasifiliform Lie algebra (QFLA) of dimension 9 can be described by the following family with 16 parameters and 17 polynomial restriction equations [19] derived from the Jacobi identity:(3a)
[
x
0
,
x
i
]
=
x
i
+
1
,
1
⩽
i
⩽
6
,
(3b)
[
x
1
,
x
2
]
=
α
1
x
4
+
α
2
x
5
+
α
3
x
6
+
α
4
x
7
+
α
5
x
8
,
(3c)
[
x
1
,
x
3
]
=
α
1
x
5
+
α
2
x
6
+
α
3
x
7
,
(3d)
[
x
1
,
x
4
]
=
α
6
x
5
+
α
7
x
6
+
α
8
x
7
+
α
9
x
8
,
(3e)
[
x
1
,
x
5
]
=
2
α
6
x
6
+
(
2
α
7
-
α
1
)
x
7
,
(3f)
[
x
1
,
x
6
]
=
α
10
x
7
+
α
11
x
8
,
(3g)
[
x
1
,
x
8
]
=
α
12
x
3
+
α
13
x
4
+
α
14
x
5
+
α
15
x
6
+
α
16
x
7
,
(3h)
[
x
2
,
x
3
]
=
-
α
6
x
5
+
(
α
1
-
α
7
)
x
6
+
(
α
2
-
α
8
)
x
7
-
α
9
x
8
,
(3i)
[
x
2
,
x
4
]
=
-
α
6
x
6
+
(
α
1
-
α
7
)
x
7
,
(3j)
[
x
2
,
x
5
]
=
(
2
α
6
-
α
10
)
x
7
-
α
11
x
8
,
(3k)
[
x
2
,
x
8
]
=
α
12
x
4
+
α
13
x
5
+
α
14
x
6
+
α
15
x
7
,
(3l)
[
x
3
,
x
4
]
=
(
-
3
α
6
+
α
10
)
x
7
+
α
11
x
8
,
(3m)
[
x
3
,
x
8
]
=
α
12
x
5
+
α
13
x
6
+
α
14
x
7
,
(3n)
[
x
4
,
x
8
]
=
α
12
x
6
+
α
13
x
7
,
(3o)
[
x
5
,
x
8
]
=
α
12
x
7subject to(4a)
α
5
α
12
=
0
,
(4b)
α
6
α
12
=
0
,
(4c)
α
6
α
13
=
0
,
(4d)
α
9
α
12
=
0
,
(4e)
α
9
α
13
=
0
,
(4f)
α
9
α
14
=
0
,
(4g)
α
10
α
12
=
0
,
(4h)
α
11
α
12
=
0
,
(4i)
α
11
α
13
=
0
,
(4j)
α
11
α
14
=
0
,
(4k)
α
11
α
15
=
0
,
(4l)
α
11
α
16
=
0
,
(4m)
α
11
(
3
α
1
-
α
7
)
=
0
,
(4n)
α
12
(
α
1
-
α
7
)
=
0
,
(4o)
α
5
α
13
-
2
α
6
2
-
α
9
α
15
=
0
,
(4p)
2
(
α
2
-
α
8
)
α
12
+
3
(
α
1
-
α
7
)
α
13
+
2
(
α
6
-
α
10
)
α
14
=
0
,
(4q)
α
5
α
14
-
2
(
2
α
1
+
α
7
)
α
6
-
α
9
α
16
+
(
3
α
1
-
α
7
)
α
10
=
0with the application of the Jacobi identity to the 3-tuple(
x
0
,
x
i
,
x
j
), where x
i,    x
j are base vectors different from x
0 vector. Table 1 shows the structure constants corresponding with the 16 parameters. From here forward the Lie Algebra Families will be denoted as μ
(
α
1
1
,
…
,
α
16
).Table 1
Notation for the QFLA parameters.
α
1
=
C
12
4
α
2
=
C
12
5
α
3
=
C
12
6
α
4
=
C
12
7
α
5
=
C
12
8
α
6
=
C
14
5
α
7
=
C
14
6
α
8
=
C
14
7
α
9
=
C
14
8
α
10
=
C
16
7
α
11
=
C
16
8
α
12
=
C
18
3
α
12
=
C
18
4
α
14
=
C
18
5
α
15
=
C
18
6
α
16
=
C
18
7Our objective is to study exhaustively the case of dimension 9; therefore the coefficients identification is tackled in an iterative and interactive way by imposing the Jacobi identity. Maple programs have been developed so that all the equations resulting from the application of the above-mentioned conditions are obtained, the simplest conditions are applied, and the process is repeated until there are no restrictions of simple application.The exhaustiveness of the classification is developed by analyzinga
l
l the possible combinations of values of the 16 parameters (
α
1
,
…
,
α
16
), which is summarized within the cases shown in the following subsections: case A.1 (α
11
≠
0 and α
1
≠
0), A.2 (α
11
≠
0 and α
1
=
0), B.1.1 (α
11
=
0, α
9
≠
0, and α
6
≠
0), B.1.2 (α
11
=
0, α
9
≠
0, and α
6
=
0), B.2.1 (α
11
=
0, α
9
=
0, and α
5
≠
0), and B.2.2 (α
11
=
0, α
9
=
0, and α
5
=
0). In all the cases the nonisomorphism is proved in the corresponding propositions.


## 2.2. General Case

Proposition 1.
The nilpotent QFLA of dimension 9 andα
11
≠
0 are nonisomorphic to the algebras with α
11
=
0.Proof.
For the family described by (3a)–(3o) and (4a)–(4q), its descending central series is 𝒞
1
𝔤
=
〈
x
2
,
x
3
,
x
4
,
x
5
,
x
6
,
x
7
,
α
5
x
8
,
α
9
x
8
,
α
11
x
8
〉, 𝒞
2
𝔤
=
〈
x
3
,
x
4
,
x
5
,
x
6
,
x
7
,
α
5
x
8
,
α
9
x
8
,
α
11
x
8
〉,  𝒞
3
𝔤
=
〈
x
4
,
x
5
,
x
6
,
x
7
,
α
9
x
8
,
α
11
x
8
〉, 𝒞
4
𝔤
=
〈
x
5
,
x
6
,
x
7
,
α
9
x
8
,
α
11
x
8
〉, 𝒞
5
𝔤
=
〈
x
6
,
x
7
,
α
11
x
8
〉, and so forth. Thus Dim
[
𝒞
5
𝔤
]
=
3 if α
11
≠
0 and Dim
[
𝒞
5
𝔤
]
=
2 if α
11
=
0. Therefore the nullity of α
11 constitutes the first classification criterion.


## 2.3. Case A

α
11
≠
0.Proposition 2.
The nilpotent QFLA of dimension 9 withα
11
≠
0
∧
α
1
≠
0 are nonisomorphic to the algebras with α
11
≠
0
∧
α
1
=
0.Proof.
Ifα
11
≠
0, from restrictions (4a)–(4q) it can be deduced that α
6
=
α
12
=
α
13
=
α
14
=
α
15
=
α
16
=
0 and α
7
=
3
α
1. By computing the Jacobi equations, the family of laws is reduced to(5a)
[
x
0
,
x
i
]
=
x
i
+
1
,
1
⩽
i
⩽
6
,
(5b)
[
x
1
,
x
2
]
=
α
1
x
4
+
α
2
x
5
+
α
3
x
6
+
α
4
x
7
+
α
5
x
8
,
(5c)
[
x
1
,
x
3
]
=
α
1
x
5
+
α
2
x
6
+
α
3
x
7
,
(5d)
[
x
1
,
x
4
]
=
3
α
1
x
6
+
α
8
x
7
+
α
9
x
8
,
(5e)
[
x
1
,
x
5
]
=
5
α
1
x
7
,
(5f)
[
x
1
,
x
6
]
=
α
10
x
7
+
α
11
x
8
,
(5g)
[
x
2
,
x
3
]
=
-
2
α
1
x
6
+
(
α
2
-
α
8
)
x
7
-
α
9
x
8
,
(5h)
[
x
2
,
x
4
]
=
-
2
α
1
x
7
,
(5i)
[
x
2
,
x
5
]
=
-
α
10
x
7
-
α
11
x
8
,
(5j)
[
x
3
,
x
4
]
=
α
10
x
7
+
α
11
x
8
without restrictions derived from the Jacobi identity (4a)–(4q). It can be observed that x
7 and x
8 are now central; thus the application of the elementary change of base
(6)
y
i
=
x
i
,
i
≠
8
,
y
8
=
α
10
·
x
7
+
α
11
·
x
8
permits us to suppose that α
10
=
0 and α
11
=
1. Then (5f), (5i), and (5j) are simplified and the derived series is 𝒟
1
𝔤
=
〈
x
2
,
x
3
,
x
4
,
x
5
,
x
6
,
x
7
,
x
8
〉, 𝒟
2
𝔤
=
〈
-
2
α
1
x
6
,
(
α
2
-
α
8
)
x
7
,
-
α
9
x
8
,
-
2
α
1
x
7
,
x
8
〉, and so forth. Thus Dim
[
𝒟
2
𝔤
]
=
3 if α
1
≠
0 and Dim
[
𝒟
2
𝔤
]
⩽
2 if α
1
=
0. Therefore the nullity of α
1 constitutes a new classification criterion.In this subsection (case A), the notation to describe the parameters of the subfamilyi is reduced to μ
i  (
α
1
,
α
2
,
α
3
,
α
4
,
α
5
,
α
7
,
α
8
,
α
9
) for simplification. Figure 1 shows the classification in 19 subfamilies in the case A. They are classified with the criteria summarized in Figure 2 and detailed in the following cases.Figure 1
Case A:α
11
≠
0; classification of the nonisomorphic QFLA of dimension 9 (the last 7 values, 0,1
,
0,0
,
0,0
,
0, common to the 19 families have been omitted from the figure for simplicity).Figure 2
Case A:α
11
≠
0; nonisomorphic subfamilies determination.


### 2.3.1. Case A.1

One hasα
11
≠
0 and α
1
≠
0.Proposition 3.
Case A.1 permits us to suppose thatα
1
=
1.Proof.
With the elementary change of base CB,(7)
y
0
=
x
0
,
y
i
=
x
i
α
1
,
1
⩽
i
⩽
7
,
y
8
=
x
8
α
1
2
,
|
CB
|
=
1
/
α
1
9
≠
0 and then α
1
=
1.The subfamilies of laws with the structure (5a)–(5j) are μ
i
(
1
,
α
2
,
α
3
,
α
4
,
α
5
,
3
,
α
8
,
α
9
) with i
=
1,2
,
3.Let us denote, from here forward, byδ the new parameters obtained from the changes of base and μ
¯ the Lie algebra families depending on these new parameters δ (which in general depend on the 16 parameters α), in order to differentiate the new representation μ
¯
i
(
δ
j
) from the representation of the families depending in general on the 16 parameters μ
i
(
α
1
,
…
,
α
16
).Proposition 4.
The nilpotent QFLA of dimension 9 withα
11
≠
0 and α
1
≠
0 can be classified in three nonisomorphic subfamilies μ
i with i from 1 to 3, described in Figure 1, according to the conditions described in Figure 2.Proof.
Let us apply the change of base:(8)
y
0
=
P
0
x
0
+
P
1
x
1
+
P
2
x
2
+
P
3
x
3
+
P
4
x
4
+
P
5
x
5
+
P
6
x
6
+
P
7
x
7
+
P
8
x
8
,
y
1
=
Q
0
x
0
+
Q
1
x
1
+
Q
2
x
2
+
Q
3
x
3
+
Q
4
x
4
+
Q
5
x
5
+
Q
6
x
6
+
Q
7
x
7
+
Q
8
x
8
,
y
i
+
1
=
[
y
0
,
y
i
]
,
1
⩽
i
⩽
6
,
y
8
=
[
y
1
,
y
6
]
.
The subfamilies of laws are μ
¯
i
(
δ
2
,
δ
3
,
δ
4
,
δ
5
,
δ
8
,
δ
9
). The determinant of the change matrix is P
0
18
(
P
0
Q
1
-
P
1
Q
0
)
9; thus P
0
≠
0 and (
P
0
Q
1
-
P
1
Q
0
)
≠
0. Since the coefficient of y
3 and y
4 in [
y
1
,
y
2
] must be null, then Q
0
=
0 and Q
1
=
P
0
2. Let us apply (8) again and the only restriction is P
0
≠
0. Thus, with the coefficient identifications, the new parameters are
(9)
δ
2
=
(
-
2
P
1
+
α
2
P
0
)
P
0
2
,
(10)
δ
3
=
(
-
2
Q
2
2
+
4
P
0
2
Q
3
-
7
P
1
α
2
P
0
3
+
7
P
1
2
P
0
2
+
α
3
P
0
4
)
P
0
6
,
(11)
δ
4
=
(
α
4
P
0
6
-
2
α
2
2
P
0
5
P
1
-
2
α
2
P
0
4
Q
3
+
α
2
P
0
2
Q
2
2
-
α
2
P
0
5
P
1
α
8
+
2
Q
2
3
-
12
P
1
α
3
P
0
5
-
42
P
1
P
0
3
Q
3
-
44
P
1
3
P
0
3
+
56
P
0
4
P
1
2
α
2
+
18
P
1
Q
2
2
P
0
-
6
P
0
2
Q
3
Q
2
+
6
P
0
4
Q
4
+
6
P
2
P
0
3
Q
2
+
P
0
4
P
1
2
α
8
-
6
P
0
5
P
3
+
2
α
8
P
0
4
Q
3
-
Q
2
2
P
0
2
α
8
)
×
(
P
0
9
)
-
1
,
(12)
δ
5
=
(
2
P
0
P
1
Q
3
Q
2
+
2
P
2
α
2
P
0
3
Q
2
+
6
P
1
2
α
3
P
0
4
-
2
P
2
P
0
Q
2
2
-
2
P
0
2
Q
4
Q
2
+
6
P
0
4
P
3
P
1
-
8
P
1
2
Q
2
2
-
2
P
0
P
1
Q
2
2
α
2
-
4
P
1
P
2
P
0
2
Q
2
+
2
P
2
P
0
3
Q
3
+
2
P
3
P
0
3
Q
2
-
4
P
1
P
0
3
Q
4
+
20
P
0
2
P
1
2
Q
3
-
Q
2
2
P
0
2
α
9
+
2
Q
3
P
0
4
α
9
+
P
1
Q
2
2
P
0
α
8
-
P
1
P
0
5
α
4
+
P
0
2
Q
3
2
+
2
P
0
4
Q
5
+
P
0
6
α
5
+
2
P
1
P
0
3
Q
3
α
2
-
2
P
1
α
8
P
0
3
Q
3
+
α
2
P
0
4
P
1
2
α
8
-
α
2
P
0
5
P
1
α
9
-
2
P
0
5
P
3
α
2
-
2
P
0
5
P
4
+
15
P
0
2
P
1
4
-
P
0
4
P
2
2
+
P
0
4
P
1
2
α
9
-
20
P
0
3
P
1
3
α
2
-
P
0
3
P
1
3
α
8
)
×
(
P
0
10
)
-
1
,
(13)
δ
8
=
(
-
20
P
1
+
α
8
P
0
)
P
0
2
,
(14)
δ
9

=

(
8
P
1
2
P
0
2
-
P
0
3
P
1
α
8
+
P
0
4
α
9
+
2
P
0
2
Q
3
+
2
P
1
α
2
P
0
3
-
Q
2
2
)
P
0
6
.
Let us select P
1, Q
3, P
3, and P
4 appropriately and the subfamilies of laws result in μ
¯
i
(
0,0
,
0,0
,
δ
8
,
δ
9
)
(15)
[
y
0
,
y
i
]
=
y
i
+
1
,
1
⩽
i
⩽
6
,
[
y
1
,
y
2
]
=
y
4
,
[
y
1
,
y
3
]
=
y
5
,
[
y
1
,
y
4
]
=
3
y
6
+
δ
8
y
7
+
δ
9
y
8
,
[
y
1
,
y
5
]
=
5
y
7
,
[
y
1
,
y
6
]
=
y
8
,
[
y
2
,
y
3
]
=
-
2
y
6
-
δ
8
y
7
-
δ
9
y
8
,
[
y
2
,
y
4
]
=
-
2
y
7
,
[
y
2
,
y
5
]
=
-
y
8
,
[
y
3
,
y
4
]
=
y
8
.
The nullity of -
10
α
2
+
α
8 and the nullity of 31
α
2
2
+
8
α
9
-
4
α
3
-
4
α
2
α
8 are invariants. It can be proved by substituting (9) and (13) in the expressions -
10
δ
2
+
δ
8 and 31
δ
2
2
+
8
δ
9
-
4
δ
3
-
4
δ
2
δ
8; then P
0 is in the denominator and since it must be nonnull, the nullity of those expressions is invariant for the change (8). Then four subcases are determined by the nullity of δ
8 and δ
9. If δ
8
≠
0, the subcases corresponding to δ
9 nullity or nonnullity can be reduced to a subfamily of algebras μ
1
λ
(
1
,
0
,
0
,
0
,
0
,
0
,
3
,
1
,
λ
,
0
,
1
) with one parameter λ
∈
C, with λ
=
(
1
/
8
)
(
-
31
α
2
2
+
8
α
9
+
4
α
3
+
4
α
2
α
8
)
/
(
-
31
α
2
+
31
α
8
)
2. If δ
8
=
0, in the subcase corresponding to δ
9
≠
0, P
0 can be selected as (
-
18
α
2
2
+
16
α
9
-
8
α
3
)
1
/
2
/
4 since α
9
≠
(
-
31
α
2
2
+
4
α
3
+
4
α
2
α
8
)
/
8 and α
8
=
10
α
2 imply -
9
α
2
2
+
8
α
9
-
4
α
3
≠
0. Thus δ
9
=
1, and the algebra is described by μ
2
(
1
,
0
,
0
,
0
,
0
,
0
,
3
,
0
,
1
,
0
,
1
). Finally, the forth subcase is the algebra μ
3
(
1
,
0
,
0
,
0
,
0
,
0
,
3
,
0
,
0
,
0
,
1
).


### 2.3.2. Case A.2

One hasα
11
≠
0 and α
1
=
0.Proposition 5.
The nilpotent QFLA of dimension 9 withα
11
≠
0, α
1
=
0, and α
2
=
α
8 are nonisomorphic to the algebras with α
11
≠
0, α
1
=
0, and α
2
≠
α
8.Proof.
The derived series is𝒟
1
𝔤
=
〈
x
2
,
x
3
,
x
4
,
x
5
,
x
6
,
x
7
,
x
8
〉, 𝒟
2
𝔤
=
〈
(
α
2
-
α
8
)
x
7
,
x
8
〉, and so forth; thus Dim
[
𝒟
2
𝔤
]
=
2
if α
2
≠
α
8 and Dim
[
𝒟
2
𝔤
]
=
1 if α
2
=
α
8. The nullity of α
2
-
α
8 constitutes a new classification criterion.Proposition 6.
The nilpotent QFLA of dimension 9 withα
11
≠
0, α
1
=
0, and α
2
≠
α
8 can be classified in ten nonisomorphic subfamilies μ
j with j from 4 to 13, described in Figure 1, according to the conditions described in Figure 2.Proof.
Let us apply the change of base (8). The subfamilies of laws are μ
¯
j
(
δ
2
,
δ
3
,
δ
4
,
δ
5
,
δ
8
,
δ
9
) and the restrictions P
0
≠
0 and Q
1
≠
0. Thus, with the coefficient identifications, the new parameters are
(16)
δ
2
=
Q
1
α
2
P
0
3
,
(17)
δ
3
=
Q
1
α
3
P
0
3
,
(18)
δ
4
=
-
(
2
Q
1
2
P
1
α
2
2
+
2
Q
3
P
0
Q
1
α
2
-
Q
2
2
P
0
α
2
+
α
2
Q
1
2
P
1
α
8
-
Q
1
2
P
0
α
4
-
2
Q
1
P
0
Q
3
α
8
+
P
0
Q
2
2
α
8
)
×
(
Q
1
P
0
6
)
-
1
,
(19)
δ
5
=
(
-
α
2
Q
1
2
P
1
P
0
α
9
-
2
α
2
Q
1
2
P
3
P
0
+
α
2
Q
1
2
P
1
2
α
8
+
2
P
0
P
2
Q
1
α
2
Q
2
-
P
1
P
0
α
4
Q
1
2
-
2
P
1
P
0
Q
1
Q
3
α
8
-
2
P
1
P
0
α
2
Q
2
2
+
P
1
P
0
Q
2
2
α
8
+
2
P
1
P
0
α
2
Q
1
Q
3
+
Q
1
2
P
0
2
α
5
+
2
Q
1
P
0
2
Q
3
α
9
+
2
Q
5
P
0
2
Q
1
-
Q
2
2
P
0
2
α
9
-
2
Q
4
P
0
2
Q
2
+
Q
3
2
P
0
2
)
×
(
Q
1
2
P
0
6
)
-
1
,
(20)
δ
8
=
α
8
Q
1
P
0
3
,
(21)
δ
9

=

(
-
Q
1
2
P
1
α
8
+
Q
1
2
P
0
α
9
+
2
P
0
Q
3
Q
1
+
2
Q
1
2
P
1
α
2
-
P
0
Q
2
2
)
P
0
3
Q
1
2
.
Selecting Q
5 and Q
3 appropriately the subfamilies of laws result in μ
¯
j
(
δ
2
,
δ
3
,
δ
4
,
0
,
δ
8
,
0
). From (16), (17), and (20) the invariance of the nullities of α
2,   α
3, and α
8 is clear. The nullity of4
α
2
-
α
8 is also invariant. It can be proved by substituting (16) and (20) in the expression 4
δ
2
-
δ
8 considering the change restrictions. If α
11
≠
0, α
1
=
0, α
2
≠
α
8, α
2
≠
0, α
3
≠
0, α
8
≠
0, and α
8
≠
4
α
2, selecting Q
1
=
P
0
3
/
α
8
≠
0, P
0
=
α
3
/
α
8
≠
0, and P
1
=
α
3
(
-
α
8
α
9
+
α
4
+
α
2
α
9
)
/
(
α
8
2
(
-
α
8
+
4
α
2
)
), the subfamily is μ
4
λ
(
0
,
λ
,
1
,
0
,
0
,
0
,
1
,
0
), with δ
2
=
α
2
/
α
8
=
λ
∈
C
-
{
0
,
1
,
1
/
4
}. If α
11
≠
0, α
1
=
0, α
2
≠
α
8, α
2
≠
0, α
3
≠
0, α
8
≠
0, and α
8
=
4
α
2, then δ
4 is invariant, and the subfamily is μ
5
λ
(
0
,
1
/
4
,
1
,
λ
,
0
,
0
,
1
,
0
)
,
λ
∈
C. If α
11
≠
0, α
1
=
0, α
2
≠
α
8, α
2
≠
0, α
3
≠
0, and α
8
=
0, selecting Q
1
=
P
0
4
/
α
3
≠
0 and P
0
=
α
3
/
α
2
≠
0, the subfamily is μ
6
λ
(
0
,
1
,
1
,
λ
,
0
,
0
,
0
,
0
)
,
λ
∈
C. If α
11
≠
0, α
1
=
0, α
2
≠
α
8, α
2
≠
0, α
3
=
0, α
8
≠
0, and α
8
≠
4
α
2, selecting Q
1
=
P
0
3
/
α
8
≠
0 and P
1
=
P
0
(
-
α
9
α
8
+
α
2
α
9
+
α
4
-
P
0
2
α
8
)
/
(
α
8
(
-
α
8
+
4
α
2
)
), the subfamily is μ
7
λ
(
0
,
λ
,
0
,
1
,
0
,
0
,
1
,
0
)
,
λ
∈
C
-
{
0
,
1
,
1
/
4
}. If α
11
≠
0, α
1
=
0, α
2
≠
α
8, α
2
≠
0, α
3
=
0, α
8
≠
0, and α
8
=
4
α
2, selecting Q
1
=
P
0
3
/
α
2, the nullity of -
α
4
+
3
α
2
α
9 is invariant. If α
4
≠
3
α
2
α
9, selecting P
0
2
=
-
α
2
(
-
α
4
+
3
α
2
α
9
)
/
α
2
2, the subfamily is μ
8
(
0
,
1
,
0
,
1
,
0
,
0
,
4
,
0
), else the subfamily is μ
9
(
0
,
1
,
0
,
0
,
0
,
0
,
4
,
0
). If α
11
≠
0, α
1
=
0, α
2
≠
α
8, α
2
≠
0, α
3
=
0, and α
8
=
0, selecting Q
1
=
P
0
3
/
α
2, the nullity of α
2
α
9
+
α
4 is invariant. If α
4
≠
-
α
2
α
9, selecting P
0
2
=
α
2
(
α
2
α
9
+
α
4
)
/
α
2
2
≠
0, the subfamily is μ
10
(
0
,
1
,
0
,
1
,
0
,
0
,
0
,
0
); else with Q
1
=
P
0
3
/
α
2 the subfamily is μ
11
(
0
,
1
,
0
,
0
,
0
,
0
,
0
,
0
). If α
11
≠
0, α
1
=
0, α
2
≠
α
8, α
2
=
0, and α
3
≠
0, selecting Q
1
=
P
0
4
/
α
3
≠
0, P
0
=
α
3
/
α
8
≠
0, and P
1
=
-
α
3
(
α
4
-
α
9
α
8
)
/
α
8
3, the subfamily is μ
12
(
0
,
0
,
1
,
0
,
0
,
0
,
1
,
0
). If α
11
≠
0, α
1
=
0, α
2
≠
α
8, α
2
=
0, and α
3
=
0, selecting Q
1
=
P
0
3
/
α
8
≠
0 and P
1
=
P
0
(
-
α
4
+
α
9
α
8
+
P
0
2
α
8
)
/
α
8
2
≠
0, the subfamily is μ
13
(
0
,
0
,
0
,
1
,
0
,
0
,
1
,
0
).Proposition 7.
The nilpotent QFLA of dimension 9 withα
11
≠
0, α
1
=
0, and α
2
=
α
8 can be classified in six nonisomorphic subfamilies μ
k with k from 14 to 19, described in Figure 1, according to the conditions described in Figure 2.Proof.
Let us apply the change of base (8). The subfamilies of laws are μ
¯
k
(
δ
2
,
δ
3
,
δ
4
,
δ
5
,
δ
8
,
δ
9
) and the restrictions P
0
≠
0 and Q
1
≠
0. Thus, with the coefficient identifications, the new parameters are
(22)
δ
2
=
Q
1
α
2
P
0
3
,
(23)
δ
3
=
Q
1
α
3
P
0
4
,
(24)
δ
4
=
Q
1
(
-
3
α
2
2
P
1
+
P
0
α
4
)
P
0
6
,
(25)
δ
5
=
(
-
α
2
Q
1
2
P
1
P
0
α
9
-
2
α
2
Q
1
2
P
3
P
0
+
α
2
2
Q
1
2
P
1
2
+
2
P
2
P
0
Q
1
α
2
Q
2
-
P
0
Q
1
2
P
1
α
4
+
Q
1
2
P
0
2
α
5
+
2
Q
1
P
0
2
Q
3
α
9
+
2
Q
5
P
0
2
Q
1
-
Q
2
2
P
0
2
α
9
-
2
Q
4
P
0
2
Q
2
-
P
0
P
1
Q
2
2
α
2
+
Q
3
2
P
0
2
)
×
(
Q
1
2
P
0
6
)
-
1
,
(26)
δ
9
=
(
P
1
Q
1
2
α
2
+
Q
1
2
P
0
α
9
+
2
P
0
Q
3
Q
1
-
P
0
Q
2
2
)
(
P
0
3
Q
1
2
)
.
Let us select Q
5 and Q
3 appropriately and the subfamilies of laws result in μ
¯
k
(
δ
2
,
δ
3
,
δ
4
,
0,0
). From (22), (23), and (24) the invariance of the nullities of α
2
,
α
3, and α
4 is clear. If α
11
≠
0, α
1
=
0, α
2
=
α
8, α
2
≠
0, and α
3
≠
0, selecting Q
1
=
P
0
3
/
α
2
≠
0, P
0
=
α
3
/
α
2
≠
0, and P
1
=
α
3
α
4
/
(
3
α
2
3
), the subfamily is μ
14
(
0
,
1
,
1
,
0
,
0
,
0
,
1
,
0
). If α
11
≠
0, α
1
=
0, α
2
=
α
8, α
2
≠
0, and α
3
=
0, selecting Q
1
=
P
0
3
/
α
2
≠
0 and P
1
=
P
0
α
4
/
(
3
α
2
2
), the subfamily is μ
15
(
0
,
1
,
0
,
0
,
0
,
0
,
1
,
0
). If α
11
≠
0
∧
α
1
=
0, α
2
=
α
8, α
2
=
0, and α
3
≠
0, selecting Q
1
=
P
0
4
/
α
3
≠
0, the nullity of α
4 is invariant. If α
4
≠
0 and P
0
=
α
4
/
α
3
≠
0, the subfamily is μ
16
(
0
,
0
,
1
,
1
,
0
,
0
,
0
,
0
). If α
4
=
0 the subfamily is μ
17
(
0
,
0
,
1
,
0
,
0
,
0
,
0
,
0
). If α
11
≠
0, α
1
=
0, α
2
=
α
8, α
2
=
0, and α
3
=
0, selecting Q
1
=
P
0
5
/
α
4
≠
0, the subfamilies are μ
18
(
0
,
0
,
0
,
1
,
0
,
0
,
0
,
0
) with α
4
≠
0, and μ
19
(
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
) with α
4
=
0.


## 2.3.1. Case A.1

One hasα
11
≠
0 and α
1
≠
0.Proposition 3.
Case A.1 permits us to suppose thatα
1
=
1.Proof.
With the elementary change of base CB,(7)
y
0
=
x
0
,
y
i
=
x
i
α
1
,
1
⩽
i
⩽
7
,
y
8
=
x
8
α
1
2
,
|
CB
|
=
1
/
α
1
9
≠
0 and then α
1
=
1.The subfamilies of laws with the structure (5a)–(5j) are μ
i
(
1
,
α
2
,
α
3
,
α
4
,
α
5
,
3
,
α
8
,
α
9
) with i
=
1,2
,
3.Let us denote, from here forward, byδ the new parameters obtained from the changes of base and μ
¯ the Lie algebra families depending on these new parameters δ (which in general depend on the 16 parameters α), in order to differentiate the new representation μ
¯
i
(
δ
j
) from the representation of the families depending in general on the 16 parameters μ
i
(
α
1
,
…
,
α
16
).Proposition 4.
The nilpotent QFLA of dimension 9 withα
11
≠
0 and α
1
≠
0 can be classified in three nonisomorphic subfamilies μ
i with i from 1 to 3, described in Figure 1, according to the conditions described in Figure 2.Proof.
Let us apply the change of base:(8)
y
0
=
P
0
x
0
+
P
1
x
1
+
P
2
x
2
+
P
3
x
3
+
P
4
x
4
+
P
5
x
5
+
P
6
x
6
+
P
7
x
7
+
P
8
x
8
,
y
1
=
Q
0
x
0
+
Q
1
x
1
+
Q
2
x
2
+
Q
3
x
3
+
Q
4
x
4
+
Q
5
x
5
+
Q
6
x
6
+
Q
7
x
7
+
Q
8
x
8
,
y
i
+
1
=
[
y
0
,
y
i
]
,
1
⩽
i
⩽
6
,
y
8
=
[
y
1
,
y
6
]
.
The subfamilies of laws are μ
¯
i
(
δ
2
,
δ
3
,
δ
4
,
δ
5
,
δ
8
,
δ
9
). The determinant of the change matrix is P
0
18
(
P
0
Q
1
-
P
1
Q
0
)
9; thus P
0
≠
0 and (
P
0
Q
1
-
P
1
Q
0
)
≠
0. Since the coefficient of y
3 and y
4 in [
y
1
,
y
2
] must be null, then Q
0
=
0 and Q
1
=
P
0
2. Let us apply (8) again and the only restriction is P
0
≠
0. Thus, with the coefficient identifications, the new parameters are
(9)
δ
2
=
(
-
2
P
1
+
α
2
P
0
)
P
0
2
,
(10)
δ
3
=
(
-
2
Q
2
2
+
4
P
0
2
Q
3
-
7
P
1
α
2
P
0
3
+
7
P
1
2
P
0
2
+
α
3
P
0
4
)
P
0
6
,
(11)
δ
4
=
(
α
4
P
0
6
-
2
α
2
2
P
0
5
P
1
-
2
α
2
P
0
4
Q
3
+
α
2
P
0
2
Q
2
2
-
α
2
P
0
5
P
1
α
8
+
2
Q
2
3
-
12
P
1
α
3
P
0
5
-
42
P
1
P
0
3
Q
3
-
44
P
1
3
P
0
3
+
56
P
0
4
P
1
2
α
2
+
18
P
1
Q
2
2
P
0
-
6
P
0
2
Q
3
Q
2
+
6
P
0
4
Q
4
+
6
P
2
P
0
3
Q
2
+
P
0
4
P
1
2
α
8
-
6
P
0
5
P
3
+
2
α
8
P
0
4
Q
3
-
Q
2
2
P
0
2
α
8
)
×
(
P
0
9
)
-
1
,
(12)
δ
5
=
(
2
P
0
P
1
Q
3
Q
2
+
2
P
2
α
2
P
0
3
Q
2
+
6
P
1
2
α
3
P
0
4
-
2
P
2
P
0
Q
2
2
-
2
P
0
2
Q
4
Q
2
+
6
P
0
4
P
3
P
1
-
8
P
1
2
Q
2
2
-
2
P
0
P
1
Q
2
2
α
2
-
4
P
1
P
2
P
0
2
Q
2
+
2
P
2
P
0
3
Q
3
+
2
P
3
P
0
3
Q
2
-
4
P
1
P
0
3
Q
4
+
20
P
0
2
P
1
2
Q
3
-
Q
2
2
P
0
2
α
9
+
2
Q
3
P
0
4
α
9
+
P
1
Q
2
2
P
0
α
8
-
P
1
P
0
5
α
4
+
P
0
2
Q
3
2
+
2
P
0
4
Q
5
+
P
0
6
α
5
+
2
P
1
P
0
3
Q
3
α
2
-
2
P
1
α
8
P
0
3
Q
3
+
α
2
P
0
4
P
1
2
α
8
-
α
2
P
0
5
P
1
α
9
-
2
P
0
5
P
3
α
2
-
2
P
0
5
P
4
+
15
P
0
2
P
1
4
-
P
0
4
P
2
2
+
P
0
4
P
1
2
α
9
-
20
P
0
3
P
1
3
α
2
-
P
0
3
P
1
3
α
8
)
×
(
P
0
10
)
-
1
,
(13)
δ
8
=
(
-
20
P
1
+
α
8
P
0
)
P
0
2
,
(14)
δ
9

=

(
8
P
1
2
P
0
2
-
P
0
3
P
1
α
8
+
P
0
4
α
9
+
2
P
0
2
Q
3
+
2
P
1
α
2
P
0
3
-
Q
2
2
)
P
0
6
.
Let us select P
1, Q
3, P
3, and P
4 appropriately and the subfamilies of laws result in μ
¯
i
(
0,0
,
0,0
,
δ
8
,
δ
9
)
(15)
[
y
0
,
y
i
]
=
y
i
+
1
,
1
⩽
i
⩽
6
,
[
y
1
,
y
2
]
=
y
4
,
[
y
1
,
y
3
]
=
y
5
,
[
y
1
,
y
4
]
=
3
y
6
+
δ
8
y
7
+
δ
9
y
8
,
[
y
1
,
y
5
]
=
5
y
7
,
[
y
1
,
y
6
]
=
y
8
,
[
y
2
,
y
3
]
=
-
2
y
6
-
δ
8
y
7
-
δ
9
y
8
,
[
y
2
,
y
4
]
=
-
2
y
7
,
[
y
2
,
y
5
]
=
-
y
8
,
[
y
3
,
y
4
]
=
y
8
.
The nullity of -
10
α
2
+
α
8 and the nullity of 31
α
2
2
+
8
α
9
-
4
α
3
-
4
α
2
α
8 are invariants. It can be proved by substituting (9) and (13) in the expressions -
10
δ
2
+
δ
8 and 31
δ
2
2
+
8
δ
9
-
4
δ
3
-
4
δ
2
δ
8; then P
0 is in the denominator and since it must be nonnull, the nullity of those expressions is invariant for the change (8). Then four subcases are determined by the nullity of δ
8 and δ
9. If δ
8
≠
0, the subcases corresponding to δ
9 nullity or nonnullity can be reduced to a subfamily of algebras μ
1
λ
(
1
,
0
,
0
,
0
,
0
,
0
,
3
,
1
,
λ
,
0
,
1
) with one parameter λ
∈
C, with λ
=
(
1
/
8
)
(
-
31
α
2
2
+
8
α
9
+
4
α
3
+
4
α
2
α
8
)
/
(
-
31
α
2
+
31
α
8
)
2. If δ
8
=
0, in the subcase corresponding to δ
9
≠
0, P
0 can be selected as (
-
18
α
2
2
+
16
α
9
-
8
α
3
)
1
/
2
/
4 since α
9
≠
(
-
31
α
2
2
+
4
α
3
+
4
α
2
α
8
)
/
8 and α
8
=
10
α
2 imply -
9
α
2
2
+
8
α
9
-
4
α
3
≠
0. Thus δ
9
=
1, and the algebra is described by μ
2
(
1
,
0
,
0
,
0
,
0
,
0
,
3
,
0
,
1
,
0
,
1
). Finally, the forth subcase is the algebra μ
3
(
1
,
0
,
0
,
0
,
0
,
0
,
3
,
0
,
0
,
0
,
1
).


## 2.3.2. Case A.2

One hasα
11
≠
0 and α
1
=
0.Proposition 5.
The nilpotent QFLA of dimension 9 withα
11
≠
0, α
1
=
0, and α
2
=
α
8 are nonisomorphic to the algebras with α
11
≠
0, α
1
=
0, and α
2
≠
α
8.Proof.
The derived series is𝒟
1
𝔤
=
〈
x
2
,
x
3
,
x
4
,
x
5
,
x
6
,
x
7
,
x
8
〉, 𝒟
2
𝔤
=
〈
(
α
2
-
α
8
)
x
7
,
x
8
〉, and so forth; thus Dim
[
𝒟
2
𝔤
]
=
2
if α
2
≠
α
8 and Dim
[
𝒟
2
𝔤
]
=
1 if α
2
=
α
8. The nullity of α
2
-
α
8 constitutes a new classification criterion.Proposition 6.
The nilpotent QFLA of dimension 9 withα
11
≠
0, α
1
=
0, and α
2
≠
α
8 can be classified in ten nonisomorphic subfamilies μ
j with j from 4 to 13, described in Figure 1, according to the conditions described in Figure 2.Proof.
Let us apply the change of base (8). The subfamilies of laws are μ
¯
j
(
δ
2
,
δ
3
,
δ
4
,
δ
5
,
δ
8
,
δ
9
) and the restrictions P
0
≠
0 and Q
1
≠
0. Thus, with the coefficient identifications, the new parameters are
(16)
δ
2
=
Q
1
α
2
P
0
3
,
(17)
δ
3
=
Q
1
α
3
P
0
3
,
(18)
δ
4
=
-
(
2
Q
1
2
P
1
α
2
2
+
2
Q
3
P
0
Q
1
α
2
-
Q
2
2
P
0
α
2
+
α
2
Q
1
2
P
1
α
8
-
Q
1
2
P
0
α
4
-
2
Q
1
P
0
Q
3
α
8
+
P
0
Q
2
2
α
8
)
×
(
Q
1
P
0
6
)
-
1
,
(19)
δ
5
=
(
-
α
2
Q
1
2
P
1
P
0
α
9
-
2
α
2
Q
1
2
P
3
P
0
+
α
2
Q
1
2
P
1
2
α
8
+
2
P
0
P
2
Q
1
α
2
Q
2
-
P
1
P
0
α
4
Q
1
2
-
2
P
1
P
0
Q
1
Q
3
α
8
-
2
P
1
P
0
α
2
Q
2
2
+
P
1
P
0
Q
2
2
α
8
+
2
P
1
P
0
α
2
Q
1
Q
3
+
Q
1
2
P
0
2
α
5
+
2
Q
1
P
0
2
Q
3
α
9
+
2
Q
5
P
0
2
Q
1
-
Q
2
2
P
0
2
α
9
-
2
Q
4
P
0
2
Q
2
+
Q
3
2
P
0
2
)
×
(
Q
1
2
P
0
6
)
-
1
,
(20)
δ
8
=
α
8
Q
1
P
0
3
,
(21)
δ
9

=

(
-
Q
1
2
P
1
α
8
+
Q
1
2
P
0
α
9
+
2
P
0
Q
3
Q
1
+
2
Q
1
2
P
1
α
2
-
P
0
Q
2
2
)
P
0
3
Q
1
2
.
Selecting Q
5 and Q
3 appropriately the subfamilies of laws result in μ
¯
j
(
δ
2
,
δ
3
,
δ
4
,
0
,
δ
8
,
0
). From (16), (17), and (20) the invariance of the nullities of α
2,   α
3, and α
8 is clear. The nullity of4
α
2
-
α
8 is also invariant. It can be proved by substituting (16) and (20) in the expression 4
δ
2
-
δ
8 considering the change restrictions. If α
11
≠
0, α
1
=
0, α
2
≠
α
8, α
2
≠
0, α
3
≠
0, α
8
≠
0, and α
8
≠
4
α
2, selecting Q
1
=
P
0
3
/
α
8
≠
0, P
0
=
α
3
/
α
8
≠
0, and P
1
=
α
3
(
-
α
8
α
9
+
α
4
+
α
2
α
9
)
/
(
α
8
2
(
-
α
8
+
4
α
2
)
), the subfamily is μ
4
λ
(
0
,
λ
,
1
,
0
,
0
,
0
,
1
,
0
), with δ
2
=
α
2
/
α
8
=
λ
∈
C
-
{
0
,
1
,
1
/
4
}. If α
11
≠
0, α
1
=
0, α
2
≠
α
8, α
2
≠
0, α
3
≠
0, α
8
≠
0, and α
8
=
4
α
2, then δ
4 is invariant, and the subfamily is μ
5
λ
(
0
,
1
/
4
,
1
,
λ
,
0
,
0
,
1
,
0
)
,
λ
∈
C. If α
11
≠
0, α
1
=
0, α
2
≠
α
8, α
2
≠
0, α
3
≠
0, and α
8
=
0, selecting Q
1
=
P
0
4
/
α
3
≠
0 and P
0
=
α
3
/
α
2
≠
0, the subfamily is μ
6
λ
(
0
,
1
,
1
,
λ
,
0
,
0
,
0
,
0
)
,
λ
∈
C. If α
11
≠
0, α
1
=
0, α
2
≠
α
8, α
2
≠
0, α
3
=
0, α
8
≠
0, and α
8
≠
4
α
2, selecting Q
1
=
P
0
3
/
α
8
≠
0 and P
1
=
P
0
(
-
α
9
α
8
+
α
2
α
9
+
α
4
-
P
0
2
α
8
)
/
(
α
8
(
-
α
8
+
4
α
2
)
), the subfamily is μ
7
λ
(
0
,
λ
,
0
,
1
,
0
,
0
,
1
,
0
)
,
λ
∈
C
-
{
0
,
1
,
1
/
4
}. If α
11
≠
0, α
1
=
0, α
2
≠
α
8, α
2
≠
0, α
3
=
0, α
8
≠
0, and α
8
=
4
α
2, selecting Q
1
=
P
0
3
/
α
2, the nullity of -
α
4
+
3
α
2
α
9 is invariant. If α
4
≠
3
α
2
α
9, selecting P
0
2
=
-
α
2
(
-
α
4
+
3
α
2
α
9
)
/
α
2
2, the subfamily is μ
8
(
0
,
1
,
0
,
1
,
0
,
0
,
4
,
0
), else the subfamily is μ
9
(
0
,
1
,
0
,
0
,
0
,
0
,
4
,
0
). If α
11
≠
0, α
1
=
0, α
2
≠
α
8, α
2
≠
0, α
3
=
0, and α
8
=
0, selecting Q
1
=
P
0
3
/
α
2, the nullity of α
2
α
9
+
α
4 is invariant. If α
4
≠
-
α
2
α
9, selecting P
0
2
=
α
2
(
α
2
α
9
+
α
4
)
/
α
2
2
≠
0, the subfamily is μ
10
(
0
,
1
,
0
,
1
,
0
,
0
,
0
,
0
); else with Q
1
=
P
0
3
/
α
2 the subfamily is μ
11
(
0
,
1
,
0
,
0
,
0
,
0
,
0
,
0
). If α
11
≠
0, α
1
=
0, α
2
≠
α
8, α
2
=
0, and α
3
≠
0, selecting Q
1
=
P
0
4
/
α
3
≠
0, P
0
=
α
3
/
α
8
≠
0, and P
1
=
-
α
3
(
α
4
-
α
9
α
8
)
/
α
8
3, the subfamily is μ
12
(
0
,
0
,
1
,
0
,
0
,
0
,
1
,
0
). If α
11
≠
0, α
1
=
0, α
2
≠
α
8, α
2
=
0, and α
3
=
0, selecting Q
1
=
P
0
3
/
α
8
≠
0 and P
1
=
P
0
(
-
α
4
+
α
9
α
8
+
P
0
2
α
8
)
/
α
8
2
≠
0, the subfamily is μ
13
(
0
,
0
,
0
,
1
,
0
,
0
,
1
,
0
).Proposition 7.
The nilpotent QFLA of dimension 9 withα
11
≠
0, α
1
=
0, and α
2
=
α
8 can be classified in six nonisomorphic subfamilies μ
k with k from 14 to 19, described in Figure 1, according to the conditions described in Figure 2.Proof.
Let us apply the change of base (8). The subfamilies of laws are μ
¯
k
(
δ
2
,
δ
3
,
δ
4
,
δ
5
,
δ
8
,
δ
9
) and the restrictions P
0
≠
0 and Q
1
≠
0. Thus, with the coefficient identifications, the new parameters are
(22)
δ
2
=
Q
1
α
2
P
0
3
,
(23)
δ
3
=
Q
1
α
3
P
0
4
,
(24)
δ
4
=
Q
1
(
-
3
α
2
2
P
1
+
P
0
α
4
)
P
0
6
,
(25)
δ
5
=
(
-
α
2
Q
1
2
P
1
P
0
α
9
-
2
α
2
Q
1
2
P
3
P
0
+
α
2
2
Q
1
2
P
1
2
+
2
P
2
P
0
Q
1
α
2
Q
2
-
P
0
Q
1
2
P
1
α
4
+
Q
1
2
P
0
2
α
5
+
2
Q
1
P
0
2
Q
3
α
9
+
2
Q
5
P
0
2
Q
1
-
Q
2
2
P
0
2
α
9
-
2
Q
4
P
0
2
Q
2
-
P
0
P
1
Q
2
2
α
2
+
Q
3
2
P
0
2
)
×
(
Q
1
2
P
0
6
)
-
1
,
(26)
δ
9
=
(
P
1
Q
1
2
α
2
+
Q
1
2
P
0
α
9
+
2
P
0
Q
3
Q
1
-
P
0
Q
2
2
)
(
P
0
3
Q
1
2
)
.
Let us select Q
5 and Q
3 appropriately and the subfamilies of laws result in μ
¯
k
(
δ
2
,
δ
3
,
δ
4
,
0,0
). From (22), (23), and (24) the invariance of the nullities of α
2
,
α
3, and α
4 is clear. If α
11
≠
0, α
1
=
0, α
2
=
α
8, α
2
≠
0, and α
3
≠
0, selecting Q
1
=
P
0
3
/
α
2
≠
0, P
0
=
α
3
/
α
2
≠
0, and P
1
=
α
3
α
4
/
(
3
α
2
3
), the subfamily is μ
14
(
0
,
1
,
1
,
0
,
0
,
0
,
1
,
0
). If α
11
≠
0, α
1
=
0, α
2
=
α
8, α
2
≠
0, and α
3
=
0, selecting Q
1
=
P
0
3
/
α
2
≠
0 and P
1
=
P
0
α
4
/
(
3
α
2
2
), the subfamily is μ
15
(
0
,
1
,
0
,
0
,
0
,
0
,
1
,
0
). If α
11
≠
0
∧
α
1
=
0, α
2
=
α
8, α
2
=
0, and α
3
≠
0, selecting Q
1
=
P
0
4
/
α
3
≠
0, the nullity of α
4 is invariant. If α
4
≠
0 and P
0
=
α
4
/
α
3
≠
0, the subfamily is μ
16
(
0
,
0
,
1
,
1
,
0
,
0
,
0
,
0
). If α
4
=
0 the subfamily is μ
17
(
0
,
0
,
1
,
0
,
0
,
0
,
0
,
0
). If α
11
≠
0, α
1
=
0, α
2
=
α
8, α
2
=
0, and α
3
=
0, selecting Q
1
=
P
0
5
/
α
4
≠
0, the subfamilies are μ
18
(
0
,
0
,
0
,
1
,
0
,
0
,
0
,
0
) with α
4
≠
0, and μ
19
(
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
) with α
4
=
0.


## 2.4. Case B

One hasα
11
=
0.Proposition 8.
The nilpotent QFLA of dimension 9 andα
11
=
0 and α
9
≠
0 are nonisomorphic to the algebras with α
11
=
0 and α
9
=
0.Proof.
For the family described by (3a)–(3o) and (4a)–(4q), 𝒞
3
𝔤
=
〈
x
4
,
x
5
,
x
6
,
x
7
,
α
9
x
8
〉; therefore its dimension is Dim
[
𝒞
3
𝔤
]
=
5, if α
9
≠
0 or Dim
[
𝒞
3
𝔤
]
=
4, if α
9
=
0, and the nullity of α
9 constitutes a new classification criterion.


### 2.4.1. Case B.1

One hasα
11
=
0 and α
9
≠
0.Proposition 9.
The nilpotent QFLA of dimension 9 withα
11
=
0, α
9
≠
0, and α
6
≠
0 are nonisomorphic to the algebras with α
11
=
0, α
9
≠
0, and α
6
=
0.Proof.
Ifα
9
≠
0, it can be deduced that α
12
=
α
13
=
α
14
=
0. By computing the Jacobi equations, the family of laws is reduced to
(27)
[
x
0
,
x
i
]
=
x
i
+
1
,
1
⩽
i
⩽
6
,
(28)
[
x
1
,
x
2
]
=
α
1
x
4
+
α
2
x
5
+
α
3
x
6
+
α
4
x
7
+
α
5
x
8
,
(29)
[
x
1
,
x
3
]
=
α
1
x
5
+
α
2
x
6
+
α
3
x
7
,
(30)
[
x
1
,
x
4
]
=
α
6
x
5
+
α
7
x
6
+
α
8
x
7
+
α
9
x
8
,
(31)
[
x
1
,
x
5
]
=
2
α
6
x
6
+
(
2
α
7
-
α
1
)
x
7
,
(32)
[
x
1
,
x
6
]
=
α
10
x
7
,
(33)
[
x
1
,
x
8
]
=
α
15
x
6
+
α
16
x
7
,
(34)
[
x
2
,
x
3
]
=
-
α
6
x
5
+
(
α
1
-
α
7
)
x
6
+
(
α
2
-
α
8
)
x
7
-
α
9
x
8
,
(35)
[
x
2
,
x
4
]
=
-
α
6
x
6
+
(
α
1
-
α
7
)
x
7
,
(36)
[
x
2
,
x
5
]
=
(
2
α
6
-
α
10
)
x
7
,
(37)
[
x
2
,
x
8
]
=
α
15
x
7
,
(38)
[
x
3
,
x
4
]
=
(
-
3
α
6
+
α
10
)
x
7
with two restrictions
(39)
-
2
α
6
2
-
α
9
α
15
=
0
,
-
4
α
1
α
6
+
3
α
1
α
10
-
2
α
6
α
7
-
α
7
α
10
-
α
9
α
16
=
0
.
Since α
9
≠
0, the application of the elementary change of base CB
(40)
y
0
=
y
1
y
i
=
x
i
α
9
,
1
⩽
i
⩽
n
-
1
with
|
CB
|
=
1
α
9
8
≠
0
permits us to suppose that α
9
=
1. Then from (39), α
15
=
-
2
α
6
2 and α
16
=
-
4
α
1
α
6
+
3
α
1
α
10
-
2
α
6
α
7
-
α
7
α
10. This implies that (33) and (37) are changed to [
x
1
,
x
8
]
=
-
2
α
6
2
x
6
+
(
α
1
(
-
4
α
6
+
3
α
10
)
-
α
7
(
2
α
6
+
α
10
)
)
x
7 and [
x
2
,
x
8
]
=
-
2
α
6
2
x
7, respectively, and the subfamily of laws μ
l
(
α
1
,
α
2
,
α
3
,
α
4
,
α
5
,
α
6
,
α
7
,
α
8
,
1
,
α
10
,
0,0
,
0,0
,
0,0
), with l from 20 to 63, has no restrictions (4a)–(4q). Its derived series is 𝒟
1
𝔤
=
〈
x
2
,
x
3
,
x
4
,
x
5
,
x
6
,
x
7
,
x
8
〉, 𝒟
2
𝔤
=
〈
-
α
6
x
5
+
(
α
1
-
α
7
)
x
6
+
(
α
2
-
α
8
)
x
7
,
x
8
,
-
α
6
x
6
+
(
α
1
-
α
7
)
x
7
,
(
2
α
6
-
α
10
)
x
7
,
-
2
α
6
2
x
7
,
(
-
3
α
6
+
α
10
)
x
7
〉, and so forth. Thus Dim
[
𝒟
2
𝔤
]
=
4 if α
6
≠
0 and Dim
[
𝒟
2
𝔤
]
⩽
3 if α
6
=
0. Therefore the nullity of α
6 constitutes a new classification criterion.Case B.1.1:
α
11
=
0
,
α
9
≠
0
and
α
6
≠
0
. Figure 3 provides the classification in 18 subfamilies in this case.Figure 3
Case B.1.1:α
11
=
0, α
9
≠
0, and α
6
≠
0; classification of the QFLA of dimension 9.Case B.1.2:
α
11
=
0
,
α
9
≠
0
, and
α
6
=
0
. Figure 4 provides the classification in 26 subfamilies in this case.Figure 4
Case B.1.2:α
11
=
0; α
9
≠
0, and α
6
=
0; classification of the QFLA of dimension 9.


### 2.4.2. Case B.2

One hasα
11
=
0 and α
9
=
0.The restrictions in the family (4a)–(4q) are reduced to
(41)
α
5
α
12
=
0
,
(42)
α
6
α
12
=
0
,
(43)
α
6
α
13
=
0
,
(44)
α
10
α
12
=
0
,
(45)
α
12
(
α
1
-
α
7
)
=
0
,
(46)
α
5
α
13
-
2
α
6
2
=
0
,
(47)
2
(
α
2
-
α
8
)
α
12
+
3
(
α
1
-
α
7
)
α
13
+
2
(
α
6
-
α
10
)
α
14
=
0
,
(48)
α
5
α
14
-
2
(
2
α
1
+
α
7
)
α
6
-
α
9
α
16
+
(
3
α
1
-
α
7
)
α
10
=
0
.Proposition 10.
The nilpotent QFLA of dimension 9 withα
11
=
0, α
9
=
0, and α
5
≠
0 are nonisomorphic to the algebras with α
11
=
0, α
9
=
0, and α
5
=
0.Proof.
Equations (43) and (46) imply that α
6
=
0. By computing the Jacobi equations, the subfamily of laws is μ
m
(
α
1
,
α
2
,
α
3
,
α
4
,
α
5
,
0
,
α
7
,
α
8
,
0
,
α
10
,
0
,
α
12
,
α
13
,
α
14
,
α
15
,
α
16
), with m from 64 to 263, and the restrictions are reduced to 6. Its descending central series is 𝒞
1
𝔤
=
〈
x
2
,
x
3
,
x
4
,
x
5
,
x
6
,
x
7
,
α
5
x
8
〉, and so forth. Thus the nullity of α
5 constitutes a new classification criterion.An exhaustive and extensive process of analysis with the same methodology shown in the previous subsections leads to the final subclassification, which is summarized in the following Figures.Case B.2.1:
α
11
=
0
,
α
9
=
0
, and
α
5
≠
0
. Figure 5 provides the classification in 55 subfamilies in this case.Figure 5
Case B.2.1:α
11
=
0, α
9
=
0, α
5
≠
0; classification of the QFLA of dimension 9.Case B.2.2:
α
11
=
0
,
α
9
=
0
, and
α
5
=
0
. Figures 6 and 7 provide the classification in 145 subfamilies in this case.Figure 6
Case B.2.2. First part:α
11
=
0, α
9
=
0, and α
5
=
0. Classification of the QFLA of dimension 9.Figure 7
Case B.2.2. Second part:α
11
=
0, α
9
=
0, and α
5
=
0. Classification of the QFLA of dimension 9.


## 2.4.1. Case B.1

One hasα
11
=
0 and α
9
≠
0.Proposition 9.
The nilpotent QFLA of dimension 9 withα
11
=
0, α
9
≠
0, and α
6
≠
0 are nonisomorphic to the algebras with α
11
=
0, α
9
≠
0, and α
6
=
0.Proof.
Ifα
9
≠
0, it can be deduced that α
12
=
α
13
=
α
14
=
0. By computing the Jacobi equations, the family of laws is reduced to
(27)
[
x
0
,
x
i
]
=
x
i
+
1
,
1
⩽
i
⩽
6
,
(28)
[
x
1
,
x
2
]
=
α
1
x
4
+
α
2
x
5
+
α
3
x
6
+
α
4
x
7
+
α
5
x
8
,
(29)
[
x
1
,
x
3
]
=
α
1
x
5
+
α
2
x
6
+
α
3
x
7
,
(30)
[
x
1
,
x
4
]
=
α
6
x
5
+
α
7
x
6
+
α
8
x
7
+
α
9
x
8
,
(31)
[
x
1
,
x
5
]
=
2
α
6
x
6
+
(
2
α
7
-
α
1
)
x
7
,
(32)
[
x
1
,
x
6
]
=
α
10
x
7
,
(33)
[
x
1
,
x
8
]
=
α
15
x
6
+
α
16
x
7
,
(34)
[
x
2
,
x
3
]
=
-
α
6
x
5
+
(
α
1
-
α
7
)
x
6
+
(
α
2
-
α
8
)
x
7
-
α
9
x
8
,
(35)
[
x
2
,
x
4
]
=
-
α
6
x
6
+
(
α
1
-
α
7
)
x
7
,
(36)
[
x
2
,
x
5
]
=
(
2
α
6
-
α
10
)
x
7
,
(37)
[
x
2
,
x
8
]
=
α
15
x
7
,
(38)
[
x
3
,
x
4
]
=
(
-
3
α
6
+
α
10
)
x
7
with two restrictions
(39)
-
2
α
6
2
-
α
9
α
15
=
0
,
-
4
α
1
α
6
+
3
α
1
α
10
-
2
α
6
α
7
-
α
7
α
10
-
α
9
α
16
=
0
.
Since α
9
≠
0, the application of the elementary change of base CB
(40)
y
0
=
y
1
y
i
=
x
i
α
9
,
1
⩽
i
⩽
n
-
1
with
|
CB
|
=
1
α
9
8
≠
0
permits us to suppose that α
9
=
1. Then from (39), α
15
=
-
2
α
6
2 and α
16
=
-
4
α
1
α
6
+
3
α
1
α
10
-
2
α
6
α
7
-
α
7
α
10. This implies that (33) and (37) are changed to [
x
1
,
x
8
]
=
-
2
α
6
2
x
6
+
(
α
1
(
-
4
α
6
+
3
α
10
)
-
α
7
(
2
α
6
+
α
10
)
)
x
7 and [
x
2
,
x
8
]
=
-
2
α
6
2
x
7, respectively, and the subfamily of laws μ
l
(
α
1
,
α
2
,
α
3
,
α
4
,
α
5
,
α
6
,
α
7
,
α
8
,
1
,
α
10
,
0,0
,
0,0
,
0,0
), with l from 20 to 63, has no restrictions (4a)–(4q). Its derived series is 𝒟
1
𝔤
=
〈
x
2
,
x
3
,
x
4
,
x
5
,
x
6
,
x
7
,
x
8
〉, 𝒟
2
𝔤
=
〈
-
α
6
x
5
+
(
α
1
-
α
7
)
x
6
+
(
α
2
-
α
8
)
x
7
,
x
8
,
-
α
6
x
6
+
(
α
1
-
α
7
)
x
7
,
(
2
α
6
-
α
10
)
x
7
,
-
2
α
6
2
x
7
,
(
-
3
α
6
+
α
10
)
x
7
〉, and so forth. Thus Dim
[
𝒟
2
𝔤
]
=
4 if α
6
≠
0 and Dim
[
𝒟
2
𝔤
]
⩽
3 if α
6
=
0. Therefore the nullity of α
6 constitutes a new classification criterion.Case B.1.1:
α
11
=
0
,
α
9
≠
0
and
α
6
≠
0
. Figure 3 provides the classification in 18 subfamilies in this case.Figure 3
Case B.1.1:α
11
=
0, α
9
≠
0, and α
6
≠
0; classification of the QFLA of dimension 9.Case B.1.2:
α
11
=
0
,
α
9
≠
0
, and
α
6
=
0
. Figure 4 provides the classification in 26 subfamilies in this case.Figure 4
Case B.1.2:α
11
=
0; α
9
≠
0, and α
6
=
0; classification of the QFLA of dimension 9.


## 2.4.2. Case B.2

One hasα
11
=
0 and α
9
=
0.The restrictions in the family (4a)–(4q) are reduced to
(41)
α
5
α
12
=
0
,
(42)
α
6
α
12
=
0
,
(43)
α
6
α
13
=
0
,
(44)
α
10
α
12
=
0
,
(45)
α
12
(
α
1
-
α
7
)
=
0
,
(46)
α
5
α
13
-
2
α
6
2
=
0
,
(47)
2
(
α
2
-
α
8
)
α
12
+
3
(
α
1
-
α
7
)
α
13
+
2
(
α
6
-
α
10
)
α
14
=
0
,
(48)
α
5
α
14
-
2
(
2
α
1
+
α
7
)
α
6
-
α
9
α
16
+
(
3
α
1
-
α
7
)
α
10
=
0
.Proposition 10.
The nilpotent QFLA of dimension 9 withα
11
=
0, α
9
=
0, and α
5
≠
0 are nonisomorphic to the algebras with α
11
=
0, α
9
=
0, and α
5
=
0.Proof.
Equations (43) and (46) imply that α
6
=
0. By computing the Jacobi equations, the subfamily of laws is μ
m
(
α
1
,
α
2
,
α
3
,
α
4
,
α
5
,
0
,
α
7
,
α
8
,
0
,
α
10
,
0
,
α
12
,
α
13
,
α
14
,
α
15
,
α
16
), with m from 64 to 263, and the restrictions are reduced to 6. Its descending central series is 𝒞
1
𝔤
=
〈
x
2
,
x
3
,
x
4
,
x
5
,
x
6
,
x
7
,
α
5
x
8
〉, and so forth. Thus the nullity of α
5 constitutes a new classification criterion.An exhaustive and extensive process of analysis with the same methodology shown in the previous subsections leads to the final subclassification, which is summarized in the following Figures.Case B.2.1:
α
11
=
0
,
α
9
=
0
, and
α
5
≠
0
. Figure 5 provides the classification in 55 subfamilies in this case.Figure 5
Case B.2.1:α
11
=
0, α
9
=
0, α
5
≠
0; classification of the QFLA of dimension 9.Case B.2.2:
α
11
=
0
,
α
9
=
0
, and
α
5
=
0
. Figures 6 and 7 provide the classification in 145 subfamilies in this case.Figure 6
Case B.2.2. First part:α
11
=
0, α
9
=
0, and α
5
=
0. Classification of the QFLA of dimension 9.Figure 7
Case B.2.2. Second part:α
11
=
0, α
9
=
0, and α
5
=
0. Classification of the QFLA of dimension 9.


## 3. Concluding Remarks

Computational aid has been indispensable in this piece of research. A PC Pentium 4 of 2.4 GHz and the programming language Maple 6 have been used in the process. The library modules developed represent approximately 12,000 lines of code. In some cases, in this massive application of computational resources and looking for the simplification of some laws, procedures that perhaps can be considered of “inverse engineering” have been used in order to find some very complex changes of base, which have allowed us to eliminate some parameters in the laws involved. In any case, the massive application of changes of base and characteristic vector has allowed us to obtain the complete classification in 263 subfamilies of the QFLA laws of dimension 9.The 263 families have been represented in the paper, consisting of 157 simple algebras, 77 families depending on 1 parameter, 24 families depending on 2 parameters, and 5 families depending on 3 parameters. The classification is complete since any couple of the obtained 263 families is nonisomorphic and any quasifiliform Lie algebra of dimension 9 is isomorphic to one of them. The nonisomorphism of the 263 Lie algebra families has been proved in the 10 propositions of the paper, and the completeness of the classification is proved by the “exhaustive” analysis of all the possible cases, depending on the combination of the values of the 16 parameters(
a
1
⋯
a
16
).



---

*Source: 173072-2014-03-06.xml*