Порядком элемента $a$ называется наименьшее натуральное $k$ такое, что для элемента $a\in G$ выполняется равенство $a^k=e$. Обозначение: $\operatorname{ord} a$. Если такого числа не существует, то говорят, что $\operatorname{ord} a = 0$.