On properties of principal elements of Frobenius Lie
algebras
arXiv:1212.5380v2 [math.DG] 14 Apr 2014

Andre Diatta ∗and Bakary Manga†
April 15, 2014

Abstract
We investigate the properties of principal elements of Frobenius Lie algebras.
We prove that any Lie algebra with a left symmetric algebra structure can be
embedded as a subalgebra of some sl(m, K), for K = R or C. Hence, the work
of Belavin and Drinfeld on solutions of the Classical Yang-Baxter Equation on
simple Lie algebras, applied to the particular case of sl(m, K) alone, paves the way
to the complete classification of Frobenius and more generally quasi-Frobenius
Lie algebras. We prove that, if a Frobenius Lie algebra has the property that
every derivation is an inner derivation, then every principal element is semisimple.
As an important case, we prove that in the Lie algebra of the group of affine
motions of the Euclidean space of finite dimension, every derivation is inner. We
also bring examples of Frobenius Lie algebras that are subalgebras of sl(m, K),
but yet have nonsemisimple principal elements as well as some with semisimple
principal elements having nonrational eigenvalues, where K = R or C.

1

Introduction

Throughout this work, all Lie algebras are considered over K = C or R. A finite
dimensional Lie algebra G with Lie bracket [., .] over K, is called quasi-Frobenius or
symplectic, if it possesses a nondegenerate skew-symmetric closed 2-form ω. If ω is the
(Chevalley-Eilenberg) differential of some linear functional, i.e. if there exists a linear
1-form α on G, such that ω(x, y) = ∂α(x, y) := −α([x, y]), for all x, y on G, then G
is called a Frobenius (or exact symplectic) Lie algebra and α a Frobenius functional.
Quasi-Frobenius Lie algebras are also endowed with a natural left symmetric algebra
(LSA) structure (J.L. Koszul, A. Joseph, A. Albert, Y. Matsushima, ... ) See Section
2 for more details. Frobenius Lie algebras have been extensively studied by several authors, see e.g. [4], [5], [6], [7], [8], [13], [14], [16], [17], [18], [19], [22], [23], [24], [25],
∗

CNRS Institut Fresnel UMR 7249, Aix-Marseille Université, Marseille, France
E-mail: andre.diatta@fresnel.fr
†
(2) Département de Mathématiques et Informatique. Université Cheikh Anta Diop de Dakar,
Sénégal.
E-mail: bakary.manga@ucad.edu.sn

1

[26], [27], etc. They also appear in many research areas such as Poisson Geometry and
Hamiltonian systems (see e.g. [12], [9]), invariant affine geometry (see. e.g. [10]), symplectic and Kähler geometry, homogeneous domains ([4], [6], [7], [13], [22], [19], [27]), the
Yang-Baxter Equation (see e.g. [1, 2, 3], [28]), contact geometry ([9], [11]), deformation
quantization, etc.
In [17], M. Gerstenhaber and A. Giaquinto, proved that if a Frobenius Lie algebra G
is a saturated subalgebra (i.e. G is not an ideal of any larger subalgebra) of a simple Lie
algebra, then any principal element of a Frobenius functional is semisimple, at least for
K algebraically closed. In this paper, we drop the saturation requirement and explore
the properties of principal element of Frobenius Lie algebras, in general.
• We explore the geometric properties of principal elements of general Frobenius Lie
algebras, from the viewpoint of invariant affine geometry, namely, by exploiting the induced structure of left symmetric algebra (Section 3).
• In Theorem 4.1, we prove that, more generally, any Lie algebra with a left symmetric
algebra structure (hence including quasi-Frobenius and in particular Frobenius Lie algebras) can be embedded as a subalgebra of some sl(m, K). This implies that some of the
results within [17], [18], ..., are valid for a much wider class of Frobenius Lie algebras.
In particular, for any Frobenius Lie algebra, one can still perform the study on associated graphs as in, e.g. [18], amongst other papers. Such an embedding of a Frobenius
Lie algebra in some sl(m, K), is not unique. It would be interesting to investigate the
obstructions to embedding a given Frobenius Lie algebra as a subalgebra of sl(m, K), of
some special given type, e.g. seaweed type, etc. Another consequence is that, the classification of quasi-Frobenius (and Frobenius) Lie algebras of dimension 2n, could solely
rely on that of the solutions of the Classical Yang-Baxter Equation on sl(2n + 1, K).
Amongst other authors, Belavin and Drinfeld [1, 2, 3] have dedicated some of their work
to the classification of the latter on simple Lie algebras. However, the classification of
Frobenius Lie algebras might need to take into account the so-called double extension
process as in [6], [7].
• We prove that, if a Frobenius Lie algebra has the property that every derivation is an
inner derivation, then every principal element is semisimple (Theorem 5.2), at least for
K = C. As an important case, we prove that in the Lie algebra of the group of affine
motions of the Euclidean space of finite dimension, every derivation is inner (Theorem
6.1).
• In Section 7, we also supply a wide family of interesting examples of Frobenius Lie
algebras, that hence can be considered as subalgebras of some sl(m, K), the adjoint of
whose principal elements could be nearly anything. In particular, some of them have
nonsemisimple principal elements, some other have semisimple principal elements the
adjoint of which have nonrational eigenvalues, ..., for K = R or C.
The image Im(r) of a solution r of the Classical Yang-Baxter Equation on a Lie
algebra G, is a quasi-Frobenius Lie algebra which is a subalgebra of G (see e.g. [22]). If G
is compact, then Im(r) is an abelian subalgebra (see e.g. [22]). Hence, a Frobenius Lie
algebra cannot be a subalgebra of a compact Lie algebra. On the other hand, if a quasiFrobenius Lie algebra G is unimodular (see e.g. [5]), or equivalently, if the connection
(6) is complete on any connected Lie group with Lie algebra G ([22]), then G is solvable.
2

If in addition, it is Kähler, then it is Abelian ([22]). Of course, the results within this
paper clearly indicate that, although every Frobenius Lie algebra is a subalgebra of some
sl(n, K), it needs not be solvable, although it is obviously the image of a solution of the
Classical Yang-Baxter Equation.

2

Some preliminaries and notations

