added prop:form-of-generator
added examples of generators
added def:cyclic-group
added definition of order of element