Additive group (source code)

= Additive group

An additive group is an <abelian group> whose operation is written as addition, with identity $0$ and inverse of $x$ written $-x$.