Throughout this paper, we will always denote by h, i the duality pairing between a
vector space E and its dual E ∗ , unless otherwise stated. If (e1 , . . . , en ) is a basis of E,
then the corresponding dual basis will be often denoted by (e∗1 , . . . , e∗n ). Let G be a Lie
group with unit ǫ and G its Lie algebra identified with the tangent space Tǫ G to G at ǫ.
If x is an element of G, we denote by x+ , the unique left invariant vector field on G, with
value x = x+
ǫ at ǫ. That is, for every σ ∈ G, if we let Lσ stand for the left multiplication
τ 7→ Lσ (τ ) := στ on G by σ, and Tǫ Lσ its derivative at ǫ, then x+
σ := Tǫ Lσ x. For all
the representations involved in this work, we will equally use the same symbol ∂ for the
associated (Chevalley-Eilenberg) coboundary operator.
Definition 2.1. A pair (G, ω + ) of a Lie group G and a left invariant nondegenerate
closed differential 2-form ω + on G, is termed a quasi-Frobenius (or symplectic) Lie
group. If ω := ωǫ+ , then (G, ω) is the corresponding quasi-Frobenius (or symplectic) Lie
algebra. If in addition, ω + is the differential dα+ = ω + of a left invariant differential
1-form α+ on G, or equivalently, if ω(x, y) = ∂α(x, y) := −α([x, y]) for all x, y ∈ G,
with α ∈ G ∗ , then (G, ω + ) (resp. (G, ω) ) is called a Frobenius (or exact symplectic) Lie
group (resp. Lie algebra.)
From now on, we may as well use the duality pairing notation hα, [x, y]i instead of
α([x, y]). Now consider the linear map
q : G → G ∗,

q(x) := ix ω = ω(x, .).

(1)

Then ω being a closed 2-form is equivalent to q being a cocycle for the co-adjoint action,
that is 0 = ∂q(x, y) := ad∗x q(y) − ad∗y q(x) − q([x, y]), for all x, y ∈ G. Moreover, ω is
the 2-coboundary ω = ∂α of α ∈ G ∗ for the adjoint action, if and only if q is the 1coboundary of −α for the coadjoint action, namely, q(x) = ad∗x α, for every x ∈ G. Of
course, the nondegeneracy of ω is equivalent to the invertibility of q.
Recall that a manifold M is referred to as an affine manifold, if it is endowed with
an affine structure. That is, if M has a maximal atlas of charts (affine atlas) to an affine
space (say Rn ) with transition functions extending to affine transformations. Recall
also that, affine transformations of Rn form the group of transformations that preserve
the usual flat and torsion free connection on Rn . Hence, every affine chart inherits a
flat and torsion free connection, the pullback of the usual one of Rn . As the change of
coordinates are affine, those connections glue together into a globally defined torsion free
and (locally) flat connection, say ∇, on M. Conversely, any torsion free and (locally) flat
connection on M gives rise to an affine structure on M. A vector field X on an affine
manifold (M, ∇) is said to be radiant if it satisfies ∇Y X = Y for every vector field Y on
3

M. A map between two affine manifolds whose expression in affine atlas, extends to an
affine map, is called a morphism of affine manifolds. An affine structure on a Lie group
G is said to be left invariant if left translations are morphisms of the underlying affine
manifold. The restriction of the corresponding connection to left invariant vector fields
gives rise to a product (x, y) 7→ xy on the Lie algebra G of G by
xy := (∇x+ y + )ǫ .

(2)

If we let A(x, y, z) stand for the associator A(x, y, z) := (xy)z − x(yz) of x, y, z ∈ G,
then the (local) flatness of ∇ is then equivalent to A being left symmetric, i.e.
A(x, y, z) = A(y, x, z), i.e., (xy)z − x(yz) = (yx)z − y(xz), ∀x, y, z ∈ G.

(3)

The torsion free condition is equivalent to the fact that the Lie bracket [x, y] of any two
vectors x, y is their commutator
xy − yx = [x, y].

(4)

Definition 2.2. A Lie algebra G with a product (x, y) 7→ xy, satisfying the conditions
(3) and (4) is called a left symmetric algebra (LSA, for short). Such a product is called
an LSA structure on G. Sometimes, we will abusively refer to such a product as an LSA.
Let us define a linear map L from G to the space gl(G) of all linear maps from G
to itself, as follows: Lx (y) := xy. The condition (3) above is equivalent to L being a
homomorphism of Lie algebras and hence a representation of G on itself, where the Lie
algebra structure of gl(G) is given by the matrix commutators. The corresponding Gmodule will be denoted by GL . From that point of view, the condition (4) is equivalent to
the identity transformation I(x) := x, from G to GL , being a 1-cocycle for the representation L. That is, 0 = ∂I(x, y) := Lx I(y) − Ly I(x) − I([x, y]). Conversely, associated to
an LSA structure on a Lie algebra G, is a left invariant affine structure on any Lie group
with Lie algebra G. The corresponding left invariant flat and torsion free connection is
obtained by left translating about the group, the products xy of all x, y ∈ G:
∇x+ y + := (xy)+ .

(5)

Hence, (2) and (5) provide a bijective correspondence between left invariant affine structures in connected Lie groups and left symmetric algebra (LSA) structures in their Lie
algebras.
Definition 2.3. Let G be a Lie algebra endowed with an LSA (x, y) 7→ xy. (1) We call
y0 a right-unit of the LSA, if the right multiplication Ry0 : x 7→ xy0 by y0 , coincides with
the identity map IG of G. That is x = xy0 , for all x ∈ G. (2) An element x̃0 is termed a
right-nil of the LSA, if the right multiplication Rx̃0 by x̃0 , coincides with the zero map
of G. That is 0 = y x̃0 = Rx̃0 (y), for all y ∈ G.
A left invariant vector field x+
0 on a Lie group G is radiant if and only if, for the
corresponding LSA on G, the vector x0 := (x+
0 )ǫ is a right-unit. The existence of a
right-unit x0 can be understood as the fact that, for the Lie algebra representation L,
4

the 1-cocycle I is actually equal to the coboundary ∂x0 of x0 ∈ GL , namely, y = I(y) =
∂x0 (y) := L(y)x0 := yx0 , for all y ∈ G.
To any quasi-Frobenius Lie group (G, ω + ) is associated a zero curvature and torsion
free linear connection ∇ (or equivalently an affine structure) on G which is left invariant.
It is given on left invariant vector fields by the formula
ω + (∇x+ y + , z + ) := −ω + (y + , [x+ , z + ])

(6)

