The SlugMath Wiki is under heavy development!

# Def/Abelian

Definition of Abelian: Let $(G, \circ)$ be a group. $G$ is called abelian if its composition is a commutative operation. In other words, $G$ is abelian if $x \circ y = y \circ x$, for all $x,y \in G$.

## Logical Connections

This definition logically relies on the following definitions and statements: Def/Group, Def/Commutative

The following statements and definitions logically rely on the material of this page: Def/Ring, Def/Vector space, and State/Groups of prime squared order are abelian

To visualize the logical connections between this definition and other items of mathematical knowledge, you can visit any of the following clusters, and click the "Visualize" tab: Clust/Basic group theory