Let be a group, with . Prove that . Give an example where with but .
Let and . Since , we have whenever ; thus . By definition, we have and . We know from set theory that , so that .
Now since is itself a subgroup of , we have .
Now suppose is cyclic. Then , but we have .