which naturally extends to a left invariant connection ∇ on G. The connection (6) then
induces an LSA structure on G, via the formula (2).
Example 2.1. The simplest example of a Frobenius Lie algebra is the 2-dimensional Lie
algebra aff(K) of the group of affine motions of K. It has basis (e1 , e2 ) with Lie bracket
[e1 , e2 ] = e2 . Let (e∗1 , e∗2 ) stand for the corresponding dual basis. Set ω(x, y) = −e∗2 ([x, y]).
Then ω = ∂e∗2 = −e∗1 ∧ e∗2 . The LSA is given by e21 = −e1 , e1 e2 = 0, e2 e1 = −e2 ,
e22 = 0. We also have, q(e1 ) = −e∗2 , q(e2 ) = e∗1 . The linear map defined by J(e1 ) = e2 ,
J(e2 ) = −e1 , together with ω, give rise to a left invariant Kähler structure on any Lie
group with Lie algebra aff(K).
More generally, a triplet (G, ωǫ+ , Jǫ+ ) is a called a j-algebra, if (G, ωǫ+ ) is a Frobenius
Lie algebra, with ωǫ+ (x, y) = −α([x, y]), for all x, y ∈ G, and (G, ω + , J + ) is a Kähler
group, for some Lie group G with Lie algebra G (see e.g. [22]) j-algebras are a key tool
in the study of homogeneous Kähler Manifolds and in particular homogeneous bounded
domains (see e.g. [13], [19], [27]).
Let p ≥ 1, n ≥ 2 be integers such that p divides n. Consider the Lie algebra gl(n, K)
of n × n real matrices, where the Lie bracket of two matrices M, N, is given, as usual, by
their commutator [M, N] = MN − NM. Let gl(n, K) act on the space Mn,p of n × p real
matrices by ordinary left multiplication of matrices. The resulting semi-direct product
gl(n, K) ⋉ Mn,p is a (non-solvable) Frobenius Lie algebra (see [26]), with the Lie algebra
of the group Aff(n, K) of affine motions of Kn as a particular case, when p = 1 (see also
[4]). Frobenius Lie algebras of dimension less than or equal to 6, are extensively studied
by several authors (see a list of those in dimension 4 in [9]).

3

Some properties of principal, right and nil elements

Lemma 3.1. Let G be a Lie algebra endowed with an LSA. (1) Every right-nil x̃0 is an
invariant or, equivalently, a 0-cocycle (a 0-covariant element) for the representation L.
That is, 0 = ∂ x̃0 (y) = Ly (x̃0 ), for all y ∈ G.
(2) Let y0 be a right-unit, then the following hold true: (a) −1 and 0 are always eigenvalues of the adjoint operator ady0 of y0 ; (b) every right-nil element is an eigenvector of
ady0 corresponding to the eigenvalue −1. In other words, right-nil elements are common
eigenvectors of adjoint operators of all right-units, with −1 as the corresponding common eigenvalue; (c) a vector x is an eigenvector for ady0 with corresponding eigenvalue
λ, if and only if x is also an eigenvector for Ly0 with corresponding eigenvalue 1 + λ.
5

Proof. (1) This readily follows from the definition. If x̃0 is a right-nil vector, then for
every y ∈ G we have 0 = y x̃0 = Ly (x̃0 ) =: ∂ x̃0 (y). (2)-(a) and (b): First, 0 is obviously an
eigenvalue of any adjoint operator. Now if y0 is a right-unit, the relation [y0 , x] = y0 x−x
implies in particular, that, if x is a right-nil vector, then ady0 (x) = −x. (2)-(c) This is
seen by rewriting the relation [y0 , x] = y0 x − x as (1 + ady0 )(x) = Ly0 (x).
From Lemma 3.1, the kernel ker(Ly0 ) of Ly0 is also the eigenspace G−1 of ady0 corresponding to the eigenvalue −1. Hence ker(Ly0 ) is never empty as it contains a subspace
of dimension dim(G) − dim([G, G]) 6= 0. Recall that, from [20], if a Lie algebra possesses
an LSA, then dim(G) 6= dim[G, G]. Lemma 3.1, (2) also implies that ady0 cannot be
nilpotent, if y0 is a right-unit.
Now suppose (G, ω = ∂α) is a Frobenius Lie algebra. Consider the LSA structure as
in (6) and the isomorphism q : G → G ∗ of vector spaces given by (1). There exists a
unique vector xα in G such that q(xα ) = α.
Definition 3.1. The unique vector xα in G such that q(xα ) = α is referred to as the
principal element corresponding to α.
Throughout this work, we will simply write x0 instead of xα .
The principal element x0 is a right-unit with respect to the LSA (6), as can be seen by
simply using the equality ω(Rx0 (x), y) = −ω(x0 , [x, y]) = −hq(x0 ), [x, y]i = −α([x, y]) =
ω(x, y), which is valid for all x, y ∈ G.
Let (G, ω + := dα+ ) be a Frobenius Lie group with Lie algebra (G, ∂α). Then, the Lie
derivative Lx+o along x+
ω + = ω + , that is, x+
o satisfies Lx+
o is a Liouville vector field on
o
+
+
+
+
G. We also have Lx+o α = α and Lx+o r = −r , where r + is the left invariant Poisson
tensor corresponding to the solution r ∈ ∧2 G of the classical Yang-Baxter Equation,
defined using the duality pairing and the map r̃ = q −1 , by r(β, γ) := hr̃(β), γi, for all
β, γ ∈ G ∗ (see e.g. [10] or [12] for more on the classical Yang-Baxter Equation).
Lemma 3.2. Let G be a Frobenius Lie algebra and q defined as above, β0 ∈ G ∗ and
y0 := q −1 (β0 ). Then, we have
∂β0 (x, y) := −β0 ([x, y]) = ω(xy0, y),

(7)

which implies that Ry0 (x) = xy0 = 0 for all x ∈ G if and only if the 1-form β0 is closed.
In other words, q ismorphically maps right-nil elements to linear closed 1-forms on G.
Proof. Obviously, we have ω(xy0, y) = −ω(y0 , [x, y]) = −β0 ([x, y]) = ∂β0 (x, y).
Let us remark that the space of closed linear 1-forms on G is isomorphic to the first
cohomology space H 1 (G, K) for the trivial action of G on K. We have
Corollary 3.1. Let (G, ω = ∂α) be a Frobenius Lie algebra with principal element x0 .
Then every right-unit y0 for the LSA given by (6) is of the form y0 = x0 + x̃0 , where x̃0
is some right-nil element for the same LSA. In other words, the set of right-units is the
affine space x0 + q −1 (H 1 (G, K)).
Proof. A vector y0 is a right-unit on G, if and only if for every x ∈ G, we have x(y0 −x0 ) =
0, that is, if and only if ỹ0 := y0 − x0 is a right-nil vector in G. Thus, from Lemma 3.2
the set of right-units is x0 + q −1 (H 1 (G, K)).
6

