এ ঘড়িতে সময় দেখানোর জন্য মডলার পাটীগণিত ব্যবহৃত হয়েছে, যার মডুলো ১২
মডুলার পাটিগণিত গণিতের একটি শাখা যেখানে পূর্ণসংখ্যা এবং নির্দিষ্ট একটি সংখ্যার পর সংখ্যাগুলো পুনরায় ফিরে আসা নিয়ে আলোচনা করা হয়। এই নির্দিষ্ট সংখ্যাকে বলা হয় মডুলাস (modulus , বহুবচন : moduli)। আধুনিক মডুলার পাটীগণিতের জনক হলেন জার্মান গণিতবিদ কার্ল ফ্রেডরিক গাউস। ১৮০১ সালে এ সম্বন্ধে তার Disquisitiones Arithmeticae বইটি প্রকাশিত হয়।
১২-ঘণ্টা ঘড়িতে মডুলার পাটিগণিত ব্যবহৃত হয়। একদিনকে দুইভাগে ভাগ করে সময় দেখায় এই ঘড়ি। যদি ঘড়িতে এখন ৭:০০ বেজে থাকে তাহলে ৮ ঘণ্টা পর ৩:০০ টা বাজবে। চিরায়িত যোগের নিয়মানুযায়ী এটা ৭ + ৮ = ১৫ হওয়া উচিত ছিল। কিন্তু ১২-ঘণ্টা ঘড়ির সময় অনুযায়ী ১৫ টা বলে কিছু নেই। অর্থাৎ ১২ টার পর পুনরায় ১ তারপর ২, তারপর ৩ ... এভাবে চলবে। তাই ৮ ঘণ্টা পর ৩ টা বাজবে।
মডুলার পাটীগণিত গাণিতিকভাবে প্রকাশের জন্য পূর্ণসংখ্যার কংগ্রুয়েন্স সম্পর্ক নামে নতুন এক সম্পর্ক এমনভাবে সংজ্ঞায়িত করা হয় যেন সেটি পূর্ণসংখ্যার চিরায়িত অপারেশন যোগ,বিয়োগ এবং গুণের সাথে সামঞ্জস্যপূর্ণ হয়। যেকোন ধনাত্মক পূর্ণসংখ্যা n এর জন্য, দুটি পূর্ণসংখ্যা a এবং b কে কংগ্রুয়েন্স মডুলো n বলা হয়, যদি তাদের পার্থক্য a − b , n এর গুণিতক হয় (অর্থাৎ এমন একটি পূর্ণসংখ্যাk থাকবে যেন a − b = kn হয়). গাণিতিকভাবে,
এখানে n কে কংগ্রুয়েন্সের মডুলাস বলা হয়।
কংগ্রুয়েন্স সম্পর্ক নিম্নোক্ত উপায়েও লেখা যায়,
যা কিনা ইউক্লিডীয় বিভাজনের সাথে সরাসরি সম্পর্কিত। যদিও, a কে n দ্বারা ভাগ করলে b ভাগশেষ নাও হতে পারে। আরও ভালোভাবে বললে, a ≡ b mod n এর অর্থ হল a এবং b কে n দ্বারা ভাগ করলে একই ভাগশেষ থাকবে।
যেখানে, 0 ≤ r < n হল সাধারণ ভাগশেষ। এই সমীকরণ দুটি বিয়োগ করে আমরা পূর্বের সম্পর্কটি পাই :
ak ≡ bk (mod n) , যেকোন পূর্ণসংখ্যা k এর জন্য (সূচকের সাথে সামঞ্জস্যপূর্ণ)
p(a) ≡ p(b) (mod n), যেকোন পূর্ণসাংখ্যিক সহগবিশিষ্ট বহুপদীp(x) এর জন্য (বহুপদীর মান নির্ণয়ের সাথে সামঞ্জস্যপূর্ণ)
যদি a ≡ b (mod n) হয়, সাধারণভাবে ka ≡ kb (mod n) সত্য নয়। যদিও,
যদি c ≡ d (mod φ(n)), হয় যেখানে φ হল অয়লারের টোশেন্ট ফাংশন।, তাহলে ac ≡ ad (mod n) হবে, যেখানে a এবং n সহমৌলিক।
উভয়পক্ষ থেকে সাধারণ পদ বাদ দিতে হলে নিম্নোক্ত নিয়ম রয়েছে :
যদি a + k ≡ b + k (mod n) হয়, যেকোন পূর্ণসংখ্যা k জন্যk, তাহলে a ≡ b (mod n)
যদি k a ≡ k b (mod n) এবং k ও n সহমৌলিক হয়, তাহলে a ≡ b (mod n)
সবশেষে, a এর গুণাত্মক বিপরীত (multiplicative inverse) কে a–1 দ্বারা সূচিত করে, আমরা নিম্নোক্ত নিয়মগুলো পাই :
গুণাত্মক বিপরীতের অস্তিত্ব: একটি পূর্ণসংখ্যার অস্তিত্ব থাকবে, যা a–1 দ্বারা সূচিত করা হয়, যেন aa−1 ≡ 1 (mod n) হবে যদি ও কেবল যদি a ও n সহমৌলিক হয়.
যদি a ≡ b (mod n) এবং a–1 এর অস্তিত্ব থাকে, তাহলে a−1 ≡ b−1 (mod n) (গুণাত্মক বিপরীতের সাথে সামঞ্জস্যপূর্ণ)
যদি a x ≡ b (mod n) এবং a ও n সহমৌলিক হয়, তাহলে এই সরলরৈখিক কংগ্রুয়েন্স সম্পর্কের সমাধান হল, x ≡ a−1b (mod n)
যদি p মৌলিক সংখ্যা হয় তাহলে a এর সকল মানের জন্য a এবং p সহমৌলিক হবে যেখানে 0 < a < p. সুতরাং a যদি মডুলো p তে শূন্যের সমতুল্য না হয় তাহলে a এর সকল মানের জন্য একটি গুণাত্মক বিপরীতের অস্তিত্ব থাকবে।
কংগ্রুয়েন্স সম্পর্কের আরও কিছু বিশেষ বৈশিষ্ট্য নিম্নরূপ :
ফার্মার লিটল থিওরেম থেকে পাই, যদি p মৌলিক হয় তাহলে a−1 ≡ ap − 2 (mod p) হল a এর গুণাত্মক বিপরীত যেখানে 0 < a < p. আরও সাধারণভাবে, অয়লারের উপপাদ্য অনুযায়ী, যদি a এবং n সহমৌলিক হয়, তাহলে a−1 ≡ aφ(n) − 1 (mod n).
আরেকটি অনুসিদ্ধান্ত হল, যদি a ≡ b (mod φ(n)), এবং k ও n সহমৌলিক হয়, যেখানে φ হল অয়লার টোশেন্ট ফাংশন]], তাহলে ka ≡ kb (mod n) হবে।
উইলসনের উপপাদ্য (Wilson's theorem): pp মৌলিক সংখ্যা হবে যদি ও কেবল যদি (p − 1)! ≡ −1 (mod p) হয়।
চাইনিজ ভাগশেষ উপপাদ্য (Chinese remainder theorem): যদি x ≡ a (mod m) এবং x ≡ b (mod n) হয় যেন m ও n সহমৌলিক, তাহলে x ≡ b mn−1m + a nm−1n (mod mn) হবে, যেখানে mn−1 হল m এর গুণাত্মক বিপরীত মডুলো n এ এবং nm−1 হল n এর গুণাত্মক বিপরীত মডুলো m এ।
ল্যাগ্রেঞ্জের উপপাদ্য (Lagrange's theorem): f (x) ≡ 0 (mod p), যেখানে p মৌলিক সংখ্যা এবং f (x) = a0xn + ... + an একটি বহুপদী যেন a0 ≠ 0 (mod p), এই কংগ্রুয়েন্স সম্পর্কের সর্বোচ্চ n সংখ্যক মূল থাকতে পারে।
Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein. Introduction to Algorithms, Second Edition. MIT Press and McGraw-Hill, 2001. আইএসবিএন০-২৬২-০৩২৯৩-৭. Section 31.3: Modular arithmetic, pp. 862–868.