# Algebra

Libraries to reason about algebraic structures, e.g. groups, rings, fields, polynomials.

### Subtopics

- Commutative-rings
- Axiomatization of two associative and commutative operations, one
distributes over the other, while the other has an identity and an unary
inverse operation, developed by John Cowles.
- Abelian-groups
- Axiomatization of an associative and commutative binary operation
with an identity and an unary inverse operation, developed by John Cowles.
- Abelian-semigroups
- Axiomatization of an associative and commutative binary operation, developed by John Cowles.
- Prime-fields
- A library about prime fields.