definition 15.9 Trace form of an algebra

open in the book · parts/02-mathematical-methods/13-lie-algebra-expansions.tex:243 · p. 603

Rests on

No declared or derived dependency edges point away from this node yet.

Supports

Neighborhood

Every logical edge within two steps of this node.

definition 15.9: Trace form of an algebra15.9proposition 15.42: The Γ-graded commutative algebras15.42proposition 15.28: The quadratic family15.28theorem 15.10: Factorisation of the Killing form15.10corollary 15.11: Semisimplicity criterion15.11lemma 15.40: The three symmetric cosets are one ℤ_2×ℤ_2-grading15.40corollary 15.46: The sign data, hypothesis (H3), and the count eleven15.46theorem 15.43: The three constants of the classification are the three structure constants of A15.43proof : ch:13-lie-algebra-expansions@proof-25proofcorollary 15.32: The expansion parameter is the cosmological constant15.32remark 15.63: The inclusion is strict, and the strictness is physical15.63theorem 15.29: The three constant-curvature kinematics, in every dimension15.29proof : ch:13-lie-algebra-expansions@proof-16proofdefinition 15.3: Tensor product Lie algebra15.3example 15.57: k=2 recovers the Killing form15.57proof : ch:13-lie-algebra-expansions@proof-5proof

Edges

typedirectionnode provenancewhere
depends_on The $\Gamma$-graded commutative algebras declared parts/02-mathematical-methods/13-lie-algebra-expansions.tex:1587
depends_on The quadratic family declared parts/02-mathematical-methods/13-lie-algebra-expansions.tex:871
depends_on Factorisation of the Killing form declared parts/02-mathematical-methods/13-lie-algebra-expansions.tex:261