1: \begin{abstract}

2: A gyrogroup is a nonassociative group-like structure modelled on the

3: space of relativistically admissible velocities with a binary

4: operation given by Einstein's velocity addition law. In this

5: article, we present a few of groups sitting inside a gyrogroup $G$,

6: including the commutator subgyrogroup, the left nucleus, and the

7: radical of $G$. The normal closure of the commutator subgyrogroup,

8: the left nucleus, and the radical of $G$ are in particular normal

9: subgroups of $G$. We then give a criterion to determine when a

10: subgyrogroup $H$ of a finite gyrogroup $G$, where the index

11: $[G\colon H]$ is the smallest prime dividing $|G|$, is normal in

12: $G$.

13: \end{abstract}

14: