המשוואה ax≡b מודולו n יש לה פתרון אם ורק אם d=gcd(a,n) מחלק את b. אם כן, לחלק את a,b,n ב-d כדי לקבל משוואה עם מקדם הפיך. יש לה פתרון שארית אחד מודולו n/d ו-d פתרונות נפרדים מודולו n. חלוקת המקדם אך השארת המודולוס המקורי מאבדת לרוב פתרונות. פירוק לגורמים ראשוניים מספק כלים נוספים: אם n^k חייב להיות מתחלק במכפלת כוחות ראשוניים p^a, כל מערך ראשוני ב-n חייב להיות לפחות ceil(a/k). מערכים מינימליים אלו מייצרים בנפרד את ה-n הקביל החיובי הקטן ביותר. עבור n⁴ המתחלק ב-2⁷·3⁵, n חייב להכיל 2² ו-3², ולכן הערך המינימלי הוא 36. זהו תנאי מערכים ראשוניים, לא התאמה שפתורה בחלוקה מודולרית.
אלגוריתם אוקלידס המורחב מבטא gcd(a,n) כ-ua+vn. כאשר ה-gcd הוא ⟨1⟩, u הוא הפוך של a מוד ↯n. בחר נציג בטווח הנדרש לאחר ההפחתה. עבור ⟨7⟩ ו26, ⟨1⟩=15·7−4·26, ולכן ⟨15⟩ הוא ההפוך של ⟨7⟩ מוד ↯26; בדוק את המכפלה כדי לתפוס שגיאת סימן.
עבור מודולוסים חיוביים קופרימו m,n, משפט שארית הסיני נותן בדיוק פתרון אחד מודולו mn לכל זוג תנאי שאריות. הצבה x=r+mk בהתאמה השנייה ופתרון עבור k. אם המודולוסים אינם קופרימו, ערכי השאריות שלהם חייבים להסכים מודולו gcd(m,n); כאשר הם תואמים, היחידיות היא מודולו המכנה המשותף הקטן, ולא המכפלה.
פונקציית אוילר φ(n) סופרת שאריות קופרימויות ל-n. עבור גורמים ראשוניים נפרדים p, φ(n)=n כפול מכפלת (1−1/p). משפט אוילר נותן a^phi(n)≡1 רק כאשר gcd(a,n)=1. המקרה הראשוני הוא משפט קטן של פרמי. לחלק מערכים רק לאחר בדיקת תנאי זה; שאריה שאינה יחידה יכולה להפוך לאפס בעוצמות חוזרות.