User:Ascii/ProofWiki Sampling Notes for Theorems/Algebraic Structures

Operations
Let $(S, \circ)$ be a semigroup.
 * 1) General Commutativity Theorem
 * 2) General Associativity Theorem
 * If an operation is associative on $3$ entities, then it is associative on any number of them.
 * 1) Element Commutes with Product of Commuting Elements

Let $x, y, z \in S$.

If $x$ commutes with both $y$ and $z$, then $x$ commutes with $y \circ z$. Let $\circ$ be a binary operation on a set $S$.
 * 1) Associative Idempotent Anticommutative

Let $\circ$ be associative.

Then $\circ$ is anticommutative :
 * $(1): \quad \circ$ is idempotent

and:
 * $(2): \quad \forall a, b \in S: a \circ b \circ a = a$.

Let $\circ$ be a binary operation on a set $S$.
 * 1) Associative and Anticommutative

Let $\circ$ be both associative and anticommutative.

Then:
 * $\forall x, y, z \in S: x \circ y \circ z = x \circ z$

Let $S$ be a set.
 * 1) Constant Operation is Commutative

Let $x \left[{c}\right] y = c$ be a constant operation on $S$.

Then $\left[{c}\right]$ is a commutative operation:


 * $\forall x, y \in S: x \left[{c}\right] y = y \left[{c}\right] x$

Let $S$ be a set.
 * 1) Constant Operation is Associative

Let $x \left[{c}\right] y = c$ be a constant operation on $S$.

Then $\left[{c}\right]$ is an associative operation:


 * $\forall x, y, z \in S: \left({x \left[{c}\right] y}\right) \left[{c}\right] z = x \left[{c}\right] \left({y \left[{c}\right] z}\right)$


 * 1) Left Operation is Idempotent
 * 2) Right Operation is Idempotent
 * 3) Left Operation is Anticommutative
 * 4) Right Operation is Anticommutative
 * 5) Left Operation is Associative
 * 6) Right Operation is Associative
 * 7) Max and Min are Commutative
 * 8) Max and Min are Associative
 * 9) Max and Min are Idempotent
 * 10) Max and Min Operations are Distributive over Each Other

Magmas

 * 1) Magma is Submagma of Itself
 * 2) Empty Set is Submagma of Magma
 * 3) Subset not necessarily Submagma
 * 4) Idempotent Magma Element forms Singleton Submagma

Semigroups

 * 1) Restriction of Associative Operation is Associative
 * 2) Restriction of Commutative Operation is Commutative
 * 3) Subsemigroup Closure Test

Subset Product

 * 1) Magma Subset Product with Self
 * 2) Subset Product within Semigroup is Associative
 * 3) Subset Product within Commutative Structure is Commutative
 * 4) Subset of Subset Product
 * 5) Left Cancellable Elements of Semigroup form Subsemigroup
 * 6) Right Cancellable Elements of Semigroup form Subsemigroup
 * 7) Cancellable Elements of Semigroup form Subsemigroup
 * 8) Left Cancellable Element is Left Cancellable in Subset
 * 9) Right Cancellable Element is Right Cancellable in Subset
 * 10) Cancellable Element is Cancellable in Subset
 * 11) Intersection of Subsemigroups


 * 1) Left Cancellable iff Left Regular Representation Injective
 * 2) Right Cancellable iff Right Regular Representation Injective
 * 3) Cancellable iff Regular Representations Injective


 * 1) Left Identity Element is Idempotent
 * 2) Right Identity Element is Idempotent
 * 3) Identity Element is Idempotent


 * 1) More than one Left Identity then no Right Identity
 * 2) More than one Right Identity then no Left Identity


 * 1) Left Operation is Associative
 * 2) Right Operation is Associative
 * 3) Left Operation is Idempotent
 * 4) Right Operation is Idempotent
 * 5) Left Operation is Anticommutative
 * 6) Right Operation is Anticommutative
 * 7) Left Operation All Elements Left Zeroes
 * 8) Right Operation All Elements Right Zeroes
 * 9) Element under Left Operation is Right Identity
 * 10) Element under Right Operation is Left Identity
 * 11) Left Operation is Right Distributive over All Operations
 * 12) Right Operation is Left Distributive over All Operations
 * 13) Left Operation is Distributive over Idempotent Operation
 * 14) Right Operation is Distributive over Idempotent Operation


 * 1) Left and Right Identity are the Same
 * 2) Identity is Unique
 * 3) Identity Property in Semigroup
 * 4) Identity of Monoid is Cancellable
 * 5) Identity of Cancellable Monoid is Identity of Submonoid
 * 6) Identity of Submonoid is not necessarily Identity of Monoid
 * 7) Set of all Self-Maps is Monoid
 * 8) Cancellable Elements of Monoid form Submonoid
 * 9) Idempotent Elements form Submonoid of Commutative Monoid

Inverses

 * 1) Left Inverse and Right Inverse is Inverse
 * 2) Inverse in Monoid is Unique
 * 3) Inverse of Inverse/General Algebraic Structure
 * 4) Inverse of Product/Monoid
 * 5) Equivalence of Definitions of Self-Inverse

Zeroes

 * 1) More than One Right Zero then No Left Zero


 * 1) Set System Closed under Union is Commutative Semigroup
 * 2) Identity of Power Set with Union
 * 3) Power Set with Union is Commutative Monoid


 * 1) Set System Closed under Intersection is Commutative Semigroup
 * 2) Identity of Power Set with Intersection
 * 3) Power Set with Intersection is Commutative Monoid
 * 4) Invertible Element of Associative Structure is Cancellable


 * 1) Right Cancellable Commutative Operation is Left Cancellable
 * 2) Left Cancellable Commutative Operation is Right Cancellable


 * 1) Commutation with Inverse in Monoid
 * 2) Commutation of Inverses in Monoid
 * 3) Inverse of Commuting Pair
 * 4) Product of Commuting Elements with Inverses
 * 5) Cancellation Laws
 * 6) Invertible Elements of Monoid form Subgroup of Cancellable Elements
 * 7) Structure Induced by Associative Operation is Associative
 * 8) Structure Induced by Commutative Operation is Commutative
 * 9) Induced Structure Identity
 * 10) Induced Structure Inverse

Quotient Structures

 * 1) Trivial Relation is Universally Congruent
 * 2) Equivalence Relation is Congruence for Constant Operation
 * 3) Equivalence Relation is Congruence for Left Operation
 * 4) Equivalence Relation is Congruence for Right Operation
 * 5) Quotient Structure is Well-Defined

Cartesian Product

 * 1) External Direct Product Closure
 * 2) External Direct Product Associativity
 * 3) External Direct Product of Semigroups
 * 4) External Direct Product Commutativity
 * 5) External Direct Product Identity
 * 6) External Direct Product Inverses
 * 7) External Direct Product Distributivity

Homomorphisms

 * 1) Morphism Property Preserves Closure
 * 2) Composite of Homomorphisms is Homomorphism/Algebraic Structure
 * 3) Morphism Property Preserves Cancellability
 * 4) Quotient Mapping on Structure is Canonical Epimorphism


 * 1) Restriction of Homomorphism to Image is Epimorphism
 * 2) Epimorphism Preserves Associativity
 * 3) Epimorphism Preserves Semigroups
 * 4) Homomorphism Preserves Subsemigroups
 * 5) Epimorphism Preserves Commutativity
 * 6) Epimorphism Preserves Identity
 * 7) Epimorphism Preserves Inverses
 * 8) Epimorphism Preserves Distributivity