Order of a finite group (source code)

= Order of a finite group
{title2=$|G|$}

= Group order
{synonym}

The order $|G|$ of a finite group is its number of elements.