Связанные понятия
Факторкольцо ́ — общеалгебраическая конструкция, позволяющая распространить на случай колец конструкцию факторгруппы. Любое кольцо является группой по сложению, поэтому можно рассмотреть её подгруппу и взять факторгруппу. Однако для того, чтобы на этой факторгруппе можно было корректно определить умножение, необходимо, чтобы исходная подгруппа была замкнута относительно умножения на произвольные элементы кольца, то есть являлась идеалом.
Проекти́вный мо́дуль — одно из основных понятий гомологической алгебры. С точки зрения теории категорий, проективные модули являются частным случаем проективных объектов.
Коммутативное кольцо — кольцо, в котором операция умножения коммутативна (обычно также подразумевается её ассоциативность и существование единицы). Изучением свойств коммутативных колец занимается коммутативная алгебра.
Свобо́дный мо́дуль — модуль F над кольцом R (как правило, считаемым ассоциативным c единичным элементом), если он либо является нулевым, либо обладает базисом, то есть непустой системой S элементов e1,…ei…, которая является линейно независимой и порождает F. Само кольцо R, рассматриваемое как левый модуль над собой, очевидно обладает базисом, состоящим из одного единичного элемента кольца, а каждый модуль с конечным базисом из n элементов изоморфен прямой сумме Rn колец R, рассматриваемых как модули...
Расшире́ние Галуа ́ — алгебраическое расширение поля E/K, являющееся нормальным и сепарабельным. При этих условиях E будет иметь наибольшее количество автоморфизмов над K (если E конечно, то количество автоморфизмов также конечно и равно степени расширения ).
Теоремы об изоморфизме в алгебре — ряд теорем, связывающих понятия фактора, гомоморфизма и вложенного объекта. Утверждением теорем является изоморфизм некоторой пары групп, колец, модулей, линейных пространств, алгебр Ли или прочих алгебраических структур (в зависимости от области применения). Обычно насчитывают три теоремы об изоморфизме, называемые Первой (также основная теорема о гомоморфизме), Второй и Третьей. Хотя подобные теоремы достаточно легко следуют из определения фактора и честь их открытия...
Кольцо многочленов — кольцо, образованное многочленами от одной или нескольких переменных с коэффициентами из другого кольца. Изучение свойств колец многочленов оказало большое влияние на многие области современной математики; можно привести примеры теоремы Гильберта о базисе, конструкции поля разложения и изучения свойств линейных операторов.
Группа классов идеалов дедекиндова кольца — это, грубо говоря, группа, позволяющая сказать, насколько сильно в данном кольце нарушается свойство факториальности. Эта группа тривиальна тогда и только тогда, когда дедекиндово кольцо является факториальным. Свойства дедекиндова кольца, касающиеся умножения его элементов, тесно связаны с устройством этой группы.
В общей алгебре, дедекиндово кольцо — это целостное кольцо, в котором каждый ненулевой собственный идеал раскладывается в произведение простых идеалов. Можно показать, что в этом случае разложение единственно с точностью до порядка сомножителей. Ниже приведено несколько других описаний дедекиндовых колец, которые можно принять за определение.
Алгебра над кольцом — алгебраическая система, которая является одновременно модулем над этим кольцом и кольцом сама по себе, причём эти две структуры взаимосвязаны. Понятие алгебры над кольцом является обобщением понятия алгебры над полем, аналогично тому как понятие модуля обобщает понятие векторного пространства.
Касательное пространство Зарисского — конструкция в алгебраической геометрии, позволяющая построить касательное пространство в точке алгебраического многообразия. Эта конструкция использует не методы дифференциальной геометрии, а только методы общей, и, в более конкретных ситуациях, линейной алгебры.
Область целостности (или целостное кольцо, или область цельности или просто область) — понятие коммутативной алгебры: ассоциативное коммутативное кольцо с единицей (нейтральным элементом относительно умножения) и без делителей нуля (произведение никакой пары ненулевых элементов не равно 0).
Алгебра над полем — это векторное пространство, снабженное билинейным произведением. Это значит, что алгебра над полем является одновременно векторным пространством и кольцом, причём эти структуры согласованы. Обобщением этого понятия является алгебра над кольцом, которая, вообще говоря, является не векторным пространством, а модулем над некоторым кольцом.
Схе́ма — математическая абстракция, позволяющая связать алгебраическую геометрию, коммутативную алгебру и дифференциальную геометрию и переносить идеи из одной области в другую. В первую очередь понятие схемы позволяет перенести геометрическую интуицию и геометрические конструкции, такие как тензорные поля, расслоения и дифференциалы, в теорию колец. Исторически теория схем возникла с целью обобщения и упрощения классической алгебраической геометрии итальянской школы XIX века, занимавшейся исследованием...
В математике свободная абелева группа (свободный Z-модуль) — это абелева группа, имеющая базис, то есть такое подмножество элементов группы, что для любого её элемента существует единственное его представление в виде линейной комбинации базисных элементов с целыми коэффициентами, из которых только конечное число являются ненулевыми. Элементы свободной абелевой группы с базисом B называют также формальными суммами над B. Свободные абелевы группы и формальные суммы используются в алгебраической топологии...
Окольцованное пространство — топологическое пространство, каждому открытому множеству которого сопоставлено коммутативное кольцо «функций» на этом множестве. Окольцованные пространства, в частности, используются при определении схем.
Произведение топологических пространств — это топологическое пространство, полученное, как множество, декартовым произведением исходных топологических пространств, и снабжённое естественной топологией, называемой топологией произведения или тихоновской топологией. Слово «естественная» здесь употребляется в смысле теории категорий и означает, что эта топология удовлетворяет некоторому универсальному свойству.
В общей алгебре, термин кручение относится к элементам группы, имеющим конечный порядок, или к элементам модуля, аннулируемым регулярным элементом кольца.
Подробнее: Кручение (алгебра)
Одноро́дный многочле́н — многочлен, все одночлены которого имеют одинаковую полную степень. Любая алгебраическая форма является однородным многочленом. Квадратичная форма задается однородным многочленом второй степени, бинарная форма - однородным многочленом любой степени от двух переменных.
Плоский модуль над кольцом R — это такой модуль, что тензорное умножение на этот модуль сохраняет точные последовательности. Модуль называется строго плоским, если последовательность тензорных произведений точна тогда и только тогда, когда точна исходная последовательность.
Тополо́гия Зари́сского , или топология Зариского, — специальная топология, отражающая алгебраическую природу алгебраических многообразий. Названа в честь Оскара Зарисского и, начиная с 1950-х годов, занимает важное место в алгебраической геометрии.
Связное пространство — непустое топологическое пространство, которое невозможно разбить на два непустых непересекающихся открытых подмножества.
Росток объекта на топологическом пространстве выражает локальные свойства объекта. В некотором смысле можно сказать, что это новый объект, который перенимает лишь локальные свойства объекта его породившего (чаще всего в роли таких объектов выступают отображения). Очевидно, что различные функции могут задавать один и тот же росток. В таком случае все локальные свойства (непрерывность, гладкость и т. п.) у таких функций совпадают и достаточно рассматривать свойства не самих функций, а лишь их ростков...
Идеал — одно из основных понятий общей алгебры. Наибольшее значение идеалы имеют в теории колец, но также определяются и для полугрупп, алгебр и некоторых других алгебраических структур. Название «идеал» ведёт своё происхождение от «идеальных чисел», которые были введены в 1847 году немецким математиком Э. Э. Куммером. Простейшим примером идеала может служить подкольцо чётных чисел в кольце целых чисел. Идеалы дают удобный язык для обобщения результатов теории чисел на общие кольца.
Абелева категория — категория, в которой морфизмы можно складывать, а ядра и коядра существуют и обладают определёнными удобными свойствами. Пример, который стал прототипом абелевой категории — категория абелевых групп. Теория абелевых категорий была разработана Александром Гротендиком для объединения нескольких теорий когомологий. Класс абелевых категорий замкнут относительно нескольких категорных конструкций; например, категория цепных комплексов с элементами из абелевой категории и категория функторов...
Двойственное пространство (иногда сопряжённое пространство) — пространство линейных функционалов на заданном векторном пространстве.
Алгебра Хопфа — ассоциативная алгебра над полем, имеющая единицу, и являющаяся также коассоциативной коалгеброй с коединицей и, таким образом, биалгеброй c антигомоморфизмом специального вида. Названа в честь Х. Хопфа.
Дифференцирование в алгебре — операция, обобщающая свойства различных классических производных и позволяющая ввести дифференциально-геометрические идеи в алгебраическую геометрию. Изначально это понятие было введено для исследования интегрируемости выражений в элементарных функциях алгебраическими методами.
Коне́чноме́рное простра́нство — это векторное пространство, в котором имеется конечный базис — порождающая (полная) линейно независимая система векторов. Другими словами, в таком пространстве существует конечная линейно независимая система векторов, линейной комбинацией которых можно представить любой вектор данного пространства.
Упорядоченное поле — алгебраическое поле, для всех элементов которого определён линейный порядок, согласованный с операциями поля. Наиболее практически важными примерами являются поля рациональных и вещественных чисел.
Во многих областях математики полезную конструкцию часто можно рассматривать как «наиболее эффективное решение» определенной проблемы. Определение универсального свойства использует язык теории категорий, чтобы сделать это определение точным и изучать его теоретическими методами.
Подробнее: Универсальное свойство
Гру́ппа Галуа ́ — группа, ассоциированная с расширением поля. Играет важную роль при исследовании расширений полей, в частности, в теории Галуа. Это понятие (в контексте группы перестановок корней многочлена) ввёл в математику Эварист Галуа в 1832 году.
Бордизм , также бордантность — термин топологии, употребляющийся самостоятельно или в составе стандартных...
Подмногообразие ― термин, используемый для нескольких схожих понятий в общей топологии, дифференциальной геометрии и алгебраической геометрии.
Аффи́нное простра́нство — математический объект (пространство), обобщающий некоторые свойства евклидовой геометрии. В отличие от векторного пространства, аффинное пространство оперирует с объектами не одного, а двух типов: «векторами» и «точками».
В алгебраической геометрии дивизоры являются обобщением подмногообразий некоторого алгебраического многообразия коразмерности 1. Существуют два различных таких обобщения — дивизоры Вейля и дивизоры Картье (названы в честь Андре Вейля и Пьера Картье), эти понятия эквивалентны в случае многообразий (или схем) без особенностей.
Подробнее: Дивизор (алгебраическая геометрия)
Факториа́льное кольцо ́ — область целостности, в которой каждый ненулевой элемент x либо обратим, либо однозначно представляется в виде произведения неприводимых элементов x = p1 ⋯ pn (n ≥ 1), с точностью до перестановки сомножителей и умножения на обратимый элемент (аналогично разложению целого числа на простые). Факториальные кольца часто называются гауссовыми в честь Гаусса.
Норма́льная подгру́ппа (также инвариа́нтная подгру́ппа или нормальный делитель) — подгруппа особого типа, левый и правый смежные классы по которой совпадают.
Непреры́вное отображе́ние (непрерывная функция) — отображение из одного пространства в другое, при котором близкие точки области определения переходят в близкие точки области значений.
Двойственность в теории категорий — соотношение между свойствами категории C и так называемыми двойственными свойствами двойственной категории Cop. Взяв утверждение, касающееся категории C и поменяв местами образ и прообраз каждого морфизма, так же как и порядок применения морфизмов, получим двойственное утверждение, касающееся категории Cop. Принцип двойственности состоит в том, что истинные утверждения после такой операции переходят в истинные, а ложные в ложные.
Топологическое векторное пространство , или топологическое линейное пространство, — векторное пространство, наделённое топологией, относительно которой операции сложения и умножения на число непрерывны.
Алгебраическое многообразие — центральный объект изучения алгебраической геометрии. Классическое определение алгебраического многообразия — множество решений системы алгебраических уравнений над действительными или комплексными числами. Современные определения обобщают его различными способами, но стараются сохранить геометрическую интуицию, соответствующую этому определению.
Пучок — структура, используемая для установления отношений между локальными и глобальными данными.
Евклидово кольцо — общеалгебраическое кольцо, в котором существует аналог алгоритма Евклида.
В линейной алгебре линейная зависимость — это свойство, которое может иметь подмножество линейного пространства. При линейной зависимости существует нетривиальная линейная комбинация элементов этого множества, равная нулевому элементу. При отсутствии такой комбинации, то есть, когда коэффициенты единственной такой линейной комбинации равны нулю, множество называется линейно независимым.