Кольцо

- множество R, в к-ром заданы две бинарные алгебраич. операции: сложение и умножение, причем по сложению это множество - абелева группа (аддитивная группа кольца R), а умножение связано со сложением законами дистрибутивности: a(b+с) = аb+ас, (b+с) а=bа+са, где [img: http://localhost:8080/file/021227-88.jpg] На умножение в общем случае не накладывается никаких ограничений, т. е. Rпо умножению - группоид (наз. мультипликативным группоидом кольца R). Непустое подмножество [img: http://localhost:8080/file/021227-89.jpg] наз. подкольцом в R, если Асамо является кольцом относительно операций, определенных в R, т. е. Адолжно быть подгруппой аддитивной группы кольца Rи подгруппоидом мультипликативного группоида этого кольца. Естественно, подкольцами всякого кольца служат само это кольцо и нульподкольцо, состоящее из одного нуля. Пересечение (теоретико-множественное) подколец любого кольца есть подкольцо. Объединением подколец [img: http://localhost:8080/file/021227-90.jpg] кольца Rназ. пересечение всех подколец, каждое из к-рых содержит все [img: http://localhost:8080/file/021227-91.jpg] Множество всех подколец данного кольца является решеткой S(R)относительно операций пересечения и объединения подколец. Множество идеалов этого кольца образуют подрешетку в S(R). О направлениях в теории колец см. Кольца и алгебры, Ассоциативные кольца и алгебры, Неассоциативные кольца и алгебры. Р. А. Иванова.