Sigue de la definición que un subanillo B de un anillo A determina con la suma un subgrupo del grupo aditivo de $A$ y que con la multiplicación determina un subsemigrupo de .