Phy622 Mathematical Methods 3
Group
G = $({S}, *)$
$S$ is closed over $*$
$*$ is associative. $a(bc) = (ab)c = abc$
Identity exists
Inverse exists