Original Post

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?