Lemma 3.3. Let (G, ω + ) be a quasi-Frobenius Lie group and (G, ω) the corresponding
Quasi-Frobenius Lie algebra. The following are equivalent: (a) the associated connection
defined in (6) has a radiant left invariant vector field or, equivalently, the induced LSA
on G has a right-unit;
(b) (G, ω + ) is a Frobenius Lie group, i.e. there exists α ∈ G ∗ such that ω(x, y) =
−α([x, y]), for all x, y ∈ G.
Proof. If (G, ω + = dα+ ) is Frobenius, then x0 := q −1 (α) is a right-unit for the LSA.
That is, x+
0 is a radiant left invariant vector field, for the connection ∇, defined by (6).
Conversely, given a quasi-Frobenius Lie algebra, the cocyle q : G → G ∗ is equivariant
with respect to the actions L of G on G via left multiplication and the coadjoint action
on G ∗ . That is: q(xy) = ad∗x q(y) for all x, y ∈ G. Now, suppose there is a right-unit x0 ,
then for every x ∈ G, we have q(x) = q(xx0 ) = ad∗x q(x0 ) = ad∗x α, where α = q(x0 ) ∈ G ∗
satisfies ∂α(x, y) = −α([x, y]) = −hq(x0 ), [x, y]i = −hq(x0 ) ◦ adx , yi = had∗x q(x0 ), yi =
hq(x), yi = ω(x, y).
Definition 3.2. Let φ : G → G be a linear operator (linear map). We say that φ is
infinitesimally conformal with respect to ω if there exists a scalar number λ(φ) ∈ K such
that, for every x, y ∈ G, we have ω(φ(x), y) + ω(x, φ(y)) = λ(φ)ω(x, y). If more over,
λ(φ) = 0, we say that φ is infinitesimally symplectic with respect to ω. In the case where
φ = adv0 , for some vector v0 ∈ G, then we call v0 a conformal vector.
Symplectic vectors are those v0 for which λ(adv0 ) = 0. The linear map λ : gl(G) → K,
φ 7→ λ(φ) is a Lie algebra homomorphism, that is, it is a closed linear form on G. Thus,
the space ker(λ) =: S of infinitesimal symplectic linear maps, is a Lie ideal of the Lie
algebra C of infinitesimally conformal maps. More precisely, we have the following.
Lemma 3.4. In a quasi-Frobenius Lie algebra, the Lie algebras S of infinitesimally
symplectic linear maps and C of infinitesimally conformal linear maps satisfy [C, C] ⊂ S.
The Lie subalgebras Sv of symplectic vectors and Cv of conformal vectors satisfy [Cv , Cv ] ⊂
Sv .
Proof. As C and Cv are Lie algebras and trace([φ1 , φ2 ]) = 0, for any linear operators
φ1 , φ2 , the proof readily derives from Proposition 3.1 below.
Proposition 3.1. Let (G, ω) be a quasi-Frobenius Lie algebra and φ : G → G a linear
map which is infinitesimally conformal with respect to ω. Then trace(φ) = 12 λ(φ) dim(G).
Proof. Let (G, ω) be a quasi-Frobenius Lie algebra of dimension 2n, chose a Darboux basis e1 , ..., e2n of G, so that ω(ei , ej ) = ω(en+i , en+j ) = 0 and ω(ei , en+j ) = δi,j , for all i, j =
2n
X
φk,lek ,
1, 2, . . . , n where δ is the Kronecker delta symbol. Now if we write φ(el ) =
k=1

with φk,l ∈ K and l = 1, 2, . . . , 2n. Then, the equality ω(φ(ei ), en+i ) + ω(ei , φ(en+i )) =
λ(φ)ω(ei , en+i ), becomes (φi,i + φn+i,n+i )ω(ei , en+i ) = λ(φ)ω(ei , en+i ). Hence trace(φ) =
n
X
P
(φi,i + φn+i,n+i )= ni=1 λ(φ)= nλ(φ).
i=1

7

On the manifold level (in the case at hand, quasi-Frobenius Lie groups) and for
conformal maps, say Φ, Proposition 3.1 will simply translate into a similar relationship
between the determinant of Φ, λ(Φ) and the dimension of the manifold.
For a conformal vector v0 , we simply write λ(v0 ) instead of λ(adv0 ).
Proposition 3.2. In a Frobenius Lie algebra G, right-unit and right-nil vectors are
infinitesimally conformal vectors, with respect to ω. That is, there exists a Lie algebra homomorphism (i.e. a closed linear 1-form) λ : G → K such that ω([v0 , x], y) +
ω(x, [v0 , y]) = λ(v0 )ω(x, y), for every right-unit or right-nil vector v0 and for every x, y
in G.
More precisely right-nil elements are symplectic vectors, that is, they are in the kernel
of λ. Whereas right-unit vectors are solutions of the equation λ(x) = −1, that is, every
right-unit v0 satisfies, for all x, y ∈ G,
ω([v0 , x], y) + ω(x, [v0 , y]) = −ω(x, y).

(8)

