S-ünitesi - S-unit

İçinde matematik, nın alanında cebirsel sayı teorisi, bir Sbirim fikrini genelleştirir birim of tam sayılar halkası Alanın. Birimler için geçerli sonuçların çoğu için de geçerlidir S-birimler.

Tanım

İzin Vermek K tamsayılar halkası olan bir sayı alanı R. İzin Vermek S sonlu bir dizi temel ideal olmak R. Bir element x nın-nin K bir S- birim eğer asıl kesirli ideal (x) asalların bir ürünüdür S (pozitif veya negatif güçlere). Rasyonel tam sayılar halkası için Z biri alabilir S sonlu bir asal sayılar kümesi olmak ve bir S- birim, payı ve paydası yalnızca asal sayılarla bölünebilen bir rasyonel sayı olacaktır. S.

Özellikleri

S-birimler, birimlerini içeren çarpımsal bir grup oluşturur R.

Dirichlet'in birim teoremi için tutar S-birimler: grubu S-birimler sonlu olarak oluşturulur. sıra (maksimum çarpımsal olarak bağımsız eleman sayısı) eşittir r + s, nerede r birim grubunun sıralamasıdır ve s = |S|.

S-birimi denklemi

S-birim denklemi bir Diyofant denklemi

sen + v = 1

ile sen, v olmakla sınırlı S-birimler K. Bu denklemin çözüm sayısı sonludur ve çözümler için tahminler kullanılarak etkin bir şekilde belirlenir. logaritmalarda doğrusal formlar geliştirildiği gibi aşkın sayı teorisi. Çeşitli Diophantine denklemleri, prensipte aşağıdaki şekillere indirgenebilir: S-birim denklemi: dikkate değer bir örnek Siegel teoremi integral noktalarında eliptik eğriler ve daha genel olarak süper eliptik eğriler şeklinde yn= f (x).

Yazılımda S-birimi denklemi için hesaplamalı bir çözücü mevcuttur SageMath.[1]

Referanslar

  1. ^ "S-birimi denklemini çözme x + y = 1 - Sage Referans Kılavuzu v8.7: Cebirsel Sayılar ve Sayı Alanları". doc.sagemath.org. Alındı 2019-04-16.

daha fazla okuma