Lie Algebras From Algebraic Structures
September 1, 2020

Lie algebras become approachable when their inherited operations appear on one map. Sets gain binary operations; operations gain associativity, identities, and inverses; groups and rings support modules and vector spaces; a bilinear bracket then captures infinitesimal symmetry.

Each New Rule Creates a New Structure

A set with a closed binary operation forms a magma. Associativity gives a semigroup. An identity gives a monoid. Inverses give a group. Commutativity gives an abelian group. Add a compatible multiplication and the route reaches rings, semirings, and division rings.

Modules let rings act on additive groups. Vector spaces specialize that relationship to scalars from a field. Bilinear mappings then combine vectors while respecting scalar structure. Ideals, generators, subgroups, and matroids describe internal organization and dependence along the way.

The Lie Bracket Captures Infinitesimal Symmetry

A Lie algebra joins a vector space with a bilinear bracket that satisfies antisymmetry and the Jacobi identity. A Lie group joins group operations with a differentiable manifold. The tangent space at the group identity carries the corresponding Lie algebra and turns continuous symmetry into linearized local structure.

That connection brings algebra and topology into the same machine. It also opens direct routes into functional analysis, tensor calculus, differential equations, mechanics, and variational methods.

Build the Periodic Table of Algebra

A visual table can place each structure beside the axiom it adds and the constructions it enables. Such a map would let students travel from magmas to vector spaces and Lie theory without losing the operations that make every step work.

Originally posted on LinkedIn

Brian Greenforest · (2020-09-01 01:00:14 UTC)

Open the original LinkedIn post · LinkedIn activity 6706364999486590976

LinkedIn status when archived: Visible to anyone on or off LinkedIn.

Spent 7 hours at ProofWiki. Now I understand how Lie Algebras are rooted in Modules, Algebraic Structures, Division Rings, Rings, Semirings, Ringoids, Subgroups, Abelian Groups, Groups, Monoids, Semigroups, and Magmas, Algebraic Structures, Sets, Binary Operations, Bilinear Mappings, Bilinear Operators, Ideals, Generators, Matroids, and Linear Vector Spaces. Right now I'm studying Lie Groups and as their connection to Topology as "a group with manifold structure". Cool stuff. Definitely helps me to see connections between algebraic spaces and better understand Functional Analysis, Tensor Calculus, and Calculus of Variations--while reading fundamental textbooks on these subjects. Does anyone have a "Periodic system"-like table connecting Magmas to Vector Spaces through Groups and Rings?