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

Equivalence of Axiom Schemata for Groups

Integers Infinite Cyclic Group

Additive Group of Rational Numbers

Additive Group of Real Numbers

Integer Multiplication forms Commutative Monoid

Rational Multiplication forms Commutative Monoid

Multiplicative Group of Rational Numbers

Multiplicative Group of Real Numbers

Definition:Symmetry Group

Symmetry Group is Group

Group of Permutations is Group

Definition:Permutation on n Letters

Definition:Symmetric Group

Symmetric Group is Group

Order of Symmetric Group

Definition:Group Direct Product

Group Direct Product is Group

Group Direct Product of Abelian Groups

Definition:Congruence Relation

Quotient Structure is Well-Defined