definition 15.3 Tensor product Lie algebra

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

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.3: Tensor product Lie algebra15.3definition 15.52: Balanced form15.52definition 15.14: Truncated polynomial algebra and Takiff algebra15.14example 15.61: Maurer–Cartan expansion15.61proposition 15.6: Functoriality15.6proposition 15.41: Resonance, general form15.41proposition 15.7: Ideals of A become ideals of g_A15.7proposition 15.8: The radical of A is solvable in g_A15.8proposition 15.60: Semigroup expansion15.60proposition 15.15: Takiff brackets15.15theorem 15.13: Classification of g_A by the algebra15.13theorem 15.54: Completeness in the bilinear case15.54theorem 15.29: The three constant-curvature kinematics, in every dimension15.29theorem 15.51: Factorisation of invariant forms15.51theorem 15.10: Factorisation of the Killing form15.10theorem 15.4: The construction produces a Lie algebra15.4theorem 15.53: The factorised forms are exactly the balanced ones15.53corollary 15.69: No positive pairing survives the radical15.69definition 15.20: Resonant subalgebra15.20theorem 15.34: The truncation tower is a tower of central extensions15.34proof : ch:13-lie-algebra-expansions@proof-2prooftheorem 15.43: The three constants of the classification are the three structure constants of A15.43proof : ch:13-lie-algebra-expansions@proof-24proofproof : ch:13-lie-algebra-expansions@proof-3proofproof : ch:13-lie-algebra-expansions@proof-4proofproposition 15.62: The complex line is not a semigroup algebra15.62proof : ch:13-lie-algebra-expansions@proof-34proofexample 15.16: The Maxwell tower15.16proposition 15.26: The contraction along a grading15.26proposition 15.21: Resonance15.21proof : ch:13-lie-algebra-expansions@proof-9proofcorollary 15.11: Semisimplicity criterion15.11lemma 15.12: Artin decomposition15.12proof : ch:13-lie-algebra-expansions@proof-8prooflemma A.63: The invariant bilinear forms of an absolutely simple algebra form a lineA.63lemma 15.50: Every k-trace comes from a linear functional15.50definition 15.66: Gram form of a functional15.66proof : ch:13-lie-algebra-expansions@prooflink-1proofdefinition 15.24: The four kinematical gradings15.24proposition 15.23: Brackets in the kinematical splitting15.23neighborhood truncated

Edges

typedirectionnode provenancewhere
depends_on Balanced form declared parts/02-mathematical-methods/13-lie-algebra-expansions.tex:2011
depends_on Truncated polynomial algebra and Takiff algebra declared parts/02-mathematical-methods/13-lie-algebra-expansions.tex:510
depends_on Maurer–Cartan expansion declared parts/02-mathematical-methods/13-lie-algebra-expansions.tex:2305
depends_on Functoriality declared parts/02-mathematical-methods/13-lie-algebra-expansions.tex:164
depends_on Resonance, general form declared parts/02-mathematical-methods/13-lie-algebra-expansions.tex:1542
depends_on Ideals of $A$ become ideals of $\mathfrak{g}_{A}$ declared parts/02-mathematical-methods/13-lie-algebra-expansions.tex:195
depends_on The radical of $A$ is solvable in $\mathfrak{g}_{A}$ declared parts/02-mathematical-methods/13-lie-algebra-expansions.tex:218
depends_on Semigroup expansion declared parts/02-mathematical-methods/13-lie-algebra-expansions.tex:2281
depends_on Takiff brackets declared parts/02-mathematical-methods/13-lie-algebra-expansions.tex:526
depends_on Classification of $\mathfrak{g}_{A}$ by the algebra declared parts/02-mathematical-methods/13-lie-algebra-expansions.tex:449
depends_on Completeness in the bilinear case declared parts/02-mathematical-methods/13-lie-algebra-expansions.tex:2083
depends_on The three constant-curvature kinematics, in every dimension declared parts/02-mathematical-methods/13-lie-algebra-expansions.tex:920
depends_on Factorisation of invariant forms declared parts/02-mathematical-methods/13-lie-algebra-expansions.tex:1975
depends_on Factorisation of the Killing form declared parts/02-mathematical-methods/13-lie-algebra-expansions.tex:261
depends_on The construction produces a Lie algebra declared parts/02-mathematical-methods/13-lie-algebra-expansions.tex:97