Кольцо́ в общей алгебре — алгебраическая структура, в которой определены операция обратимого сложения и операция умножения, по свойствам похожие на соответствующие операции над числами. Простейшими примерами колец являются совокупности чисел, совокупности числовых функций, определённых на заданном множестве. Во всех случаях имеется множество, похожее на совокупности чисел в том смысле, что его элементы можно складывать и умножать, причём эти операции ведут себя естественным образом.
Идеал — одно из основных понятий общей алгебры. Наибольшее значение идеалы имеют в теории колец, но также определяются и для полугрупп, алгебр и некоторых других алгебраических структур. Название «идеал» ведёт своё происхождение от «идеальных чисел», которые были введены в 1847 году немецким математиком Э. Э. Куммером. Простейшим примером идеала может служить подкольцо чётных чисел в кольце целых чисел. Идеалы дают удобный язык для обобщения результатов теории чисел на общие кольца.
Тополо́гия Зари́сского, или топология Зариского, — специальная топология, отражающая алгебраическую природу алгебраических многообразий. Названа в честь Оскара Зарисского и, начиная с 1950-х годов, занимает важное место в алгебраической геометрии.
Коммутативная алгебра — раздел общей алгебры, изучающий свойства коммутативных колец и связанных с ними объектов, в частности теорию полей. Коммутативная алгебра является основой алгебраической геометрии и алгебраической теории чисел. Наиболее яркие примеры коммутативных колец, изучаемых коммутативной алгеброй — кольца многочленов и кольца целых алгебраических чисел.

Алгебраическая геометрия — раздел математики, который объединяет алгебру и геометрию. Главным предметом изучения классической алгебраической геометрии, а также в широком смысле и современной алгебраической геометрии, являются множества решений систем алгебраических уравнений. Современная алгебраическая геометрия во многом основана на методах общей алгебры для решения задач, возникающих в геометрии.

Ама́лия Э́мми Нётер — немецкий математик, наиболее известна своим вкладом в абстрактную алгебру и теоретическую физику. Павел Александров, Альберт Эйнштейн, Жан Дьёдонне, Герман Вейль и Норберт Винер считали её величайшей женщиной в истории математики. В качестве одного из величайших математиков двадцатого века она коренным образом изменила теорию колец, полей и алгебр. В физике теорема Нётер впервые открыла связь между симметрией в природе и законами сохранения.
Нётеров мо́дуль — это модуль, в котором выполняется условие обрыва возрастающих цепей для его подмодулей, упорядоченных по отношению включения.
Артинов модуль — модуль над кольцом, в котором выполняется следующее условие обрыва убывающих цепей. Символически, модуль
артинов, если всякая последовательность его подмодулей:

Факториа́льное кольцо́ — область целостности, в которой каждый ненулевой элемент x либо обратим, либо однозначно представляется в виде произведения неприводимых элементов x = p1 ⋯ pn (n ≥ 1), с точностью до перестановки сомножителей и умножения на обратимый элемент (аналогично разложению целого числа на простые). Факториальные кольца часто называются гауссовыми в честь Гаусса.
Теоре́ма Ги́льберта о ба́зисе — одна из основных теорем о нётеровых кольцах:
- Если R — нётерово кольцо, то кольцо многочленов R[x] также нётерово.

Алгебраическое многообразие — центральный объект изучения алгебраической геометрии. Классическое определение алгебраического многообразия — множество решений системы алгебраических уравнений над действительными или комплексными числами. Современные определения обобщают его различными способами, но стараются сохранить геометрическую интуицию, соответствующую этому определению.
В коммутативной алгебре идеал Q коммутативного кольца A называется примарным, если он не совпадает со всем кольцом, и для любого элемента Q вида xy либо x, либо yn для некоторого n>0 также является элементом Q. Например, в кольце целых чисел Z идеал примарен тогда и только тогда, когда он имеет вид (pn), где p — простое число.
Область главных идеалов — это область целостности, в которой любой идеал является главным. Более общее понятие — кольцо главных идеалов, от которого не требуется целостности.
Размерность Крулля — числовая характеристика коммутативных колец, наибольшая длина цепочки вложенных друг в друга простых идеалов данного кольца. Не обязательно является конечной даже для нётеровых колец.
Кольцо многочленов — кольцо, образованное многочленами от одной или нескольких переменных с коэффициентами из другого кольца. Изучение свойств колец многочленов оказало большое влияние на многие области современной математики; можно привести примеры теоремы Гильберта о базисе, конструкции поля разложения и изучения свойств линейных операторов.
В общей алгебре, дедекиндово кольцо — это целостное кольцо, в котором каждый ненулевой собственный идеал раскладывается в произведение простых идеалов. Можно показать, что в этом случае разложение единственно с точностью до порядка сомножителей. Ниже приведено несколько других описаний дедекиндовых колец, которые можно принять за определение.
Теорема Ласкера — Нётер утверждает, что каждый идеал нётерова кольца можно записать в виде конечного пересечения примарных идеалов. Такое представление идеала называется примарным разложением. В случае области главных идеалов это эквивалентно представлению в виде конечного пересечения степеней простых идеалов, то есть обобщает основную теорему арифметики. В 1905 теорема была доказана Эмануилом Ласкером в частном случае колец многочленов или сходящихся степенных рядов; общий случай теоремы доказала Эмми Нётер в 1921 году.
Кольцо Крулля — коммутативное кольцо с относительно хорошими свойствами разложения на простые. Впервые были исследованы Вольфгангом Круллем в 1931 году. Кольца Крулля являются многомерным обобщением дедекиндовых колец: дедекиндово кольцо — это в точности кольцо Крулля размерности не более 1.
Нётерово простра́нство — топологическое пространство X, удовлетворяющее условию обрыва убывающих цепей замкнутых подмножеств. То есть для каждой последовательности замкнутых подмножеств
пространства X такой, что:
