Set Elements

• Set ($𝕊$): A bundle of elements: $𝕊=\{a,b,c,\dots \}$
• Set Operations $\text{(+,⋅)}$: We consider two operations on $𝕊$ between any two elements $a,b\in 𝕊$ as operands: addition $\text{(+)}$ and multiplication $\text{(⋅)}$
• Additive Identity ($0_{\text{(+)}}$ often written $0$): An element $i\in 𝕊$ is an additive identity if for all $a\in 𝕊$, $i+a=a$.
• Multiplicative Identity ($1_{\text{(⋅)}}$ often written $1$): An element $i\in 𝕊$ is a multiplicative identity if for all $a\in 𝕊$, $i\cdot a=a$
• Additive Inverse ($a_{\text{(+)}}^{-1}$): For each $a\in 𝕊$, its additive inverse $a_{\text{(+)}}^{-1}$, often written $-a$, is defined as an element such that $a+a_{\text{(+)}}^{-1}=0_{\text{(+)}}$ (i.e., additive identity)
• Multiplicative Inverse ($a_{\text{(⋅)}}^{-1}$): For each $a\in 𝕊$ that is invertible with respect to $\text{(⋅)}$, its multiplicative inverse $a_{\text{(⋅)}}^{-1}$, often written $a^{-1}$, is defined as an element such that $a\cdot a_{\text{(⋅)}}^{-1}=1_{\text{(⋅)}}$ (i.e., multiplicative identity)

$$

Element Operation Features

• Closed: A set $𝕊$ is closed under the $\text{(+)}$ operation if for every $a,b\in 𝕊$, it is the case that $a+b\in 𝕊$. Likewise, a set $𝕊$ is closed under the $\text{(⋅)}$ operation if for every $a,b\in 𝕊$, it is the case that $a\cdot b\in 𝕊$.
• Associative: $(a+b)+c=a+(b+c)$
• Commutative: $a+b=b+a$
• Distributive: When both $\text{(+)}$ and $\text{(⋅)}$ are defined, $a\cdot (b+c)=(a\cdot b)+(a\cdot c)$

$$

Group Types

• Semigroup: A semigroup is a set of elements which is closed and associative on a single operation ($+$ or $\cdot$)

• Monoid: A monoid is a semigroup, plus it has an identity element $e$, which returns the other operand over the set operation.

  (e.g., $0$ is the identity element for $+$ operator, $1$ is the identity element for the $\cdot$ operator)

• Group: A group is a monoid, and every element has an inverse with respect to the operation.
• Abelian Group: An abelian group is a group, plus its operation is commutative.