A group is if its binary operation is commutative; otherwise, it is .
%%%%% % DEPENDENCIES % RequiredMacros: \newcommand{\textdef}[1]{\textit{#1}} %%%%% \begin{definition} A group is \textdef{abelian} if its binary operation is commutative; otherwise, it is said to be \textdef{nonabelian}. \end{definition}