Teorema Euler: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
RaFaDa20631 (bicara | kontrib) k Moving from Category:Artikel yang berisi bukti to Category:Artikel yang memuat pembuktian using Cat-a-lot |
Fitur saranan suntingan: 2 pranala ditambahkan. Tag: VisualEditor Suntingan perangkat seluler Suntingan peramban seluler Suntingan seluler lanjutan Tugas pengguna baru Disarankan: tambahkan pranala |
||
Baris 34:
=== Teori grup ===
Teorema Euler dapat dibuktikan dengan menggunakan konsep dari [[grup (matematika)|teori grup]]:<ref>Ireland & Rosen, corr. 1 to prop 3.3.2</ref> Kelas residu modulo {{mvar | n}} yang coprime untuk {{mvar | n}} membentuk kelompok dalam perkalian (lihat artikel [[grup perkalian bilangan bulat modulo N|Grup perkalian bilangan bulat modulo {{mvar|''n''}}]]). [[Urutan (teori grup)|urutan]] dari grup adalah {{math|''φ''(''n'')}}. [[Teorema Lagrange (teori grup)|Teorema Lagrange]] urutan [[subgrup]] dari sebuah [[grup hingga]] membagi urutan seluruh grup, dalam hal ini {{math|''φ''(''n'')}}. Jika {{mvar|a}} bilangan [[koprima]] sampai {{mvar|n}} maka {{mvar|a}} salah satu kelas residu, dan pangkat {{math|''a'', ''a''{{sup|2}}, ... , ''a''{{sup|''k''}}}} modulo {{mvar|n}} subgrup dari grup kelas residu, dengan {{math|''a''{{sup|''k''}} ≡ 1 (mod ''n'')}}. Teorema Lagrange mengatakan {{mvar|k}} harus membagi {{math|''φ''(''n'')}}, yaitu bilangan bulat {{mvar|M}} sedemikian rupa sehingga {{math|''kM'' {{=}} ''φ''(''n'')}}. Ini kemudian menyiratkan,
:<math>a^{\varphi(n)} = a^{kM} = (a^{k})^M \equiv 1^M =1 \equiv 1 \pmod{n}.</math>
Baris 199:
== Referensi ==
''[[Disquisitiones Arithmeticae]]'' telah diterjemahkan dari [[bahasa Latin]] Ciceronian Gauss ke dalam [[bahasa Inggris]] dan [[Jerman]]. Edisi Jerman mencakup semua makalahnya tentang teori bilangan: semua bukti tentang ''reciprocity'' kuadrat, penentuan tanda dari jumlah Gauss, penyelidikan tentang ''biquadratic reciprocity'', dan catatan yang tidak diterbitkan.
{{divcol|colwidth=30em}}
{{refbegin}}
|