هم‌نهشتی (نظریه اعداد)

بندانگشتی|250px|چپ|در این ساعت، مقدار زمان به صورت حساب به پیمانه (هم‌نهشتی) ۱۲ نگهداری می‌شود.

نظریۀ **هم‌نهشتی** یا **حساب پیمانه‌ای**  سیستمی برای محاسبه با اعداد صحیح است که به‌وسیله کارل فردریش گاوس در کتاب رسالۀ حساب در سال ۱۸۰۱ معرفی شد.

مفهوم هم‌نهشتی را می‌توان به عنوان پالایشی برای نظریۀ بخش‌پذیری دانست و به‌وسیلۀ آن می‌توان مفاهیم بنیادی را در نظریۀ اعداد مورد مطالعه قرار داد که بدون استفاده از آن، بیان و اثبات بسیاری از مطالب در نظریۀ اعداد دشوار یا غیرممکن خواهد بود. به‌علاوه هم‌نهشتی‌ها می‌توانند خیلی شبیه به معادلات مورد بحث قرار بگیرند و از این رو رابطه‌ای شبیه به تساوی ایجاد خواهند کرد.

به همین دلیل، گاوس نماد \equiv را برای هم‌نهشتی معرفی نمود. یکی از کاربردهای مهم هم‌نهشتی‌ها در حل معادلات سیاله است. مفهوم هم‌نهشتی در موارد بسیاری در زندگی ما مشهود است. یکی از کاربردهای آشنای هم‌نهشتی‌ها در زندگی روزمره، استفاده از ۲۴ ساعت در شبانه روز است. به‌طور کلی هر پدیده‌ای که به‌صورت دوره‌ای رخ می‌دهد، بیانگر کاربردی از هم‌نهشتی است.

## تعریف
* قرار داد: *از این پس حروف* m *و* n *بیانگر اعداد طبیعی و حروف* a, b, c, ...*، بیانگر اعداد صحیح خواهند بود. مگر آنکه خلاف آن صریحاً تصریح شود.*

گوئیم عدد a به پیمانۀ (سنج) m با b هم‌نهشت است و می‌نویسیم:

:a\equiv b\pmod{m} هرگاه m|(a-b)
:به بیان دیگر: a=(k.m)+b     که      k\in \mathbb{Z}

از آنجا که با توجه به این تعریف هر دو عدد طبیعی به پیمانه m = 1 با هم هم‌نهشت می‌باشند، پیمانه را معمولاً عدد طبیعی بزرگ‌تر از یک در نظر می‌گیریم. به‌علاوه برای سهولت در نوشتار، گاهی نماد a\overset{m}{\equiv}b را برای نمایش هم‌نهشتی به پیمانۀ m استفاده می‌کنیم.

اگر a و b به پیمانۀ m هم‌نهشت نباشد، می‌نویسیم: a\not \equiv b \pmod{m}.

به عنوان مثال: 30 \equiv 9 \pmod{7} چرا که 7|30-9 ولی 30\not \equiv 12 \pmod{7}.
وقتی می گوئیم a، m را عاد می‌کند، یعنی: m = ak.

## هم‌نهشتی به عنوان یک رابطه
هم‌نهشتی به پیمانۀ دلخواه m، یک رابطه را روی مجموعۀ اعداد صحیح تعریف می‌کند. این رابطه را به صورت \equiv_{m} نشان می‌دهیم و برای هر دو عدد صحیح a, b به صورت:

:a\equiv_m b\iff m|(a-b)

تعریف می‌کنیم.

با کمی دقت متوجه می‌شویم که این رابطه یک رابطه هم‌ارزی روی مجموعۀ اعداد صحیح است.

