Let be a group, and a normal subgroup. Which of the following statements is/are always true?
I. If is finite and is finite, then is finite.
II. If is finite and cyclic and is finite and cyclic, then is finite and cyclic.
III. If is abelian and is abelian, then is abelian.
Notation: