Todo anillo es un grupo abeliano con respecto a su adición.