;قضیۀ ۱: رابطۀ هم‌نهشتی به پیمانۀ m روی مجموعۀ اعداد صحیح یک رابطۀ هم‌ارزی است.
;برهان ۱:
# برای هر عدد صحیح a داریم m|a-a پس a\equiv_m a ولذا رابطه \equiv_{m} منعکس است.
# برای هر دو عدد صحیح a,b اگر a\equiv_m b آنگاه بنابه تعریف m|a-b پس m|b-a و در نتیجه b\equiv_m a و لذا رابطه \equiv_{m} متقارن است.
# برای هر سه عدد صحیح a,b,c اگر a\equiv_m b و b\equiv_m c آنگاه m|a-b و m|b-c حال با توجه به خواص رابطه عاد کردن می‌توان نوشت m|a-c پس a\equiv_m c و لذا رابطه \equiv_{m} متعدی است.
از ۱و۲و۳ نتیجه می‌شود رابطه \equiv_{m} یک رابطه هم‌ارزی روی اعداد صحیح تعریف می‌کند و برهان تمام است.

حال که رابطه \equiv_{m} یک رابطه هم‌ارزی روی اعداد صحیح تعریف می‌کند، طبیعی است که به دنبال کلاس‌های هم‌ارزی آن باشیم. در این راه به خاصیت جالبی از رابطه \equiv_{m} پی خواهیم برد.

اگر برای هر عدد صحیح a کلاس هم‌ارزی a به پیمانه m را با نماد \bar{a} نشان دهیم، داریم:

:\bar{a}=\{b\in \mathbb{Z}: b\equiv_m a\}

پس

:\bar{a}=\{b\in \mathbb{Z}: m|(b-a)\}

ولذا

:\bar{a}=\{b\in \mathbb{Z}: b-a=mk,k\in \mathbb{Z}\}

در نتیجه

:\bar{a}=\{a+mk:k\in \mathbb{Z}\}

برطبق قوانین حاکم بر کلاس‌های هم‌ارزی برای هر دو عدد صحیح a,b داریم
\bar{a}=\bar{b} اگر و فقط اگر a\equiv_m b

همانند همه روابط هم‌ارزی، رابطه هم‌ارزی \equiv_{m} مجموعه اعداد صحیح را به کلاس‌های هم‌ارزی خود افراز می‌کند.

با کمی دقت در کلاس‌های هم‌ارزی این رابطه به سادگی می‌توان نشان داد که رابطه \equiv_{m} مجموعه اعداد صحیح را به دقیقاً m کلاس هم‌ارزی افراز می‌کند. مجموعه خارج قسمت (مجموعه همه کلاس‌ها هم‌ارزی) رابطه هم‌ارزی به پیمانه \equiv_{m} را با \mathbb{Z}_m نشان می‌دهیم و آن را مجموعه اعداد صحیح به پیمانه m می‌نامیم.

این مجموعه را بنابر مطلب قبل می‌توان به صورت \mathbb{Z}_m=\{\bar{0},\bar{1},\bar{2},... ,\overline{m-1}\} نشان داد.

وضوحاً هر عدد صحیح با یکی از اعضای \mathbb{Z}_m به پیمانه m همنهشت است.

### حلقۀ اعداد صحیح به پیمانه
دیدیم که رابطه همنهشتی به پیمانه m مجموعه اعداد صحیح را به m کلاس هم‌ارزی افراز می‌کند و مجموعه خارج قسمت آن مجموعه اعداد صحیح به پیمانه m است که به صورت زیر تعریف می‌شود:

::\mathbb{Z}_m=\{\bar{0},\bar{1},\bar{2},... ,\overline{m-1}\}

اعمال  روی \mathbb{Z}_m برای هر \bar{a},\bar{b}\in \mathbb{Z}_m به صورت زیر تعریف می‌شود.
* \bar{a}\oplus \bar{b}=\overline{a+b}
* \bar{a}\otimes \bar{b}=\overline{a.b}
به سادگی می‌توان تحقیق نمود که \mathbb{Z}_m به همراه این اعمال تشکیل یک حلقه جابجایی یکدار را می‌دهد. این بحث در هم‌نهشتی‌های جبری بسیار اهمیت دارد.

