User:Jshflynn/Hungerford Algebra

From ProofWiki
Jump to navigation Jump to search

About

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


$\text{I}$: Groups

$\S 1$: Semigroups, Monoids and Groups

Definition:Operation/Binary Operation

Definition:Multiplicative Notation

Definition:Additive Notation

Definition:Product (Abstract Algebra)

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 Group Inverse

Inverse of Group Product

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

Symmetric Group 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

Reduced Residue System under Multiplication forms Abelian Group

Reduced Residue System under Multiplication forms Abelian Group/Corollary

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 of 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

Reduced Residue System under Multiplication forms Abelian Group/Corollary

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 is Automorphism iff Group is Abelian

Definition:Kernel of Group Homomorphism

Definition:Image of Subset under Mapping

Definition:Image Set of Mapping

Definition:Preimage of Subset under Mapping

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:Automorphism Group of Group

Automorphism Group is Subgroup of Symmetric Group

One-Step Subgroup Test

Intersection of Subgroups is Subgroup/General Result

Definition:Generator of Subgroup

Definition:Finitely Generated Algebraic Structure

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