Set Elements

• Set ($𝕊$): A bundle of elements: $𝕊=\{a,b,c,\cdots ,n\}$
• Set Operations $\text{(+,⋅)}$: A set defines two operations between any two elements $a,b\in 𝕊$ as operands: addition $\text{(+)}$ and multiplication $\text{(⋅)}$
• Additive Identity ($1_{\text{(+)}}$): An element $i\in 𝕊$ is an additive identity if for all $a\in 𝕊$, $i+a=a$.
• Multiplicative Identity ($1_{\text{(⋅)}}$): An element $i\in 𝕊$ is an additive identity if for all $a\in 𝕊$, $i\cdot a=a$
• Additive Inverse ($a^{-1}$): For each $a\in 𝕊$, its additive inverse $a^{-1}$ is defined as an element such that $a+a^{-1}=1_{\text{(+)}}$ (i.e., additive identity)
• Multiplicative Inverse ($a^{-1}$): For each $a\in 𝕊$ except for $a=0$, its multiplicative inverse $a^{-1}$ is defined as an element such that $a\cdot a^{-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: $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, 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, plus every element has an inverse (except for that of 0, the identity)
• Abelian Group: An abelian group is a group, plus its operation is commutative.