Définition, théorèmes et propriétés des sous-anneaux