groups: add inverse of inverse and inverse of product sections to Fundamentals
groups: Define subgroups generated by a set, cyclic subgroups, cyclic groups
groups: define orders of a group, congruence modulo a subgroup, right cosets of a subgroup and prove lagrange's theorem