Z is a group.