1. Added properties that "e * a = a * e" and "a * e = e * a". 2. Changed the definition of groups to one-sided (left) definition, i.e., groups are defined by the left axioms, and proved the right axioms. 3. Removed the introduction forms of group cancellation laws which were put in comments in the last version.