Finite additive group
= Finite additive group
A finite additive group is a <finite group> whose operation is written as <addition>. Its <identity element> is denoted $0$, the <inverse element> of $x$ is denoted $-x$, and <translation in a group>[translation] $y\mapsto x+y$ is a <bijection>.