Sigue de la definición que un subanillo formula_2 de un anillo formula_3 determina con la suma un subgrupo del grupo aditivo de formula_3 y que con la multiplicación determina un subsemigrupo de formula_5