Define a group. Prove: The fourth roots of unity form an Abelian group. Define a group. Prove: The fourth roots of unity form an Abelian group.