## خواص همنهشتی‌ها
;قضیۀ ۲: طرفین دو رابطه همنهشتی به یک پیمانه را می‌توان باهم جمع یا در هم ضرب کرد. به عبارت دیگر اگر a\equiv_m b و c\equiv_m d آنگاه:
# a+c\equiv_m b+d
# a.c\equiv_m b.d
;برهان۲:
به عنوان نمونه مورد ۱ را اثبات می‌کنیم. چون بنابه فرض a\equiv_m b پس m|a-b و چون c\equiv_m d

پس m|c-d بنابر خوص رابطه عاد کردن داریم (m|(a-b)+(c-d پس (m|(a+c)-(b+d ولذا a+c\equiv_m b+d

مورد ۲ نیز به طریق مشابه اثبات می‌شود.

قضیه فوق را می‌توان به بیش از دو رابطه همنهشتی نیز تعمیم داد. به عبارت دیگر به سادگی به استقراء ثابت می‌شود اگر برای هر i=1,2,3,.. ,n a_i\equiv_m b_i آنگاه:
* \sum_{i=1}^n a_i\equiv_m \sum_{i=1}^n b_i
* \prod_{i=1}^n a_i\equiv_m \prod_{i=1}^n b_i

;قضیۀ ۳: طرفین یک رابطه همنهشتی را می‌توان در عددی ثابت ضرب کرد. به عبارت دیگر اگر a\equiv_m b و c عددی صحیح ثابتی باشد باشد داریم a.c\equiv_m b.c.

;برهان ۳: چون بنابه فرض a\equiv_m b پس m|a-b ولذا (m|c(a-b در نتیجه m|ac-bc ولذا ac\equiv_m bc

دو قضیه اخیر به خوبی شباهت میان رابطه همنهشتی را با رابطه تساوی را نشان می‌دهد. اما این دو رابطه در برخی موارد دارای تفاوت می‌باشد.

به عنوان مثال می‌دانیم که دو طرف یک رابطه تساوی را می‌توان بر عددی صحیح ناصفر تقسیم نمود. اما آیا این خاصیت در مورد رابطه همنهشتی به پیمانه دلخواه m صادق است؟

قضیه زیر بیان می‌کند در تقسیم طرفین یک رابطه همنهشتی بر یک عامل مشترک طرفین پیمانه دچار تغییر می‌شود.

;قضیۀ ۴: فرض کنید c عددی صحیح ناصفر باشد و (d=(c,m در این صورت اگر

::ac\equiv bc \pmod{m}

آنگاه

::a\equiv b \pmod{\frac{m}{d}}
;برهان ۴: چون ac\equiv bc \pmod{m} پس m|a-b بنابراین

:\frac{m}{d}|(a-b)\frac{c}{d}

اما چون (d=(c,m پس (\frac{m}{d},\frac{c}{d})=1 و در نتیجه بنابر لم اقلیدس \frac{m}{d}|a-b پس

::a\equiv b \pmod{\frac{m}{d}}

پس اگر c عددی صحیح ناصفر باشد که (m,c)=1، اگر ac\equiv bc \pmod{m} آنگاه a\equiv b \pmod{m}

همان‌طور که اشاره شد رابطه نزدیکی میان رابطه همنهشتی و نظریه بخش پذیری وجود دارد. در حقیقت نظریه همنهشتی را می‌توان به عنوان پالایشی برای نظریه بخش پذیری دانست. قضایای زیر به خوبی این رابطه را نشان می‌دهد.

;قضیۀ ۵:اگر r باقی‌مانده تقسیم عدد a بر m باشد آنگاه a\equiv_m r
;برهان ۵:بنابر قضیه تقسیم عدد صحیح q وجود دارد که a=mq+r پس a-r=mq و لذا m|a-r پس a\equiv_m r.

;قضیۀ 6: a\equiv_m b اگر و فقط اگر باقی‌مانده تقسیم a و b بر m برابر باشد.
;برهان ۶:ابتدا فرض می‌کنیم a\equiv_m b و نشان می‌دهیم باقی‌مانده تقسیم a و b بر m برابر است.

چون a\equiv_m b پس m|a-b ولذا به ازای عدد صحیح q داریم(1) a=b+mq. باقی‌مانده تقسیم b بر m را r می‌نامیم. بنابر قضیه تقسیم عدد صحیح k موجود است که (2) b=mk+r.

از (۱) و (۲) داریم

:a=(mk+r)+mq=m(k+q)+r, 0\le r

پس باقی‌ماندۀ تقسیم a بر m برابر r است.

حال فرض می‌کنیم باقی‌ماندۀ تقسیم a و b بر m برابر r باشد. در این‌صورت بنابر الگوریتم تقسیم، اعداد صحیح k و q وجود دارند که: a = mq + r و b = mk + r، پس a - b = m(q - k) و لذا m \mid a - b؛ پس a\equiv_m b.

## دستگاه کامل مانده‌ها به پیمانه
دستگاه‌های کامل مانده‌ها در نظریۀ هم‌نهشتی به ویژه در حل معادلات هم‌نهشتی نقش اساسی دارند. به عبارت دقیق‌تر، در نهایت برای حل یک معادلۀ هم‌نهشتی کافی است جواب‌ها را در میان اعضای یک دستگاه کامل مانده‌ها به پیمانۀ هم‌نهشتی مورد نظر جستجو کنیم.

در تعریف زیر سه شرط را برای دستگاه کامل مانده‌ها به پیمانۀ دلخواه m بیان می‌کنیم. ولی به سادگی می‌توان تحقیق کرد که هر یک از دو شرط زیر دیگری را نتیجه می‌دهد؛ لذا در متون مختلف ممکن است هر یک از این دو شرط را به عنوان تعریف ذکر کنند.

;تعریف: مجموعۀ A از اعداد صحیح را یک دستگاه کامل مانده‌ها (د. ک. م یا دسکم) به پیمانۀ m می‌گوئیم هرگاه واجد شرایط زیر باشد:
# A دارای m-عضو متمایز چون a_1, a_2, a_3, ..., a_m باشد.
# اعضای A دو به دو به پیمانۀ m ناهم‌نهشت باشند.
# هر عدد صحیح با یک و فقط یک عضو A به پیمانۀ m هم‌نهشت باشد.
ساده‌ترین دستگاه کامل مانده‌ها به پیمانۀ m، مجموعۀ A = \{0, 1, 2, 3, ..., m-1\}
است. در حقیقت قضیه زیر را داریم:
;قضیۀ ۷:مجموعۀ A = \{0, 1, 2, 3, ..., m-1\}، یک دستگاه کامل مانده‌ها به پیمانۀ m است.

## دستگاه مخفف مانده‌ها به پیمانه
مجموعۀ A از اعداد صحیح را یک دستگاه مخفف مانده‌ها (د. م. م یا دمم) به پیمانۀ m می‌گوئیم هرگاه واجد شرایط زیر باشد:
# A دارای \phi (m) عضو متمایز باشد؛ که در آن \phi همان تابع فی اویلر است.
# اعضای A نسبت به m اول باشند و دو به دو به پیمانۀ m ناهم‌نهشت باشند.
# هر عدد صحیح که نسبت به پیمانۀ m اول است، با یک و فقط یکی از اعضای A به پیمانۀ m هم‌نهشت باشد.

## جستارهای وابسته
* معادلات هم‌نهشتی
* هم‌نهشتی‌های جبری
* قضیۀ اویلر
* قضیۀ کوچک فرما
* مرتبه
* قضیۀ ویلسون
* قضیۀ باقی‌ماندۀ چینی

## منابع

* 
* 
* 

رده:نظریه اعداد
رده:نظریه گروه‌ها
رده:حساب پیمانه‌ای