---
title: HNN Extensions in Lie Superalgebras
url: https://www.emergentmind.com/topics/hnn-extensions-of-lie-superalgebras-bc6e2133-c790-48f6-9d86-f3e4800e08d8
type: topic
---

# HNN Extensions in Lie Superalgebras

Searching arXiv for the cited HNN-extension papers and related Gröbner–Shirshov basis work in Lie superalgebras.
HNN extensions of Lie superalgebras are constructions in which a Lie superalgebra \(L=L_{0}\oplus L_{1}\) is enlarged by adjoining a new homogeneous generator \(t\) and imposing bracket relations that encode a prescribed homogeneous derivation \(d\) on a graded subalgebra \(A\subseteq L\). In the formulations developed in "HNN-extension of Lie superalgebras" [2601.17505] and "HNN extensions of Lie superalgebras" [2509.07739], the resulting object is the Lie superalgebra
\[
H=\langle L,t:[t,a]=d(a)\;(a\in A)\rangle,
\]
with \(|t|=|d|\), over a ground field of characteristic \(\ne 2,3\). The construction is accompanied by embedding theorems, Gröbner–Shirshov normal forms, an explicit structural decomposition, and applications to two-generator embeddings and finite generation problems.

## 1. Definition and algebraic setting

Let \(L=L_{0}\oplus L_{1}\) be a Lie superalgebra, let \(A\subseteq L\) be a graded subalgebra, and let \(d:A\to L\) be a homogeneous derivation of degree \(|d|\in\mathbb Z_{2}\). The derivation condition is
\[
d([a,b])=[d(a),b]+(-1)^{|d||a|}[a,d(b)], \qquad \forall a,b\in A.
\]
The HNN extension of \(L\) relative to \((A,d)\) is defined by adjoining a new homogeneous generator \(t\) of degree \(|t|=|d|\) and imposing the relations
\[
[t,a]=d(a), \qquad a\in A
\]
together with all original brackets in \(L\) [2601.17505].

An equivalent presentation is given when \(L=\langle Y\mid S_{0}\rangle\) and \(A=\langle B\rangle\) are described by homogeneous generators and relations. In that case,
\[
H=\bigl\langle Y\cup\{t\}\,\bigm|\,S_{0}\cup\{[t,u_{b}]-u_{d(b)}\mid b\in B\}\bigr\rangle,
\]
where \(u_{b}\in L\langle Y\rangle\) is any preimage of \(b\) [2509.07739].

The standing hypothesis that the base field has characteristic \(\ne 2,3\) is used so that the super-Jacobi identities and PBW-type arguments work in the usual way. The data also require that \(A\) be graded and that the derivation \(d\) be graded, either even or odd [2601.17505].

## 2. Presentations and Gröbner–Shirshov framework

A concrete construction proceeds by choosing a homogeneous basis \(X\) of \(L\) containing a basis \(B\) of the subalgebra \(A\), together with a total order
\[
B<X\setminus B<t.
\]
The Lie bracket on \(L\) is written in terms of structure constants
\[
[x,y]_{L}=\sum_{v\in X}\alpha_{xy}^{v}\,v,
\]
with
\[
\alpha_{xy}^{v}=-(-1)^{|x||y|}\alpha_{yx}^{v},
\]
and the Jacobi identities are encoded by the relations
\[
\sum_w \bigl(\alpha_{yz}^w\alpha_{xw}^u-\alpha_{xy}^w\alpha_{wz}^u-(-1)^{|x||y|}\alpha_{xz}^w\alpha_{yw}^u\bigr)=0.
\]
The derivation \(d\) is expressed on \(A\) by
\[
d(a)=\sum_{v\in X}\beta_a^v\,v, \qquad a\in B,
\]
subject to the compatibility condition
\[
\sum_{c\in B}\alpha_{ab}^{c}\beta_c^u
=\sum_{v\in X}\bigl(\beta_a^v\alpha_{vb}^u+(-1)^{|d||a|}\beta_b^v\alpha_{av}^u\bigr)
\]
that restates the derivation law in coordinates [2601.17505].

The HNN extension is then presented as a quotient of the free Lie superalgebra on \(X\cup\{t\}\) by homogeneous relations
\[
f_{xy}:=[x,y]-\sum_v \alpha_{xy}^v v \quad (x>y,\;x,y\in X),
\]
\[
f_{xx}:=[x,x]-\sum_v \alpha_{xx}^v v \quad (\text{if }|x|=1),
\]
\[
g_a:=[t,a]-\sum_v \beta_a^v v \quad (a\in B).
\]
The set
\[
S=\{f_{xy},f_{xx},g_a\}
\]
is shown, via the Composition–Diamond–Shirshov approach, to be a Gröbner–Shirshov basis: all compositions among the defining relations either vanish or reduce to lower-order relations [2601.17505].

