We shall now proceed to obtain a number of direct consequences from the axioms of a group. Other such consequences will be given in the exercises. We shall call all these consequences elementary properties of groups.