Proof. Suppose v0 is a right-unit, then for every x, y ∈ G, we have [v0 , x] = v0 x − x and
ω([v0 , x], y) = ω(v0 x, y) − ω(x, y) = −ω(x, [v0 , y]) − ω(x, y), or equivalently ω([v0 , x], y) +
ω(x, [v0 , y]) = −ω(x, y). Now if v0 is a right-nil, then for every x, y ∈ G, the following
holds [v0 , x] = v0 x. Thus ω([v0 , x], y) = ω(v0 x, y) = −ω(x, [v0 , y]), hence ω([v0 , x], y) +
ω(x, [v0 , y]) = 0.
In any Frobenius Lie group (G, ω + ) with Frobenius Lie algebra (G, ω), the left invariant vector field v0+ , corresponding to v0 as in Proposition 3.2, satisfies Lv0+ ω = λ(v0 )ω + .
As a direct corollary of Proposition 3.2, the following Proposition 3.3 generalizes a result
in Theorem 3.3 of Ooms [25] on principal elements.
Proposition 3.3. In a Frobenius Lie algebra G of dimension 2n, a right-unit vector
satisfies trace(adv0 )= −n and hence never lies in the derived ideal [G, G].
Proof. Suppose v0 is a right-unit of G. From Proposition 3.1, trace(adv0 )= nλ(v0 ) = −n.
Hence v0 is not in [G, G], as trace(ad[x,y] ) = trace([adx , ady ]) = 0, for all x, y ∈ G.
The following is a corollary of Proposition 3.3.
Proposition 3.4. A Frobenius Lie algebra cannot be unimodular.
Proof. A Lie algebra G is unimodular if and only if it has a adjoint-invariant volume
form (in other words, every Lie group with Lie algebra G has a bi-invariant volume form.
See [22], p. 226) or equivalently, the adjoint operator adx associated to every element
x ∈ G, must be traceless.
Remark 3.1. In a Frobenius Lie group, the connection defined in (6), is never geodesically complete (i.e. there exists at least one geodesic that cannot be extended to all values
of its affine parameter). Indeed, from [22] this connection is complete if and only if the
Lie group is unimodular and hence solvable. This geodesic incompleteness is also directly
deduced from [15], using the existence of a radiant vector field.
Remark 3.2. A Frobenius Lie algebra cannot be embedded as a subalgebra of some
compact Lie algebra. Indeed, it is well known that if a quasi-Frobenius Lie algebra G is
a subalgebra of a compact Lie algebra, then G must be Abelian (see e.g. [22]).
8

Theorem 3.1. [17]Suppose that G is a Frobenius Lie algebra which is a saturated subalgebra of a simple Lie algebra S over K = C, that is, G is not an ideal of any larger
subalgebra of S. If α is a Frobenius functional on G, then its principal element x0 is
semisimple.
In Section 5, we will see that the saturation property is not a necessary condition.
Theorem 3.2. [17] Suppose a Frobenius Lie algebra G is a saturated Lie subalgebra of
sl(n, C). If x0 is a principal element, then the eigenvalues of adx0 are integers which
constitute a single unbroken string. That is, if i and j are eigenvalues with i < j, then
any integer k with i < k < j, is also an eigenvalue.

4

Frobenius Lie algebras are subalgebras of sl(2n +
1, K)

The Following implies in particular that some of the results of M. Gerstenhaber
and A. Giaquinto in [17] on Frobenius subalgebras of sl(m, K) are actually valid for
some more general Frobenius Lie algebras. It also implies that the classification of the
solutions of the Classical Yang-Baxter Equation in sl(2n + 1, K) alone (see e.g. [1, 2, 3]),
is a route to classifying Frobenius and more generally quasi-Frobenius Lie algebras.
However, if G is a Frobenius Lie algebra, then m = 2n + 1 as in Theorem 4.1, is not
the lowest integer for which G is a subalgebra of sl(m, K). Indeed, for reasons related to
the dimension of Cartan subalgebras, the embedded subalgebra φ(G) does not contain
any Cartan subalgebra of sl(2n + 1, K), unlike some of the saturated subalgebras in [17].
Now the question as to what obstructions prevent a Frobenius Lie algebra from
being embedded as a subalgebra of a special kind, e.g. a saturated or seaweed, of some
sl(m, K), is still open.
Theorem 4.1. Let G be a Lie algebra of dimension p, endowed with an LSA structure,
then:
(1) G is isomorphic to a Lie subalgebra of sl(p + 1, K). In particular, quasi-Frobenius
Lie algebras of dimension 2n, can all be seen as subalgebras of sl(2n + 1, K),
(2) suppose in addition, that in G every derivation is an inner derivation. Then every
element of G admits a Jordan decomposition in G.
Proof. (1) From Sect. 3, a product (x, y) → xy =: Lx (y) on G, is an LSA if and only if
L : G → gl(G) is a representation of the Lie algebra G and idG : G → G is 1-cocycle of
L, so that
ρ : G → aff(G) := gl(G) ⋉ G, x 7→ Lx + x

(9)

is a faithful representation of G by affine transformations of the vector space Kp underlying the Lie algebra G. Hence G is isomorphic to the subalgebra Im(ρ) of aff(G).
On the other hand, for any Lie subalgebra A of the Lie algebra of linear operators of

9

a finite dimensional vector space, the trace T r : A → K, L 7→ T r(L) is a Lie algebra
homomorphism. Thus φ : G → sl(p + 1, K) defined by


Lx
x
,
(10)
φ(x) =
0 −T r(Lx )
is an injective Lie algebra homomorphism, hence φ(G) is a subalgebra of sl(p + 1, K)
isomorphic to G. The proof of part (2) of Theorem 4.1, is a consequence of the following
key lemma.
Lemma 4.1. If G is a subalgebra of a semisimple Lie algebra and every derivation of G
is an inner derivation, then all elements admit a Jordan-Chevalley decomposition in G.
Proof. The proof is similar to that of Theorem 5.2 below.
Corollary 4.1. For every Lie algebra G having trivial center Z(G) = 0 and only inner
derivations, all elements admit a Jordan-Chevalley decomposition in G.
Proof. It suffices to embed G in some sl(m, K) and then apply Lemma 4.1 above.

5

Semisimplicity of the Principal elements

The saturation condition is not a necessary condition for the semisimplicity of principal elements of Frobenius Lie algebras which are subalgebras of semisimple Lie algebras.
Indeed, let us start from a Frobenius Lie algebra G1 which is a saturated Lie subalgebra
of a simple Lie algebra, say sl(n, K). Hence from [17] every principal element corresponding to some Frobenius functional on G1 , is semisimple. Now consider the direct
sum G1 ⊕ G2 =: G (as Lie algebras) of G1 and some other Frobenius Lie algebra G2 , so
that G1 and G2 are both ideals of G. As G is Frobenius, then from Theorem 4.1, G is a
Lie subalgebra of some sl(m, K) for which, G1 is no longer saturated.
Theorem 5.1. If in a Frobenius Lie algebra G every derivation is an inner derivation,
then every embedding of G, in any other Lie algebra B, is either saturated or an ideal of
a direct sum G ⊕ G̃ of two subalgebras G and G̃, of B.
Proof. The proof is straightforward. If G is an ideal of some Lie algebra that may be
taken as a semi-direct G ⋊ Ḡ of G and another subalgebra Ḡ, then as every derivation is
an inner derivation, the action of Ḡ on G induced by this semi-direct product, is done by
inner derivations of G and hence G ⋊ Ḡ is isomorphic to a direct sum of two subalgebras
(ideals of this sum), one of which being G.
Theorem 5.2. If in a Frobenius Lie algebra G every derivation is an inner derivation,
then the adjoint operator of every principal element is semisimple, at least for K = C.
Proof. We apply a reasoning akin to that in [17]. It uses the Jordan-Chevalley decomposition, which often appears to be a powerful tool, allowing to solve questions complicated
in appearance, with very simple algebraic arguments. First, using Theorem 4.1, let us
embed G in sl(n + 1, K) and pick a principal functional α with principal element x0 . As
10

