Lie Superalgebra¶
A parity-graded Lie structure whose bracket obeys graded skew-symmetry and the graded Jacobi identity.
Core Idea¶
A Lie superalgebra splits a vector space into even and odd parts and gives it a bilinear bracket that adds input parities modulo two. For homogeneous \(x,y,z\), the bracket obeys \([x,y]=-(-1)^{|x||y|}[y,x]\) and \([x,[y,z]]=[[x,y],z]+(-1)^{|x||y|}[y,[x,z]]\). The odd-odd bracket is therefore symmetric and even, not ordinarily antisymmetric; an odd element may have nonzero self-bracket. The even part is an ordinary Lie algebra acting on the odd part, but the whole structure also requires the odd-odd and mixed Jacobi rules.[ref-2cfd401d1acd][ref-6f93a09a3aff]
Scope of Application¶
The general linear example \(\mathfrak{gl}(m|n)\) uses even block-diagonal and odd off-diagonal matrices with the supercommutator. In \(\mathfrak{gl}(1|1)\), odd matrix units satisfy \([E_{12},E_{21}]=I\). A second setting is \(W(n)\), the even and odd derivations of a Grassmann algebra under their graded operator commutator. Both are literal instances of the same signed identities, not just analogies about two classes.[ref-2cfd401d1acd][ref-6f93a09a3aff][^ref-0167b1d1d73b]
Clarity¶
“Odd” denotes grading parity, not an odd number. Odd elements of a supercommutative associative algebra anticommute under multiplication, whereas odd elements have a symmetric Lie bracket here. The supercommutator constructs that bracket from associative multiplication; it does not make the Lie superalgebra itself associative.
Manages Complexity¶
The even/odd split reduces many generator relations to even-even, even-odd and odd-odd cases. Signed skew and Jacobi equations organize them uniformly. Studying the even Lie algebra and its odd module is efficient, provided one still checks the odd-odd bracket and mixed Jacobi identities.
Abstract Reasoning¶
To recognize an instance over a characteristic-zero field, declare the grading and check that the bilinear bracket preserves parity. Apply the graded skew rule to each homogeneous pair—without forcing an odd self-bracket to zero—then verify graded Jacobi on homogeneous triples. A matrix or derivation supercommutator inherits that identity from associative operator composition; another presented bracket requires its own proof.[^ref-2cfd401d1acd]
Knowledge Transfer¶
The exact algebraic test transfers from block matrices to graded derivations and to other rigorously defined supergeometric or symmetry settings. It does not transfer literally to every even/odd classification. The live Superalgebra entry is a broader graded-algebra parent; the distinguishing signed Lie equations keep this named entry domain-specific.
[^ref-2cfd401d1acd]: Victor G. Kac, “Lie Superalgebras,” Advances in Mathematics 26 (1977), 8–96, §§1.1 and 3.1. [^ref-6f93a09a3aff]: Maria Gorelik, “Lie superalgebras: definition and first examples,” slide 2, 2021. [^ref-0167b1d1d73b]: “Representations of the Lie superalgebra of superderivations of the Grassmann algebra at infinity”, abstract.
Relationships to Other Abstractions¶
Current abstraction Lie Superalgebra Domain-specific
Parents (1) — more general patterns this builds on
-
Lie Superalgebra is a kind of Superalgebra Domain-specific
A Lie superalgebra is a Z₂-graded algebra whose bracket additionally obeys graded Lie identities.
Hierarchy path (1) — routes to 1 parentless root
- Lie Superalgebra → Superalgebra → Classification
Neighborhood in Abstraction Space¶
Lie Superalgebra sits in a sparse region of the domain-specific corpus (70th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Algebraic Structures, Groups & Operators (42 abstractions)
Nearest neighbors
- Graded Ring — 0.85
- Supermodule — 0.84
- Inverse Element — 0.83
- Superalgebra — 0.83
- Inverse Semigroup — 0.83
Computed from structural-signature embeddings · 2026-10-08