Jump to content

S -единица

В математике , в области теории алгебраических чисел , S -единица обобщает идею единицы кольца целых полей. Многие результаты, справедливые для единиц, справедливы и для S -единиц.

Определение

[ редактировать ]

Пусть K числовое поле с кольцом целых R. чисел Пусть S — конечное множество простых R идеалов . Элемент x из K является S -единицей, если главный дробный идеал ( x ) является произведением простых чисел в S (в положительные или отрицательные степени). Для кольца целых рациональных чисел Z можно взять S как конечный набор простых чисел и определить S -единицу как рациональное число , числитель и знаменатель которого делятся только на простые числа из S .

Характеристики

[ редактировать ]

S - единицы образуют мультипликативную группу, единицы R. содержащую

Теорема Дирихле о единице справедлива для S -единиц: группа S -единиц конечно порождена , с рангом (максимальным числом мультипликативно независимых элементов), равным r + s , где r — ранг единичной группы и s = | С |.

Уравнение S-единицы

[ редактировать ]

Уравнение S -единицы представляет собой диофантово уравнение.

u + v = 1

где u и v ограничены тем, что они являются S -единицами K (или, в более общем смысле, элементами конечно порожденной подгруппы мультипликативной группы любого поля нулевой характеристики). Число решений этого уравнения конечно [1] и решения эффективно определяются с использованием оценок для линейных форм в логарифмах , разработанных в теории трансцендентных чисел . Множество диофантовых уравнений в принципе сводятся к некоторой форме S -единичного уравнения: ярким примером является теорема Зигеля о целых точках на эллиптических кривых и, в более общем смысле, суперэллиптических кривых формы y. н знак равно ж ( Икс ).

Вычислительный решатель для уравнения с S -единицей доступен в программном обеспечении SageMath . [2]

  1. ^ Бойкерс, Ф.; Шликкевей, Х. (1996). «Уравнение x+y=1 в конечно порожденных группах» . Акта Арифметика . 78 (2): 189–199. дои : 10.4064/aa-78-2-189-199 . ISSN   0065-1036 .
  2. ^ «Решение уравнения с единицей S x + y = 1 — Справочное руководство Sage v8.7: Алгебраические числа и числовые поля» . doc.sagemath.org . Проверено 16 апреля 2019 г.

Дальнейшее чтение

[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 952add98cbdf664b81f38c8f872765c2__1677469140
URL1:https://arc.ask3.ru/arc/aa/95/c2/952add98cbdf664b81f38c8f872765c2.html
Заголовок, (Title) документа по адресу, URL1:
S-unit - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)