The integers form a group under multiplication though and a key property of a group is that every element has an inverse. So how does the definition hold if there is nothing that could be considered an inverse for the number 0? Curious about this... I never thought about it before.