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

Operations
Let $(S, \circ)$ be a semigroup.
 * 1) 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

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


 * 1) Set of all Self-Maps is Monoid

Zeroes

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