[Алгебра] Ранг и минимальное число генераторов модуля над кольцом
Для евклидовых колец алгоритм следующий:
Выбираем элемент с наименьшей нормой. Переносим его в самый верх. Далее начинаем обнулять элементы в том же столбце. Если, допустим,
Затем обнуляем все элементы в первой строке, потом снова в первом столбце и.т.д. пока норма
Я применял этот алгоритм для матриц из целых чисел и работал он не быстро, а промежуточные числа были огромными. Есть совершенно другой хороший алгоритм для целых чисел - LLL, но я не знаю можно ли его обобщить для полиномов и полиномов Лорана.
А кольцо полиномов Лорана евклидово?
Вроде бы евклидово, ведь это те же самые полиномы с одной переменной, но с дополнительными множителями — обратимыми элементами
Для евклидовых колец алгоритм следующий:Если я правильно понял, мы берем некий начальный набор порождающих элементов модуля (их найдется конечное число, т.к. модуль является конечнопорожденным а потом хотим взять еще один набор, чтобы выразить его через первый и получить матрицу из элементов евклидова кольца?
Выбираем элемент с наименьшей нормой ...
То есть я не совсем понял, откуда мы возьмем исходную матрицу, составленную из элементов евклидова кольца, или что примем за стартовый набор порождающих элементов модуля при поиске минимального (по числу элементов) порождающего набора?
То есть я не совсем понял, откуда мы возьмем исходную матрицуИли мы берем в качестве строк (или столбцов) этой матрицы соотношения, по которым факторизуем свободный модуль, построенный на каких-либо порождающих исходного модуля, для того, чтобы получить исходный модуль?
То есть сам исходный модуль представляем в виде матрицы с размерами (кол-во образующих) X (кол-во соотношений).
В матрицу записываем порождающие вектора.
Вроде бы евклидово, ведь это те же самые полиномы с одной переменной, но с дополнительными множителями — обратимыми элементами .У полиномов норма - это степень. А у полиномов Лорана я не уверен. Наверно разница между наибольшей и наименьшей степенью монома.
А у полиномов Лорана я не уверен. Наверно разница между наибольшей и наименьшей степенью монома.Да, она. Можно проверить свойство нормы о делении с остатком.
Пусть
Тогда найдутся
получим искомое свойство нормы, т.к.
Оставить комментарий
BoBochka
(1) Возможно, кто-то из участников форума знает, как лучше лучше посчитать минимальное число генераторов конечнопорожденного модуля над кольцом главных идеалов (полиномов Лорана).Я нашел в учебнике по алгебре, что вроде бы такой модуль разлагается в сумму подмодулей аналогичную сумме для конечнопорожденных абелевых групп, но вот как потом вычислить минимальное число генераторов, используя это разложение, или можно ли это сделать с помощью матрицы представления этого модуля, я пока не понимаю.
(2) И еще вопрос: верно ли, что ранг