Sea $(G, \cdot)$ un grupo finito con orden $n \in \mathbb{N}^{*},$ donde $n \geq 2.$ Diremos que el grupo $(G, \cdot)$ es ordenable si existe una ordenación de sus elementos, tal que \[ 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) Determinar todos los enteros positivos $n$ para los cuales el grupo $(Z_n, +)$ es ordenable. b) Dar un ejemplo de un grupo de orden par que es ordenable.