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