Aritmetik Modular

Dalam matematik, aritmetik modular (kadang-kadang dipanggil jam aritmetik)

adalah sebuah sistem aritmetik integer, di mana nombor "balut sekitar"
selepas mereka mencapai nilai tertentu modulus.

Matematik Swiss Leonhard Euler merintis pendekatan moden untuk

kesesuaian dalam kira-kira 1750, apabila beliau dengan jelas
memperkenalkan idea kekongruenan modulo nombor satu N. [rujukan?]

Aritmetik Modular adalah lanjutan oleh Carl Friedrich Gauss dalam

Disquisitiones Arithmeticae bukunya yang diterbitkan pada tahun 1801.
Penjaga masa pada jam ini menggunakan aritmetik modulo 12.

Penggunaan biasa aritmetik modular dalam jam 12-jam, di mana hari itu
dibahagikan kepada dua tempoh 12 jam. Jika masa 7:00 kini, maka 8 jam
kemudian, ia akan 03:00. Selain itu biasa akan mencadangkan bahawa masa
kemudian harus 7 + 8 = 15, tetapi ini bukanlah jawapannya kerana masa jam
"wrap keliling" setiap 12 jam dalam masa 12 jam, tidak ada "15 jam". Begitu
juga, jika jam bermula pada 12:00 (tengah hari) dan 21 jam berlalu, maka
masa akan 9:00 keesokan harinya, dan bukannya 33:00. Sejak beberapa jam
bermula selepas ia mencapai 12, ini adalah aritmetik modulo 12. 12 adalah
kongruen bukan sahaja ke 12 itu sendiri, tetapi juga kepada 0, jadi masa yang
dipanggil "12:00" juga boleh dipanggil "0:00", sejak 12 0 mod 12.

Aritmetik Modular boleh dikendalikan dengan matematik dengan

memperkenalkan hubungan kekongruenan integer yang bersesuaian dengan
operasi cincin integer: Selain itu, penolakan dan pendaraban. Bagi n integer
positif, dua integer a dan b dikatakan kongruen modulo n, ditulis:

a \ equiv b \ pmod n, \,

jika perbezaan mereka - b adalah gandaan integer daripada n. N nombor

dipanggil modulus kesesuaian itu.

Sebagai contoh,

38 \ equiv 14 \ pmod {12} \,

kerana 38 - 14 = 24, yang merupakan gandaan 12.

Bagi n positif dan kesesuaian bukan negatif a dan b, a dan b juga boleh
dianggap sebagai menegaskan bahawa kedua-dua nombor mempunyai baki
yang sama selepas membahagikan oleh n. modulus Jadi,

38 \ equiv 2 \ pmod {12} \,

kerana kedua-dua nombor, apabila dibahagikan dengan 12, mempunyai baki

yang sama (2). Dari definisi terlebih dahulu, kita juga melihat bahawa
perbezaan mereka, - b = 36, nombor bulat (integer) gandaan 12 (n = 12,
36/12 = 3).

Peraturan yang sama memegang nilai-nilai negatif:

-8 \ Equiv 7 \ pmod 5. \,
2 \ equiv -3 \ pmod 5. \,
-3 \ Equiv -8 \ pmod 5. \,

Kata-kata pada tatatanda: Kerana ia adalah perkara biasa untuk

mempertimbangkan hubungan kekongruenan beberapa modulus yang
berlainan pada masa yang sama, modulus diperbadankan dalam notasi.
Walaupun tatatanda pertigaan, berhubung kesesuaian untuk modulus yang
diberikan adalah binari. Ini akan lebih jelas jika suatu catatan nb telah
digunakan, bukan notasi tradisional bersama.

Ciri-ciri yang membuat ini berhubung berhubung kesesuaian (Selain

menghormati, tolak, dan darab) adalah seperti berikut.

Jika

a_1 \ equiv b_1 \ pmod n

dan

a_2 \ equiv b_2 \ pmod n,

