If $R$ has a multiplicative identity (that is, a unit) element,
then that element is denoted by $\unit{R}$. Its additive identity
- element is $\zero{R}$.
+ element is $\zero{R}$. The stabilizer (or isotropy)
+ subgroup of $G$ that fixes $x$ is $\Stab{G}{x}$.
\end{section}
\begin{section}{Algorithm}