additive group

(group theory) Any (often, but not necessarily, abelian) group whose binary operation is called addition.

(algebra) Any of certain algebraic objects (ring, field or vector space, etc., whose definition includes a commutative operation called addition) regarded as a group under addition.

(category theory) Any group object (such as a group functor, group scheme, etc.), whose binary operation is called addition.