$\begin{array}{1 1} \text{Not Commutative, Not Associative, Identity Exists} \\ \text{Not Commutative, Not Associative, Identity Does not Exist} \\ \text{Commutative, Associative, Identity Exists} \\ \text{Commutative, Associative, Identity Does not Exist} \end{array} $