kemudian:

a_1 + a_2 \ equiv b_1 + b_2 \ pmod n \,

a_1 - a_2 \ equiv b_1 - b_2 \ pmod n \,

Harus diperhatikan bahawa dua sifat di atas masih akan mengadakan jika
teori ini telah diperluas untuk merangkumi semua nombor nyata, yang jika
a_1, a_2, b_1, b_2, n \, tidak semestinya semua integer. Harta akan datang,
bagaimanapun, akan gagal jika pembolehubah ini tidak semua integer:

a_1 a_2 \ equiv b_1 b_2 \ pmod n. \,

[Sunting] Lingkaran kelas kesesuaian

Seperti mana-mana berhubung kesesuaian, kesesuaian modulo n berhubung

kesetaraan, dan kelas kesetaraan suatu integer, yang diwakili oleh \ overline
{a} _n, set \ kiri \ {\ ldots - 2n - n, n + a + 2n, \ ldots \ hak \}. Set ini, yang terdiri
daripada integer kongruen dengan n modulo, dipanggil kelas kesesuaian
kelas atau sisa-sisa n. modulo Satu lagi notasi untuk kelas kesesuaian ini,
yang menghendaki bahawa dalam konteks modulus dikenali, \ displaystyle
[a].

Set kelas kesesuaian modulo n ditandakan sebagai \ mathbb {Z} / n \ mathbb

{Z} (atau, sebagai alternatif, \ mathbb {Z} / n atau \ mathbb {Z} _n) dan
ditakrifkan oleh:

\ Mathbb {Z} / n \ mathbb {Z} = \ kiri \ {\ overline {a} _n | a \ dalam \ mathbb

{Z} \ hak \}.

Apabila n 0, \ mathbb {Z} / n \ mathbb {Z} telah n elemen-elemen, dan boleh

ditulis sebagai:

\ Mathbb {Z} / n \ mathbb {Z} = \ kiri \ {\ overline {0} _n, \ overline {1} _n, \
overline {2} _n, \ ldots, \ overline {n-1} _n \ hak \}.

Apabila n = 0, \ mathbb {Z} / n \ mathbb {Z} tidak mempunyai sifar unsur-

unsur, sebaliknya, ia adalah isomorfik \ mathbb {Z}, sejak \ overline {a} _0 = \
kiri \ {a \ kanan \}.

Kita boleh menentukan Selain itu, tolak, dan darab pada \ mathbb {Z} / n \
mathbb {Z} oleh kaedah-kaedah yang berikut:

\ Overline {a} _n + \ overline {b} _n = \ overline {(a + b)} _n

\ Overline {a} _n - \ overline {b} _n = \ overline {(a - b)} _n
\ Overline {a} _n \ overline {b} _n = \ overline {(ab)} _n.

Pengesahan bahawa ini adalah definisi yang sesuai menggunakan sifat-sifat

yang diberikan sebelum.

Dengan cara ini, \ mathbb {Z} / n \ mathbb {Z} menjadi cincin Ganti. Sebagai
contoh, di gelanggang \ mathbb {Z} / 24 \ mathbb {Z}, kita telah

\ Overline {12} _ {24} + \ overline {21} _ {24} = \ overline {9} _ {24}

seperti dalam aritmetik untuk jam 24-jam.

Tatatanda \ mathbb {Z} / n \ mathbb {Z} digunakan, kerana ia adalah faktor

cincin \ mathbb {Z} n ideal \ mathbb {Z} mengandungi semua integer dibahagi
dengan n, di mana 0 \ mathbb { Z} set tunggal \ kiri \ {0 \ hak \}. Oleh itu, \
mathbb {Z} / n \ mathbb {Z} adalah satu bidang apabila n \ mathbb {Z} ideal
maksimal, yang, apabila n adalah Perdana.

Dari segi kumpulan, kelas residu \ overline {a} _n adalah coset dalam
kumpulan hasil bahagi \ mathbb {Z} / n \ mathbb {Z}, kumpulan kitaran. [1]

