Solution (source code)

= Solution

The <group order> is its <cardinality>, $\boxed{|G|=\#\{g:g\in G\}}$. The <order of a group element> $g$ is
$$
\boxed{\operatorname{ord}(g)=\min\{n\geq1:g^n=e\},}
$$
where $e$ is the <identity element>. In a <finite group> such an $n$ always exists, since two nonnegative powers of $g$ must coincide.