above, set ω := ∂α, that is, ω(x, y) := −α([x, y]). Regard x0 as an element of sl(n+1, K)
and let x0 = xs +xn be the Jordan-Chevalley decomposition of x0 into a semisimple and a
nilpotent parts xs and xn , respectively. This decomposition holds true in every linear representation of G. In particular, adx0 = adxs +adxn is the Jordan-Chevalley decomposition
of adx0 , where adxs is semisimple and adxn nilpotent, with [adxs , adxn ] = ad[xs,xn ] = 0.
Let ps and pn be two polynomials with one variable T , each without constant term, such
that ps (adx0 ) = adxs and pn (adx0 ) = adxn . Then, as polynomials in adx0 , the derivations
adxs and adxn both preserve G, that is, adxs (G) ⊂ G and adxn (G) ⊂ G. The hypothesis
that every derivation of G is inner, insures that there exist x′s and x′n in G such that, the
restrictions of adxs and adxn to G satisfy adxs = adx′s , adxn = adx′n . For the rest of this
proof, we can simply write xs and xn for x′s and x′n , without lost of generality. Using
the identity α ◦ adx0 = −α, we get α ◦ adxn = pn (−1)α and α ◦ adxs = ps (−1)α. For
every y ∈ G, we have hα ◦ adxn , yi = −ω(xn , y) and pn (−1)hα, yi = pn (−1)ω(x0 , y). This
is equivalent to the equality xn = −pn (−1)x0 . But adx0 has nonzero eigenvalues, such
as −1, moreover, from Proposition 3.3, trace(adx0 ) = − 12 dim(G), which is not possible
for the nilpotent operator adxn . So we are left with the only possibility pn (1) = 0 and
hence adxn = 0. Or, equivalently, xn = 0, given that the center of G is trivial. Hence x0
is semisimple.
Remark that every noncompact semisimple Lie algebra (K = R or C) contains a subalgebra which is a Frobenius Lie algebra all of whose principal elements are semisimple.
Indeed, the root decomposition implies that any noncompact semisimple Lie algebra
contains a copy of sl(2, K) which in turn, contains aff(K) as a subalgebra (see Theorem
6.1 ).

6

The Lie algebra of the group of affine motions of
the Euclidean space

For each n ≥ 1, we define Gn as being the Lie algebra Gn := aff(n, K) of the group
of affine motions of Kn , with K = R or C. The following result, stated in Chapter 5 of
[9], which we reproduce here with a detailed proof, provides a family parametrized by n
of examples of Lie algebras Gn , which satisfy the conditions of Theorem 5.2 above. On
its own, this is an interesting result useful for many other applications, some of which
will be explored in some upcoming work. When n ≥ 2, every Gn is nonsolvable, whereas
G1 is always solvable. Recall that affine motions are maps φ : Kn → Kn of the form
φ(v) = ψ(v) + v0 , for every v ∈ Kn , where v0 is some vector in Kn and ψ : Kn → Kn
some invertible linear map. The set of such affine motions, endowed with the composition
law of operators of the vector space Kn , is a Lie group whose Lie algebra aff(n, K) is
obtained by dropping the invertibility condition on the linear part ψ. It is the semi-direct
product Gn := gl(n, K)⋉Kn where the Lie algebra gl(n, K), of linear maps ψ : Kn → Kn ,
acts (on the left) on the vector space Kn in the ordinary way (linear maps applied to
vectors).
Theorem 6.1. In the Lie algebra Gn := aff(n, K) of the group of affine motions of Kn ,
every derivation is an inner derivation.
11

Proof. We use a direct calculation approach. First, remark that the derived ideal of Gn
is [Gn , Gn ] = sl(n, K) ⋉ Kn and Gn is the semidirect product Gn = KIKn ⋉ [Gn , Gn ] of the
line KIKn generated by the identity map x ∈ Kn 7→ x =: IKn (x) and [Gn , Gn ]. We write
a0 := IKn . Using the vector space decomposition Gn = Ka0 ⊕sl(n, K)⊕Kn , an element of
Gn is of the form v = ka0 +a+x, where k ∈ K, a ∈ sl(n, K), and x ∈ Kn . The Lie bracket
has the following properties: [a0 , a] = 0, [a, b] ∈ sl(n, K), [a0 , x] = x, [a, x] = ax ∈ Kn
and [x, y] = 0, for all a, b ∈ sl(n, K), x, y ∈ Kn . A derivation D of Gn can be written using
its components, as follows. For every v ∈ Gn , we have D(v) = kD (v)a0 + D1 (v) + D2 (v),
where kD : Gn → K, is a linear closed 1-form on Gn , and D1 : Gn → sl(n, K), D2 :
Gn → Kn are linear. The reason why kD is closed, is the fact that the derived ideal is
a characteristic ideal, i.e., it is preserved by every derivation. If a ∈ sl(n, K), we have
0 = D([a0 , a]) = [D(a0 ), a] + [a0 , D(a)]= [D1 (a0 ) + D2 (a0 ), a] + [a0 , D2 (a)]. We end up
having
0 = [D1 (a0 ), a] − aD2 (a0 ) + D2 (a)

(11)

In Eq. (11), the vector [D1 (a0 ), a] lies in sl(n, K) whereas −aD2 (a0 ) + D2 (a) is in Kn ,
for all a ∈ sl(n, K). We then deduce that, on the one hand [D1 (a0 ), a] = 0, for all
a ∈ sl(n, K), that is,
D1 (a0 ) = 0,

(12)

D2 (a) = aD2 (a0 ) = [a, D2 (a0 )].

(13)

and on the other hand,

For x ∈ Kn , we have D(x) = D([a0 , x]) = [D(a0 ), x] + [a0 , D2 (x)] = kD (a0 )x + D2 (x),
which now reads D1 (x) + D2 (x) = kD (a0 )x + D2 (x) or, equivalently,
D1 (x) = 0 for all x ∈ Kn and kD (a0 ) = 0.

(14)