Menetapkan \ mathbb {Z} / n \ mathbb {Z} mempunyai beberapa sifat-sifat

penting matematik yang asas kepada pelbagai cabang matematik.

Bukannya tidak termasuk kes khas n = 0, adalah lebih berguna untuk

memasukkan \ mathbb {Z} / 0 \ mathbb {Z} (yang, seperti yang disebutkan
sebelum ini, adalah isomorfik cincin \ mathbb {Z} integer), untuk contoh
apabila membincangkan ciri-ciri cincin.
[Sunting] baki
Tanggapan aritmetik modular yang berkaitan dengan baki di bahagian.
Operasi mencari selebihnya kadang-kadang dirujuk sebagai operasi modulo
dan kita boleh melihat 2 = 14 (mod 12). Perbezaan dalam penggunaan
congruency, yang ditunjukkan oleh "", dan kesaksamaan yang dinyatakan
oleh "=". Kesaksamaan membayangkan khusus "sisa-sisa biasa", ahli-
kurangnya bukan negatif kelas 1 kesetaraan. Apabila bekerja dengan
aritmetik modular, setiap kelas kesetaraan biasanya diwakili oleh sisa-sisa
biasa, bagi 38 contoh 2 (mod 12) yang boleh didapati menggunakan
pembahagian panjang. Ia mengikuti bahawa, sementara ia adalah betul untuk
mengatakan 38 14 (mod 12), dan 2 14 (mod 12), ia adalah tidak betul
untuk mengatakan 38 = 14 (mod 12) ("=" dan bukannya "") .

Perbezaan yang paling jelas apabila membahagikan nombor negatif, kerana

dalam hal itu, baki negatif. Oleh itu untuk menyatakan yang selebihnya kita
akan menulis -5 -17 (mod 12), sebaliknya daripada 7 = -17 (mod 12), sejak
kesetaraan hanya boleh berkata sisa-sisa bersama-sama dengan tanda yang
sama.

Dalam sains komputer, ia adalah pengendali baki yang biasanya ditunjukkan

oleh "%" sama ada (contohnya di C, Java, Javascript, Perl dan Python) atau
"mod" (contohnya dalam BASIC, SQL, Haskell), dengan pengecualian
(contohnya Excel ). Operator biasanya disebut sebagai "arena", tetapi ia
adalah khusus baki yang dikira (sejak dalam C99 nombor negatif akan
dikembalikan jika hujah pertama adalah negatif, dan dalam Python nombor
negatif akan dikembalikan jika hujah kedua adalah negatif ). Fungsi modulo
bukan arena, seperti 38 14 (modulo 12) kadang-kadang digunakan untuk
menunjukkan baki biasa dan bukannya baki (contohnya dalam Ruby).

Kurungan kadang-kadang menurun daripada ungkapan, contohnya 38 14

arena 12 atau 2 = 14 mod 12, atau diletakkan di sekitar contohnya pembahagi
38 14 arena (12). Notasi seperti 38 (mod 12) juga telah dipelihara, tetapi
samar-samar tanpa penjelasan konteks.
[Sunting] Fungsi perwakilan operasi baki

Operasi selebihnya boleh diwakili menggunakan fungsi lantai. Jika b (mod

n), di mana n> 0, maka jika b selebihnya dikira

b = a - \ kiri \ lfloor \ frac {a} {n} \ hak \ rfloor \ n kali,

di mana \ kiri \ lfloor \ frac {a} {n} \ hak \ rfloor \, integer terbesar kurang
daripada atau sama dengan \ frac {a} {n}, kemudian

\ Mula {array} {LCL} a \ equiv b \ pmod n \ teks {dan} \ \ 0 \ le b <n. \ Akhir

{array}

Jika sebaliknya b baki dalam pelbagai-n b <0 diperlukan, maka

b = a - \ kiri \ lfloor \ frac {a} {n} \ hak \ rfloor \ n kali - n.

