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}