A totient group is an Abelian group of finite order. I wonder if the theory of a totient group is $\aleph_0$-categorical.