One application : to find the product of all elements in the multiplicative group $({\mathfrak o}/{\mathfrak a})^\times$, where $\mathfrak o$ is the ring of integers in a number field and ${\mathfrak a}\subset{\mathfrak o}$ is an ideal.  The case ${\mathfrak o}={\mathbb Z}$ is Wilson's theorem.  See for example arXiv:0711.3879v1 [math.NT].