Eq. (14) means that D(x) = D2 (x) ∈ Kn , for every x ∈ Kn and D(a0 ) = D2 (a0 ) ∈ Kn .
So from now on, let us set v0 = D(a0 ) ∈ Kn and denote by ψ the restriction of D to
Kn . So ψ is simply a linear map ψ : Kn → Kn , with ψ(x) = D(x) = D2 (x). Under these
new notations, Eq. (13) becomes D2 (a) = av0 = [a, v0 ], whereas Eq. (14) implies that
D(a0 ) = v0 = [−v0 + ψ, a0 ] and D(x) = ψ(x) = [−v0 + ψ, x], for every a ∈ sl(n, K) and
x in Kn . Now we also have ψ(ax) = D([a, x]) = [D(a), x] + [a, ψ(x)] = D1 (a)x + aψ(x),
that is, [ψ, a]x = D1 (a)x, for all a ∈ sl(n, K) and x ∈ Kn . This can be written as
[ψ, a] = D1 (a) ∈ sl(n, K), for all a ∈ sl(n, K).

(15)

So combining Eqs. (13) and (15), we get D(a) = D1 (a) + D2 (a) = [ψ − v0 , a], for every
a ∈ sl(n, K). Summing up, for each derivation D of Gn , there exist a vector v0 ∈ Kn and
a linear map ψ : Kn → Kn such that D(v) = [−v0 + ψ, v] = adVD (v), for all v ∈ Gn ,
where VD := −v0 + ψ is a element of Gn .

12

7

Examples

In this section, we provide a wide family of Frobenius solvable Lie algebras. We
denote by δij the Kronecker symbol, i.e. δij = 0 if i 6= j and δii = 1.
Let B = (e−1 , e0 , e1 , . . . , . . . , e2n ) be a basis of K2n+2 = K2 × K2n with corresponding
dual basis (e∗s )s , s = −1, 0, 1, 2, . . . , 2n. Consider a nonzero real number k and a linear
map ξ : K2n → K2n , the coefficients Ms,t , s, t = 1, · · · , 2n, of whose matrix M in the basis
(e1 , . . . , . . . , e2n ), are real numbers satisfying kδij = Mj,i + Mn+i,n+j , Mi,n+j = Mj,n+i
and Mn+i,j = Mn+j,i , for all i, j = 1, · · · , n. Then the bracket in K2n+2 defined, for all
i, j = 1, · · · , n and t = 1, · · · , 2n, by [ei , en+j ] = δij e0 , [e−1 , e0 ] = ke0 , [e−1 , et ] = ξ(et ) =
2n
X
Ms,t es , is a Lie bracket and e∗0 is a Frobenius functional on Gk,ξ := (K2n+2 , [., .]).
s=1

More precisely, we have

∂e∗0

=

n
X
i=1

e∗n+i ∧ e∗i + ke∗0 ∧ e∗−1 , the corresponding principal

element is 
x0 = − k1 e
−1 . In the basis B, the adjoint of the principal element reads
0 0 0
1 
adx0 = − k 0 k 0  . Thus, adx0 is diagonalizable, triangularizable, ... if and only if,
0 0 M
M is. The conditions on the coefficients of the matrix M of ξ are not very restrictive.
Indeed, the set of such couples (ξ, k) with k 6= 0, is an open subset of the Lie algebra
C = csp(n, R) of infinitesimally conformal maps of (R2n , Ω), where Ω is the canonical
n
X
symplectic form Ω :=
e∗n+i ∧e∗i . Namely, for every couple (ξ ′ , k ′ ), where ξ ′ : R2n → R2n
i=1

is linear and k ′ ∈ R such that for every x, y ∈ R2n , we have Ω(ξ ′ (x), y) + Ω(x, ξ ′ (y)) =
k ′ Ω(x, y), we define a Frobenius Lie algebra Gk′ ,ξ′ with underlying vector space K2n+2 as
above, if and only if k ′ 6= 0.
Recall that csp(n, R) contains the Lie algebra sp(n, R) of infinitesimal symplectomorphisms as an ideal, as discussed in Section 3, where we have written C and S for the
case of a general Quasi-Frobenius Lie algebra, instead of csp(G) and sp(G), respectively.
The Lie algebra of derivations of each Gk,ξ is far from been isomorphic to Gk,ξ . Indeed,
the simplest examples of non-inner derivations are the following. Every element (k ′ , ξ ′) of
csp(n, R) where ξ ′ commutes with ξ, defines a derivation D(k′ ,ξ′) of Gk,ξ , by D(k′ ,ξ′ ) (e−1 ) =
0, D(k′ ,ξ′) (e0 ) = k ′ e0 , D(k′ ,ξ′) (et ) = ξ ′(et ), for t = 1, · · · , 2n. If ξ ′ is not of the form
ξ ′ = k ′′ ψ ◦ ξ ◦ ψ −1 , where ψ is a conformal map and k ′′ is a scalar, then D(k′ ,ξ′ ) is not an
inner derivation of Gk,ξ .
Let us consider the following specific example. Take a ξ as above, the coefficients of
the corresponding M being all zero, except the following Mi,i = k − Mn+i,n+i = ki and
Mn+i,i = −Mi,n+i = ki′ , so that Lie bracket in Gk,ξ is [ei , en+i ] = e0 , [e−1 , ei ] = ki ei +
ki′ en+i , [e−1 , en+i ] = −ki′ ei +(k−ki )en+i for i = 1, . . . , n and [e−1 , e0 ] = ke0 . If we take ki′ =
0, for all i = 1, · · · , n then adx0 is diagonal adx0 = diag(0, k, k1, . . . , kn , k−k1 , . . . , k−kn ).
We can chose, for example, k = 1 and ki = π i so that adx0 = diag(0, 1, π, . . . , π n , 1 −
π, . . . , 1 − π n ) and hence eigenvalues are all irrational, except two. In fact, in the general
case, we can invite any number to be an eigenvalue. For instance, if we chose k = 1
13

√

√

and ki , ki′ satisfying ki (1 − ki ) + ki′2 = −1, then the golden number 1+2 5 and 1−2 5 are
repeated eigenvalues, as the characteristic polynomial will have X 2 −X −1 as a multiple
factor.
Now let us specialize in the case n = 1.
(a) Take ξ(e1 ) = 0, ξ(e2 ) = e2 and k = 1, so that the Lie bracket is given by [e−1 , e0 ] =
e0 , [e−1 , e2 ] = e2 , [e1 , e2 ] = e0 . Thus we have x0 = −e−1 , and adx0 = −diag(0, 1, 0, 1).
(b) Take ξ(e1 ) = −e1 ,
ξ(e2 ) = −e1 − e2 and k = −2, so that the Lie bracket is given
by [e1 , e2 ] = e
−2e0 , [e−1 , e1 ] = −e1 , [e−1 , e2 ] = −e1 − e2 , x0 = 21 e−1 and
0 , [e−1 , e0 ] =
0 0 0 0
0 1 0 0 
1

