Aritmetika modular: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
k perubahan istilah dan pranala: "teori koding" menjadi "teori kode"; kata "koding" menjadi "penkodean" |
melakukan perbaikan gaya bahasa pada →Kekongruenan bilangan bulat: dan menambahkan bagian →Perkembangan teoritis: didasarkan pada konten Wikipedia bahasa Perancis fr:Arithmétique_modulaire. |
||
Baris 61:
=== Kekongruenan bilangan bulat ===
{{See also|operasi modulus}}
Penerapan aritmetika modular tertua ada pada [[bilangan bulat]]. Setelah menetapkan sebuah bilangan bulat
▲Modulo kekongruenan {{mvar | n}} adalah [[relasi kekongruenan]], artinya ini adalah [[relasi ekuivalensi]] yang kompatibel dengan operasi [[penambahan]], [[pengurangan]], dan [[perkalian]]. Modulo kekongruenan {{mvar | n}} dilambangkan:
:<math>a \equiv b \pmod n.</math>
Tanda kurung
Hubungan kekongruenan dapat ditulis ulang sebagai
:<math>a = kn + b,</math>
yang secara eksplisit menunjukkan hubungannya dengan [[pembagian Euklides]]. Namun,
:<math>a = pn + r,</math>
:<math>b = qn + r,</math>
:<math>38 \equiv 14 \pmod {12}</math>
karena {{math | 38 - 14 {{=}} 24}}, yang merupakan kelipatan 12. Cara lain untuk menyatakannya adalah dengan mengatakan bahwa 38 dan 14 memiliki sisa
Definisi kekongruenan juga berlaku untuk nilai negatif. Sebagai contoh:
Baris 94 ⟶ 90:
\end{align}</math>
====
Himpunan dari semua [[Modular aritmatika#Kelas kesesuaian|kelas kekongruenan]] dari bilangan bulat untuk modulus {{math | '' n ''}} disebut '''gelanggang bilangan bulat modulo {{math |''n''}} ''',<ref>Ini adalah [[Gelanggang (matematika)|gelanggang]], ditunjukkan di bawah.</ref> dan dilambangkan <math display="inline">\mathbb{Z}/n\mathbb{Z}</math>, <math>\mathbb{Z}/n</math>, atau <math>\mathbb{Z}_n</math>.<ref name=":0" /><ref>{{Cite web|date=2013-11-16|title=2.3: Integers Modulo n|url=https://math.libretexts.org/Bookshelves/Abstract_and_Geometric_Algebra/Book%3A_Introduction_to_Algebraic_Structures_(Denton)/02%3A_Groups_I/2.03%3A_Integers_Modulo_n|website=Mathematics LibreTexts|language=en|access-date=2020-08-12}}</ref> Notasi <math>\mathbb{Z}_n</math> adalah, bagaimanapun, tidak disarankan karena bisa disalahartikan dengan himpunan [[P-adik#Pendekatan Aljabar|bilangan bulat adic-{{math | '' n ''}}]]. Gelanggang <math>\mathbb{Z}/n\mathbb{Z}</math> adalah fundamental untuk berbagai cabang matematika (lihat {{section link|#Aplikasi}} di bawah).
Baris 118 ⟶ 114:
=== Kelas kekongruenan ===
Seperti relasi
=== Sistem residu ===
Setiap kelas residu modulo {{math | '' n ''}} dapat diwakili oleh salah satu anggotanya, meskipun biasanya mewakili setiap kelas residu dengan bilangan bulat nonnegatif terkecil yang termasuk dalam kelas<ref>{{Cite web|last=Weisstein|first=Eric W.|title=Modular Arithmetic|url=https://mathworld.wolfram.com/ModularArithmetic.html
Himpunan bilangan bulat {{math|{0, 1, 2, …, ''n'' − 1}}} disebut '''modulo sistem residu terkecil {{math |' 'n' '}}'''. Setiap rangkaian bilangan bulat {{math | '' n ''}}, tidak ada dua yang kongruen modulo {{math | '' n ''}}, disebut '''modulo sistem residu lengkap {{math |' 'n' '}}'''.
Baris 139 ⟶ 135:
*{5, 15}, karena modulo 4 sistem residu lengkap harus memiliki tepat 4 kelas residu yang tidak selaras.<!-- Contoh ini digunakan dalam sub-bagian berikut jadi jangan mengubahnya. -->
==== Sistem residu berkurang ====
{{Main|Mengurangi sistem residu}}
[[Fungsi total Euler]] {{math|φ(''n'')}}, himpunan dari {{math|φ(''n'')}} bilangan bulat yang [[Coprime integers|relative prime]] menjadi {{math | '' n ''}} dan saling tidak selaras di bawah modulus {{math | '' n ''}} disebut '''modulo sistem residu tereduksi {{matematika | '' n ''}}'''.<ref>{{harvtxt|Long|1972|p=85}}</ref> Himpunan {5,15} dari atas, misalnya, adalah turunan dari modulo 4 sistem residu tereduksi.
== Perkembangan teoritis ==
Dalam matematika, umum dijumpai sebuah konsep matematika yang dikembangkan dalam sebuah bidang, digunakan ulang pada bidang-bidang lain. Hal yang sama juga berlaku untuk aritmetika modular, yang membantu banyak bidang [[matematika murni]], seperti [[aljabar]] dan [[teori Galois]]. Namun, perkembangan-perkembangan berikut tidak dianggapkan sebagai kasus khusus dari aritmetika modular, karena digunakan bersama konsep-konsep lainnya.
=== Struktur hasil bagi ===
{{Main|relasi ekuivalensi}}
Dalam matematika modern, aritmetika modular diformalkan dengan menggunakan konsep ''Euclidean ring''. Konsep [[relasi ekuivalensi]] memungkinkan aritmetika modular diterapkan ke banyak [[struktur aljabar]]. Sebagai contoh, [[Grup hasil bagi|hasil bagi]] sebuah [[Grup (matematika)|grup]] dengan sebuah [[subgrup normal]], dengan menggunakan [[teorema Jordan-Holder]], adalah alat dasar untuk mengklasifikasikan [[grup hingga]]. Grup hasil bagi juga digunakan dalam [[topologi aljabar]] untuk mengelompokkan [[Lipatan (matematika)|lipatan]].
== Sifat kekongruenan bilangan bulat ==
{{See also|Relasi kekongruenan|Operasi modulus}}
|