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

Definition:Integers Modulo m

Additive Group of Integers Modulo m

Multiplicative Group of Integers Modulo m

Definition:Meaningful Product

Definition:Standard n Product

General Associativity Theorem

General Commutativity Theorem

Definition:Power of Element/Semigroup

Definition:Power of Element/Monoid

Definition:Power of Element/Group

Index Laws for Monoids/Sum of Indices

Index Laws for Monoids/Product of Indices

Mappings to Algebraic Structure form Similar Algebraic Structure

Equivalence of Axiom Schemata for Groups/Warning

Order of Symmetric Group

Definition:Klein Four-Group

Boolean Group is Abelian

Even Order Group has Order 2 Element

$\S 1.2$
Definition:Semigroup Homomorphism

Definition:Semigroup Monomorphism

Definition:Semigroup Epimorphism

Definition:Semigroup Isomorphism

Definition:Semigroup Endomorphism

Definition:Semigroup Automorphism

Composite of Homomorphisms/Algebraic Structure

Composite of Monomorphisms

Composite of Epimorphisms

Composite of Isomorphisms

Composite of Endomorphisms

Composite of Automorphisms

Definition:Canonical Epimorphism

Inversion Mapping is Automorphism for Abelian Group

Definition:Kernel of Group Homomorphism

Definition:Image/Mapping/Subset

Definition:Image/Mapping/Mapping

Definition:Preimage/Mapping/Subset

Kernel is Trivial iff Monomorphism/Group