## Algebra Ladder

- By J. W. Kennington
- Sun 15 March 2020

I first encountered a diagram of algebraic structures at the end of Jeevanjee's second chapter,
"Vector Spaces", which elegantly summarizes the high-level differences in structure between sets,
vector spaces, and inner product spaces. Jeevanjee (2015)
This diagram was immensely helpful to me, in that it helped show the relationships between various
commonly used objects in mathematical physics. As I've encountered new structures, I've attempted
to augment this map along two dimensions: a *structure* dimension that aims to measure the number
of attributes an algebraic object has, and a *specificity* dimension which measures the amount
of constraints placed on each attribute.

For instance, a Magma has more structure than a set, because a new attribute - a binary operator - has been added. A group, though, is roughly similar in structure to a magma, but has more properties of the binary operator specified, such as associativity, inverses, and identity, which make it more specific (and the magma more general). Roman (2007)

Figure 1. Relationship of various algebraic structures. Larger image

The diagram above aims to show how an algebra is constructed from a set, though admittedly omits several algebraic structures along the way. I've attempted to include the most primary objects used or seen in mathematical physics. I should also note, this diagram is intended as a quick-reference, and isn't a substitute for opening Hungerford! Hungerford (2003)

### Bibliography

Thomas W. Hungerford.
*Algebra*.
Number 73 in Graduate Texts in Mathematics.
Springer, New York, corr. 8th print edition, 2003.
ISBN 978-0-387-90518-1 978-3-540-90518-9. ↩

Nadir Jeevanjee.
*An Introduction to Tensors and Group Theory for Physicists*.
Springer Science+Business Media, New York, NY, 2015.
ISBN 978-3-319-14793-2. ↩

Steven Roman.
*Advanced Linear Algebra*.
Number 135 in Graduate Texts in Mathematics.
Springer, New York, 3rd ed edition, 2007.
ISBN 978-0-387-72828-5. ↩