The later treatment makes the Gröbner–Shirshov machinery more explicit. It works in the free associative superalgebra \(A\langle T\rangle\) on a \(\mathbb Z_{2}\)-graded set \(T=T_{0}\cup T_{1}\), viewed as a Lie superalgebra by
\[
[x,y]=xy-(-1)^{|x||y|}yx.
\]
A total order on \(T\) induces a length-lex order on \(T^{*}\). The relevant monomials are super–Lyndon–Shirshov words: either Lyndon–Shirshov words, or squares \(uu\) of odd Lyndon–Shirshov words. Each such word \(w\) has a unique standard bracketing \([w]\) whose leading associative word is \(w\). The normal-form theorem states that if \(I\) is generated by a Gröbner–Shirshov set \(S\), then the images of all super–Lyndon–Shirshov monomials \([u]\) whose underlying word \(u\) contains no subword \(\bar s\) with \(s\in S\), form a \(K\)-basis of \(L\langle T\rangle/I\) [2509.07739].

## 3. Universal embedding theorem

A central theorem states that every Lie superalgebra \(L\) embeds into its HNN extension \(H\) [2601.17505]. The argument is combinatorial and depends on the Gröbner–Shirshov basis obtained from the defining relations.

The proof outline uses the Composition–Diamond lemma for Lie superalgebras, cited there with Bokut–Kang–Lee–Malcolmson, together with Shirshov’s lemma: if \(f\) lies in the ideal generated by \(S\), then its leading monomial contains the leading monomial of some \(s\in S\) as a subword. Since none of the leading monomials of \(S\) lies entirely in words on the original alphabet \(X\), no nonzero element of the subalgebra generated by \(X\) is annihilated by the defining relations. Therefore the natural map
\[
\iota:L\to H
\]
is injective [2601.17505].

This embedding theorem is the Lie-superalgebraic analogue of the injectivity property classically associated with HNN constructions in combinatorial group theory. In the super setting, however, the proof runs through Gröbner–Shirshov reduction rather than through van Kampen diagrams or Britton’s lemma [2601.17505].

## 4. Normal forms, bases, and direct-sum structure

The explicit basis theory developed in [2509.07739] refines the basic embedding result by describing the internal structure of the HNN extension. If one chooses a homogeneous complement \(X=\{x_{i}\}\) of \(A\) in \(L\), writes
\[
[x,y]=\sum_{v\in X}\alpha^{v}_{xy}v, \qquad d(a)=\sum_{v\in X}\beta^{v}_{a}v,
\]
and forms the associated set of relations \(S\), then \(S\) is closed under all Lie compositions. Hence the HNN extension admits a normal form in terms of super–Lyndon–Shirshov monomials whose underlying words avoid the leading subwords
\[
\overline S=\{\bar f_{xy}=xy,\;\bar f_{xx}=xx,\;\bar g_{a}=ta\}.
\]
These monomials form a linear basis of
\[
H=\langle X\cup\{t\}\mid S\rangle
\]
[2509.07739].

The same analysis yields a PBW-type description of \(U(H)\). The summary states that the PBW basis of \(U(H)\) may be written in the form
\[
A^{\alpha_{0}}X^{\beta_{0}}
\Bigl(t^{\gamma_{1}}X^{\beta_{1}}\Bigr)
\Bigl(t^{\gamma_{2}}X^{\beta_{2}}\Bigr)\cdots
\Bigl(t^{\gamma_{s}}X^{\beta_{s}}\Bigr)t^{\delta},
\]
where each block \(X^{\beta_{i}}\) is a nonzero ordered monomial in the \(x_{j}\), each \(\gamma_i>0\), and \(\delta\ge 0\). The corresponding Lyndon–Shirshov bracketings give a basis of \(H\) [2509.07739].

The structural theorem is sharper still. Define
\[
W=\bigl\{[t\,x_{i_{1}}\,x_{i_{2}}\cdots x_{i_{s}}]\;\bigm|\;
s\ge 0,\;
x_{i_{1}}\le x_{i_{2}}\le\cdots\le x_{i_{s}},\;
\text{odd }x_{i}\text{ appear at most once}\bigr\}.
\]
Then
\[
H\cong L\oplus F(W),
\]
where \(F(W)\) is the free Lie superalgebra on the set \(W\) [2509.07739]. Equivalently, inside \(U(H)\) the subalgebra generated by the associative words \(\{tX^{\beta}\}\) is free on those words, and the Lyndon–Shirshov bracketings produce the free Lie subalgebra \(F(W)\).

This decomposition isolates the original Lie superalgebra \(L\) and the new free part generated by the stable letter \(t\) together with ordered words in the complementary generators. A plausible implication is that HNN extensions in this setting are not merely embedding devices but also explicit mechanisms for adjoining a controlled free Lie-superalgebraic component.

