1: \begin{abstract}

2: \textbf{Abstract.}

3: We address two variants of the classical necklace counting problem from enumerative combinatorics.

4: In both cases, we fix a finite group $\mathcal{G}$ and a positive integer $n$.

5: In the first variant, we count the ``identity-product $n$-necklaces'' -- that is, the orbits of $n$-tuples $\left(a_1, a_2, \ldots, a_n\right) \in \mathcal{G}^n$ that satisfy $a_1 a_2 \cdots a_n = 1$ under cyclic rotation.

6: In the second, we count the orbits of all $n$-tuples $\left(a_1, a_2, \ldots, a_n\right) \in \mathcal{G}^n$ under cyclic rotation and left multiplication (i.e., the operation of $\mathcal{G}$ on $\mathcal{G}^n$ given by $h \cdot \left(a_1, a_2, \ldots, a_n\right) = \left(ha_1, ha_2, \ldots, ha_n\right)$).

7: We prove bijectively that both answers are the same, and express them as a sum over divisors of $n$.

8: \medskip

9: 

10: \textbf{Keywords.} Finite groups, necklaces, enumerative combinatorics, counting, Euler totient function, M\"obius function, orbits, group actions, P\'olya enumeration, Burnside lemma.

11: \medskip

12: 

13: \textbf{Mathematics Subject Classification 2020:} 05E18, 05A15.

14: \end{abstract}

15: