В алгебре, системы линейных уравнений и линейных уравнений над полем широко изучаются. «Над полем» означает, что коэффициенты уравнений и искомые решения принадлежат заданному полю, обычно действительному или комплексным числам. Эта статья посвящена тем же проблемам, где «поле» заменено на «коммутативное кольцо », или, как правило, «Нётериан область целостности ».
В случае одного уравнения задача разбивается на две части. Во-первых, проблема идеального членства, которая состоит из неоднородного уравнения
с и b в заданном кольцо R, чтобы решить, есть ли у него решение с в R, и, если есть, предоставить один. Это позволяет решить, принадлежит ли b идеалу, порожденному a i. Самый простой пример этой проблемы - для k = 1 и b = 1 решить, является ли a единицей в R.
Задача сизигии состоит из заданных k элементов в R, чтобы обеспечить систему генераторов модуля из сизигии из то есть система генераторов подмодуль из тех элементов в R, которые решение однородного уравнения
в простейшем случае, когда k = 1 составляет поиск системы генераторов аннигилятора элемента 1.
. Имея решение идеальной проблемы принадлежности, можно получить все решения, добавив к нему элементы модуль сизигий. Другими словами, все решения обеспечиваются решением этих двух частичных проблем.
В случае нескольких уравнений происходит одинаковое разбиение на подзадачи. Первой проблемой становится проблема членства в подмодуле . Вторая также называется проблемой сизигий .
Кольцо, такое, что существуют алгоритмы для арифметических операций (сложение, вычитание, умножение), и для вышеуказанных задач может называться вычислимым кольцом, или эффективное кольцо . Можно также сказать, что линейная алгебра на кольце эффективна .
В статье рассматриваются основные кольца, для которых линейная алгебра эффективна.
Уметь Для решения задачи сизигий необходимо, чтобы модуль сизигий был конечно порожден, потому что невозможно вывести бесконечный список. Следовательно, рассматриваемые здесь проблемы имеют смысл только для нётеровых колец или, по крайней мере, для когерентного кольца. Фактически, эта статья ограничена нётеровой областью целостности из-за следующего результата.
Для нётеровой области целостности, если существуют алгоритмы для определения идеальной принадлежности задача и проблема сизигий для одного уравнения, то из них можно вывести алгоритмы для аналогичных задач, касающихся систем уравнений.
Эта теорема полезна для доказательства существования алгоритмов. Однако на практике алгоритмы для систем разрабатываются напрямую, как это делается для систем линейных уравнений над полем.
Пусть R - эффективное коммутативное кольцо.
Есть алгоритмы для решения всех задач, рассматриваемых в этой статье, над целыми числами. Другими словами, линейная алгебра эффективна над целыми числами. Подробнее см. Линейная диофантова система.
То же решение применимо к тем же проблемам в главной идеальной области со следующими изменениями.
Понятие унимодулярной матрицы целых чисел должно быть расширено путем вызова унимодулярной матрицы над областью целостности, определитель которой является блок. Это означает, что определитель является обратимым и подразумевает, что унимодулярные матрицы - это обратимые матрицы, так что все элементы обратной матрицы принадлежат области.
Очевидно, что для алгоритмического решения линейных систем необходимо решение одного линейного уравнения с двумя неизвестными. В случае целых чисел такое решение обеспечивается расширенным алгоритмом Евклида. Таким образом, необходимо, чтобы для рассматриваемой области главных идеалов существовал алгоритм со спецификацией, аналогичной расширенному алгоритму Евклида. То есть, учитывая a и b в области главных идеалов, существует алгоритм, вычисляющий унимодулярную матрицу
такое, что
Имея такой алгоритм, нормальная форма Смита матрицы может быть вычислена точно так же, как в целочисленном случае, и этого достаточно, чтобы применить метод Линейная диофантова система.
Основной случай, когда это обычно используется, - это случай линейных систем над кольцом одномерных многочленов над полем. В этом случае можно использовать расширенный алгоритм Евклида. Подробнее см. полиномиальный наибольший общий делитель # Тождество Безу и расширенный алгоритм НОД.