User:Jshflynn/Hungerford Algebra

About
This is the coverage of the book Algebra by Thomas W. Hungerford.

$\S 1$: Semigroups, Monoids and Groups
Definition:Operation/Binary Operation

Definition:Multiplicative Notation

Definition:Additive Notation

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/Proof 1

Identity is Only Idempotent Element in Group/Proof 2

Cancellation Laws

Inverse in Monoid is Unique

Inverse of Inverse/Group

Inverse of Product/Group

Unique Solution of Group Equation

Equivalence of Axiom Schemata for Groups

Semigroup is Group Iff Latin Square Property Holds

Integers under Addition form Infinite Cyclic Group

Rational Numbers under Addition form Abelian Group

Real Numbers under Addition form Abelian Group

Integers under Multiplication form Countably Infinite Commutative Monoid

Rational Numbers under Multiplication form Commutative Monoid

Non-Zero Rational Numbers under Multiplication form Abelian Group

Non-Zero Real Numbers under Multiplication form Abelian Group

Integer Multiples under Multiplication form Semigroup

Definition:Symmetry Group

Definition:Symmetry Group of Square

Symmetry Group is Group

Definition:Permutation/Mapping

Group of Permutations is Group

Definition:Permutation on n Letters

Definition:Symmetric Group

Symmetric Group is Group

Order of Symmetric Group

Definition:Permutation on n Letters/Two-Row Notation

Definition:Group Direct Product

External Direct Product of Groups is Group

External Direct Product of Abelian Groups is Abelian Group

Order of External Direct Product

Definition:Congruence Relation

Definition:Operation Induced on Quotient Set

Quotient Structure of Monoid is Monoid

Quotient Structure of Group is Group

Quotient Structure of Abelian Group is Abelian Group

Congruence (Number Theory) is Congruence Relation

Definition:Integers Modulo m

Definition:Additive Group of Integers Modulo m

Order of Additive Group of Integers Modulo m

Integers Modulo m Coprime to m under Multiplication form Abelian Group

Non-Zero Integers Modulo Prime under Multiplication form Abelian Group

Definition:Group of Rationals Modulo One

Group of Rationals Modulo One is Group

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

Natural Numbers under Addition form Commutative Monoid

Multiplicative Semigroup of Integer Multiples/Note

Mappings to Algebraic Structure form Similar Algebraic Structure

Equivalence of Axiom Schemata for Groups/Warning

Definition:Symmetry Group of Square

Order of Symmetric Group

Definition:Klein Four-Group

Non-Zero Integers Modulo Prime under Multiplication form Abelian Group

Modulo One is Congruence Relation on Rational Numbers

Group of Rationals Modulo One is Group

Bookmark
Boolean Group is Abelian

Even Order Group has Order 2 Element

$\S 2$
Definition:Semigroup Homomorphism

Definition:Semigroup Monomorphism

Definition:Semigroup Epimorphism

Definition:Semigroup Isomorphism

Definition:Semigroup Endomorphism

Definition:Semigroup Automorphism

Composite of Homomorphisms is Homomorphism/Algebraic Structure

Composite of Monomorphisms is Monomorphism

Composite of Epimorphisms is Epimorphism

Composite of Isomorphisms is Isomorphism

Composite of Endomorphisms is Endomorphism

Composite of Automorphisms is Automorphism

Definition:Canonical Epimorphism

Inversion Mapping on Abelian Group is Automorphism

Definition:Kernel of Group Homomorphism

Definition:Image/Mapping/Subset

Definition:Image/Mapping/Mapping

Definition:Preimage/Mapping/Subset

Kernel is Trivial iff Monomorphism/Group

Definition:Closure (Abstract Algebra)/Algebraic Structure

Definition:Subgroup

Definition:Trivial Subgroup

Definition:Proper Subgroup

Subgroups of Additive Group of Integers

Kernel of Group Homomorphism is Subgroup

Image of Group Homomorphism is Subgroup

Group Homomorphism Preserves Subgroups

Definition:Group of Automorphisms

Group of Automorphisms is Subgroup of Group of Permutations

One-Step Subgroup Test

Intersection of Subgroups is Subgroup/General Result

Definition:Generator of Group

Definition:Generator/Finitely Generated

Definition:Cyclic Group

Definition:Word (Abstract Algebra)

Set of Words Generates Group

Integers under Addition form Infinite Cyclic Group

Trivial Group is Cyclic Group

Definition:Join of Subgroups/General Definition

Definition:Join of Subgroups