Un grupo aditivo es un grupo cuya operación de grupo debe considerarse como una adición en algún sentido. Por lo general , es abeliano y, por lo general, se escribe con el símbolo + para su operación binaria.
Esta terminología es muy utilizada con estructuras dotadas de varias operaciones para especificar la estructura obtenida olvidando las demás operaciones. Los ejemplos incluyen el grupo aditivo [1] de los enteros , de un espacio vectorial y de un anillo . Esto es particularmente útil con anillos y campos para distinguir el grupo subyacente aditivo del grupo multiplicativo de los elementos invertibles .