adx0 = − 
0 0 1 1  cannot be diagonalized. Indeed its eigenvalues are −1, − 2 ,
2
2
0 0 0 12
− 12 , 0 and the eigenspace corresponding to the repeated eigenvalue − 12 is 1-dimensional
and spanned by (0, 0, 1, 0). The eigenspaces corresponding to −1 and 0 are spanned by
(0, 1, 0, 0) and (1, 0, 0, 0) respectively.
(c) Consider ξ(e1 ) = k̃e1 − e2 ,
ξ(e2 ) = e1 + k̃e2 and k = 2k̃, for some k̃ in R,
so that the Lie bracket is given by [e1 , e2 ] = e0 , [e−1 , e0 ] = 2k̃e0 , [e−1 , e1 ] = k̃e1 − e2 ,
[e−1 , e2 ] = e1 + k̃e2 , x0 = − 21k̃ e−1 . Now adx0 is diagonalizable for K = C, but not for
K = R. Indeed it has four distinct eigenvalues, two of which are complex: 0, 1, −2k̃+i
, − k̃+i
.
k̃
2k̃

References
[1] Belavin, A.A. and Drinfeld, V.G., Solutions of the classical Yang-Baxter equation
for simple Lie algebras, Funkts. Anal. Prilozh., 16 (1982), no.3, 1-29.
[2] Belavin A.A. and Drinfeld V.G., The classical Yang-Baxter equation for simple Lie
algebras. Funkts. Anal. Prilozh., 17 (1983), no.3, 69-70.
[3] Belavin, A.A. and Drinfeld, V.G., Triangle Equations and Simple Lie Algebras.
Amsterdam Harwood Academic Publishers (1998).
[4] Bordemann, M.; Medina, A. and Ouadfel. A., Le groupe affine comme variété
symplectique. Tohoku Math. J. (2) 45 (1993), no. 3, 423-436.
[5] Chu, B.-Y., Symplectic homogeneous spaces. Trans. Amer. Math. Soc. 197 (1974),
145-159.
[6] Dardié, J.-M. and Medina, A., Double Extension Symplectique d’un Groupe de Lie
Symplectique. Adv. Math. 117 (1996), no. 2, 208-227.
[7] Dardie, J.-M. and Medina, A., Algebres de Lie kähleriennes et double extension. J.
Algebra, 185 (1996), no. 3 , 774-795.
[8] Dergachev, V. and Kirillov, A., Index of Lie algebras of seaweed type. J. Lie Theory,
10 (2000) , 331-343.

14

[9] Diatta, A., Géométrie de Poisson et de contact des espaces homogènes. Ph.D.
Thesis. University Montpellier 2, France (2000).
[10] Diatta, A. and Medina, A., Classical Yang-Baxter Equation and Left Invariant
Affine Geometry on Lie Groups. Manuscripta Math. 114 (2004), no. 4, 477-486.
[11] Diatta A., Left Invariant Contact Structures on Lie Groups. Diff. Geom. Appl. 26
(2008), no. 5, 544-552.
[12] Drinfeld, V.G., Hamiltonian structures on Lie groups, Lie bialgebras and the geometric meaning of the classical Yang-Baxter equations. Soviet Math. Dokl. 27
(1983), 68-71.
[13] Dorfmeister, J., Nakajima, K., The fundamental conjecture for homogeneous Kähler
manifolds. Acta Math 161 (1988), no. 1-2, 23-70.
[14] Elashvili, A. G., Frobenius Lie algebras. Funkts. Anal. Priloz. 16 (1982), no. 4,
94-95.
[15] Fried, D.; Goldman, W. and Hirsch, M.W., Affine manifolds and solvable groups.
Bull. Amer. Math. Soc. (N.S.) 3 (1980), no. 3, 1045-1047.
[16] Gerstenhaber, M. and Giaquinto, A., Boundary solutions of the classical YangBaxter equation. Letters Math. Phys., 40 (1997), 337-353.
[17] Gerstenhaber, M. and Giaquinto, A., The principal element of a Frobenius Lie
algebra. Lett. Math. Phys. 88 (2009), no. 1-3, 333-341.
[18] Gerstenhaber, M. and Giaquinto, A., Graphs, Frobenius functionals, and the classical Yang-Baxter equation. arXiv:0808.2423v1 [math.QA], August (2008).
[19] Gindikin, S. G.; Pjateckii-Shapiro, I. I. and Vinberg, E. B., Homogeneous Kähler
manifolds. (German) 1968 Geometry of Homogeneous Bounded Domains (C.I.M.E.,
3 Ciclo, Urbino, 1967) pp. 3-87 Edizioni Cremonese, Rome.
[20] Helmstetter, J., Radical d’une algèbre symétrique à gauche. Ann. Inst. Fourier 29
(1979), no. 4, 17-35.
[21] Koszul, J.L., Sur la forme hermitienne canonique des espaces homogènes complexes.
Canad. J. Math 7 (1955), 562-576.
[22] Lichnerowicz, A. and Medina, A., On Lie groups with left invariant symplectic or
kahlerian structures. Letters Math. Phys. 16 (1988), 225-335.
[23] Lichnerowicz, A., Les groupes Kählériens, in Symplectic Geometry and Mathematical Physics (P. Donato et al., Eds.), 245-259, progr. Math. 99. Birkhauser,
Boston/Basel/Berlin (1991).
[24] Ooms, A. I., On Lie algebras having a primitive universal enveloping algebra. J.
Algebra, 32 (1974), 488-500 .
15

[25] Ooms, A. I., On Frobenius Lie algebras. Comm. Algebra 8 (1980), no. 1, 13-52.
[26] Raı̈s, M., La représentation coadjointe du groupe affine. Ann. Inst. Fourier (Grenoble) 28 (1978), no. 1, xi, 207-237.
[27] Pyateskii-Shapiro, I. I., Automorphic functions and the geometry of classical domains. Mathematics and Its Applications, Vol. 8 Gordon and Breach Science Publishers, New York-London-Paris (1969).
[28] Stolin, A., On rational solutions of Yang-Baxter equation for sl(n). Math Scand.
69 (1991), 57-80.

16

