Problem

Source: Romania National Olympiad 2023

Tags: abstract algebra, group theory, number theory



Let $(G, \cdot)$ a finite group with order $n \in \mathbb{N}^{*},$ where $n \geq 2.$ We will say that group $(G, \cdot)$ is arrangeable if there is an ordering of its elements, such that \[ G = \{ a_1, a_2, \ldots, a_k, \ldots , a_n \} = \{ a_1 \cdot a_2, a_2 \cdot a_3, \ldots, a_k \cdot a_{k + 1}, \ldots , a_{n} \cdot a_1 \}. \] a) Determine all positive integers $n$ for which the group $(Z_n, +)$ is arrangeable. b) Give an example of a group of even order that is arrangeable.