Lemma Euklidean

Templat:Short description Templat:Distinguish Dalam teori bilangan, Lemma Euklidean adalah lemma yang menangkap properti dasar bilangan prima, yaitu:Templat:Refn Templat:Math theorem Misalnya, jika Templat:Math, Templat:Math, Templat:Math, then Templat:Math, dan karena ini habis dibagi 19, lemma menyiratkan bahwa satu atau keduanya dari 133 atau 143 pasti juga. Faktanya, Templat:Math.

Secara inheren, jika premis lemma tidak berlaku, yaitu, Templat:Math adalah bilangan komposit, konsekuensinya bisa benar atau salah. Contohnya, dalam kasus Templat:Math, Templat:Math, Templat:Math, bilangan komposit 10 membagi Templat:Math, tapi 10 tidak membagi 4 atau 15.

Properti ini adalah kunci dalam pembuktian teorema fundamental aritmetika.Templat:Refn Ini digunakan untuk mendefinisikan elemen utama s, generalisasi dari bilangan prima ke sembarang cincin komutatif. Lemma Euclid menunjukkan bahwa dalam bilangan bulat elemen tak tereduksi juga merupakan elemen prima. Pembuktiannya menggunakan induksi sehingga tidak berlaku untuk semua integral domain.

Formulasi

Jika $p$ menjadikan bilangan prima dan asumsi $p$ jadi membagi hasil kali dua bilangan bulat $a$ dan $b$. (Dalam simbol ini tertulis $p\mid ab$. Negasinya, $p$ tidak membagi $ab$ ditulis $p\nmid ab$.) Kemudian $p\mid a$ atau $p\mid b$ (atau keduanya). Pernyataan Setara adalah:

• Bila $p\nmid a$ dan $p\nmid b$, kemudian $p\nmid ab$.
• Bila $p\nmid a$ dan $p\mid ab$, kemudian $p\mid b$.

Lemma Euklidean dapat digeneralisasikan dari bilangan prima ke bilangan bulat apa pun: Templat:Math theorem Ini adalah generalisasi karena jika $n$ adalah bilangan prima

• $n\mid a$ atau
• $n$ relatif prima dari $a$.

Dalam kemungkinan kedua ini, $n\nmid a$ jadi $n\mid b$.

Sejarah

Lemma pertama kali muncul sebagai proposisi 30 dalam Buku VII dari Elemen Euklides. Ini termasuk dalam hampir setiap buku yang mencakup teori bilangan dasar.

Generalisasi lemma ke bilangan bulat muncul di buku teks Jean Prestet Nouveaux Elémens de Mathématiques pada tahun 1681.

Dalam risalah Carl Friedrich Gauss Disquisitiones Arithmeticae , pernyataan lemma adalah Euclid's Proposition 14 (Bagian 2), yang ia gunakan untuk membuktikan keunikan dekompositio, mengakui keberadaannya sebagai "jelas." Dari keberadaan dan keunikan ini ia kemudian menyimpulkan generalisasi bilangan prima menjadi bilangan bulat. Untuk alasan ini, generalisasi lemma Euklid kadang-kadang disebut sebagai lemma Gauss, tetapi beberapa percaya penggunaan ini salah. karena kebingungan dengan Lemma Gauss pada residu kuadrat.

Bukti menggunakan Lemma Bézout

Pembuktian biasanya melibatkan lemma lain yang disebut identitas Bézout. This states that if Templat:Math dan Templat:Math adalah bilangan bulat prima relatif (yaitu mereka tidak berbagi pembagi umum selain 1 dan -1) ada bilangan bulat Templat:Math dan Templat:Math seperti yang

$rx+sy=1.$

Maka Templat:Math dan Templat:Math menjadi relatif prima, dan asumsikan bahwa Templat:Math. Dengan identitas Bézout, ada Templat:Math dan Templat:Math penyusunan

$rn+sa=1.$

Kalikan kedua sisi dengan Templat:Math:

$rnb+sab=b.$

Suku pertama di kiri habis dibagi Templat:Math, dan suku kedua habis dibagi Templat:Math, yang dengan hipotesis habis dibagi Templat:Math. Oleh karena itu jumlah mereka, Templat:Math, juga habis dibagi Templat:Math. Ini adalah generalisasi dari lemma Euklid yang disebutkan di atas.

Lihat pula

• Identitas Bézout
• Algoritma Euklides
• Teorema dasar aritmetika
• Elemen yang tidak dapat direduksi
• Elemen utama
• Bilangan prima

Pranala luar

• Templat:MathWorld