[Sunting] Aplikasi
Aritmetik Modular dirujuk dalam teori nombor, teori kumpulan, teori cincin,
teori simpulan, algebra abstrak, kriptografi, sains komputer, kimia dan seni
visual dan muzik.

Ia adalah salah satu daripada asas-asas teori nombor, menyentuh hampir

semua aspek kajian, dan menyediakan contoh-contoh utama bagi teori
kumpulan, teori cincin dan algebra abstrak.

Aritmetik Modular sering digunakan untuk mengira checksums yang

digunakan dalam pengecam - Nombor Akaun Bank Antarabangsa (Iban)
sebagai contoh menggunakan modulo 97 aritmetik untuk memerangkap
kesilapan input pengguna dalam nombor akaun bank.

Dalam kriptografi, aritmetik modular terus menyokong sistem kunci awam

seperti RSA dan Diffie-Hellman, serta menyediakan bidang terhingga yang
menjadi asas lengkung elips, dan digunakan dalam pelbagai algoritma simetri
utama termasuk AES, IDEA, dan RC4.

Dalam sains komputer, aritmetik modular sering digunakan dalam operasi

Bitwise dan operasi lain yang melibatkan tetap lebar, kitar struktur data.
Operasi modulo, seperti yang dilaksanakan dalam bahasa pengaturcaraan
dan banyak kalkulator, permohonan aritmetik modular yang sering digunakan
dalam konteks ini. XOR adalah sebanyak 2 bit, modulo 2.

Dalam bidang kimia, digit terakhir nombor registry CAS (nombor yang unik
bagi setiap sebatian kimia) check digit, yang dikira dengan mengambil digit
terakhir daripada dua bahagian pertama bilangan registry CAS times 1,
seterusnya angka times 2, masa akan datang angka 3 dan sebagainya,
sambil menambah sehingga semua ini dan mengira jumlah wang modulo 10.

Dalam muzik, aritmetik modulo 12 digunakan dalam pertimbangan sistem dua

belas-nada perangai yang sama, di mana Jacinto oktaf dan enharmonic
berlaku (iaitu, padang dalam nisbah 01:02 atau 02:01 adalah sama, dan C-
tajam dianggap sama seperti D-flat).

Kaedah pemutus keluar nines menawarkan pemeriksaan yang cepat

pengiraan aritmetik perpuluhan yang dilakukan dengan tangan. Ia adalah
berdasarkan aritmetik modular modulo 9, dan khususnya ke atas harta
penting yang 10 1 (mod 9).

Aritmetik modulo 7 adalah sangat penting dalam menentukan hari minggu

dalam kalendar Gregorian. Khususnya, kekongruenan Zeller dan algoritma
kiamat menggunakan berat aritmetik modulo-7.

Lebih amnya, aritmetik modular juga mempunyai aplikasi dalam bidang-

bidang seperti undang-undang (lihat misalnya, pembahagian), ekonomi, (lihat
misalnya, teori permainan) dan bidang-bidang lain sains sosial, di mana
bahagian berkadar dan peruntukan sumber yang memainkan bahagian
tengah analisis.
[Sunting] kekompleksan pengiraan

Sejak aritmetik modular mempunyai pelbagai aplikasi, ia adalah penting untuk

mengetahui betapa sukarnya untuk menyelesaikan sistem congruences.
Sistem linear congruences boleh diselesaikan dalam masa polinomial dengan
bentuk penghapusan Gauss, untuk maklumat lihat teorem kekongruenan
linear. Algoritma, seperti pengurangan Montgomery, juga wujud bagi
membolehkan operasi aritmetik yang mudah, seperti pendaraban dan
exponentiation modulo n, hendaklah dilaksanakan dengan cekap pada jumlah
yang besar.

Menyelesaikan sistem persamaan linear bukan aritmetik modular NP-lengkap.

http://en.wikipedia.org/wiki/Modular_arithmetic