When does the product of all elements in a finite abelian group equal $1$?
Wilson's theorem for finite Abelian groups:
The product of all elements in a finite Abelian group is either $1$ or the element of order $2$ if there is only one such element.