User:Jshflynn/Hungerford Algebra

$\S 1.1$
Definition:Operation/Binary Operation

Definition:Operation/Binary Operation/Product

Definition:Semigroup

Definition:Monoid

Definition:Group

Definition:Abelian Group

Definition:Order of Structure

Definition:Finite Group

Definition:Infinite Group

Identity is Unique

Identity Only Idempotent Element in Group

Cancellation Laws

Inverses in Monoid are Unique

Inverse of Inverse/Group

Inverse of Product/Group

Equivalence of Axiom Schemata for Groups