This folder contains algebra in a broad sense.
The basic algebraic hierarchy is split across a series of subfolders that each depend on the previous:
Algebra.Notationfor basic algebraic notationAlgebra.Groupfor semigroups, monoids, groupsAlgebra.GroupWithZerofor monoids with a zero adjoined, groups with a zero adjoinedAlgebra.Ringfor additive monoids and groups with one, semirings, ringsAlgebra.Fieldfor semifields, fields
Files in earlier subfolders should not import files in later ones.