подкольцо

Более строго, если есть кольцо называется подкольцом , если оно является кольцом относительно сужения и на , а также содержит ту же мультипликативную единицу, что и . Подкольцо — это просто подгруппа , содержащая единицу и замкнутая относительно умножения.

Например, кольцо целых чисел  является подкольцом поля вещественных чисел и подкольцом кольца многочленов .