## 5. Applications to embedding and finite generation

One application is an embedding theorem for countable-dimensional Lie superalgebras. If \(L\) has at most countable dimension, one may write a countable generating set \(\{c_{0},c_{1},c_{2},\ldots\}\), form the free product
\[
L_{1}=L*L(a,b),
\]
and inside \(L_{1}\) consider the graded subalgebra \(A\) generated by the left-nested commutators
\[
z_{n}:=[\,b,[\,b,\ldots [b,a]\ldots ]\,].
\]
By a standard lemma these \(z_{n}\) form a free basis of \(A\). Defining
\[
d(z_{0}=a)=b,\qquad d(z_{n})=c_{n}\quad (n\ge 1),
\]
the freeness of \(A\) implies that \(d\) extends uniquely to a derivation of \(A\) into \(L_{1}\). The HNN extension
\[
H=\langle L_{1},t:[t,z_{n}]=d(z_{n})\;(\forall n)\rangle
\]
is generated by \(\{a,t\}\), contains \(L_{1}\) and hence \(L\), and is therefore a two-generator Lie superalgebra containing \(L\). Injectivity of \(L\to H\) follows from the universal embedding theorem [2601.17505].

A second application concerns finite generation of ideals. The summary of [2509.07739] states that if \(\widetilde L\) is finitely presented and has an ideal \(I\) with
\[
\widetilde L/I\cong \text{ a free Lie superalgebra on one generator},
\]
then \(I\) is finitely generated as a Lie superalgebra, provided \(\widetilde L\) does not itself contain a nonabelian free Lie subsuperalgebra. The proof uses a “shifting-to-HNN” argument to realize
\[
\widetilde L\cong \langle L,t\mid [t,a]=[c,a],\,a\in A\rangle
\]
for suitable finitely generated \(A\subseteq L\subseteq I\). The structure theorem then forces \(L=A\), because otherwise the free part \(F(W)\) would be nontrivial and would produce a nonabelian free Lie superalgebra inside \(\widetilde L\) [2509.07739].

Together, these applications show that HNN extensions serve both as embedding instruments and as tools for deriving structural finiteness consequences.

## 6. Relation to the classical group-theoretic HNN construction

The analogy with the classical HNN extension of group theory is explicit in the source material. In both settings one adjoins a stable letter \(t\) to an original object and imposes relations describing the action of \(t\) on a distinguished substructure. In both settings the construction is used to embed the original object into a larger one with prescribed additional relations [2601.17505].

The differences are equally important. In groups, one starts from subgroup isomorphisms \(H\cong K\) and imposes relations of the form
\[
t^{-1}ht=\varphi(h).
\]
For Lie superalgebras, one starts instead from a derivation \(d\) on a graded subalgebra \(A\) and imposes bracket relations
\[
[t,a]=d(a).
\]
The group-theoretic proofs of injectivity typically use van Kampen diagrams or Britton’s lemma, whereas the Lie-superalgebraic proof uses Gröbner–Shirshov bases and the Composition–Diamond lemma. The \(\mathbb Z_{2}\)-grading has no direct analogue in the classical group setting, although in the super context it affects the sign rules in the bracket identities [2601.17505].

This comparison clarifies the conceptual role of the construction. The Lie-superalgebraic HNN extension mirrors the group-theoretic pattern at the level of adjoining a stable letter and enforcing a prescribed action, but the mechanism is super-derivational rather than conjugational, and its technical implementation is fundamentally reduction-theoretic.

## 7. Scope and conceptual significance

The papers [2601.17505] and [2509.07739] establish a coherent theory of HNN extensions for Lie superalgebras over fields of characteristic \(\ne 2,3\). The theory includes a precise definition, a Gröbner–Shirshov presentation, a normal-form theorem in terms of super–Lyndon–Shirshov monomials, the universal embedding theorem, and the structural decomposition
\[
H\cong L\oplus F(W).
\]

Within this framework, the HNN extension is not only a formal enlargement of \(L\). It preserves \(L\) faithfully inside a larger Lie superalgebra, yields explicit bases and forbidden-subword descriptions, and supports embedding results such as the theorem that every Lie superalgebra of at most countable dimension embeds into a two-generator Lie superalgebra [2601.17505]. It also supports finiteness arguments for ideals in finitely presented Lie superalgebras under the absence of nonabelian free Lie subsuperalgebras [2509.07739].

The combination of superalgebraic derivations, Composition–Diamond methods, and free Lie superalgebra structure places HNN extensions of Lie superalgebras within the broader program of using Gröbner–Shirshov techniques to obtain explicit and functorial embedding constructions.

Source: https://www.emergentmind.com/topics/hnn-extensions-of-lie-superalgebras-bc6e2133-c790-48f6-9d86-f3e4800e08d8