Кіріспе
Ауыспалы жай сан, сондай-ақ анаграммалық жай сан деп те аталады, – белгілі бір сан жүйесінде цифрларының орналасуы кез келген түрде өзгертілгенде де жай сан болып қалатын жай сан. Осы сандарды алғаш зерттеген Х.Э. Рихерт оларды ауыспалы жай сандар деп атады, бірақ кейін олар абсолютті жай сандар деп те аталды.
2-ші база
2- негізінде тек репуниттер ғана ауыстырылатын жай сандар бола алады, себебі кез келген 0-ді бірлік разрядына ауыстырғанда жұп сан шығады. Сондықтан, 2-лік санау жүйесіндегі ауыстырылатын жай сандар – Мерсен жай сандары. Кез келген позициялық санау жүйесі үшін, бірден көп таңбасы бар ауыстырылатын жай сандардың таңбалары, санау жүйесінің негізімен өзара жай болуы мүмкін деген қорытынды жасауға болады. Бір таңбалы жай сандар, яғни негізден кіші кез келген жай сан, әрқашан тривиалды түрде ауыстырылатын болады.
Өз бетімен негізделген негіздер
P(b, n, x, y) – b негізіндегі пермутабельді жай сан болсын және p – n ≥ p шартын қанағаттандыратын жай сан болсын. Егер b, p-нің түпнұсқа тамыры болса және p, x-ті немесе |x − y|-ді бөлмесе, онда n, p − 1-дің еселігі болады. (b, p модулі бойынша түпнұсқа тамыр және p, |x − y|-ді бөлмейді, сондықтан p сан xxxx xxxy, xxxx xxyx, xxxx xyxx, ..., xxxx xyxx xxxx (тек bp−2-ші цифры y, ал қалғандары x), xxxx yxxx xxxx (тек bp−1-ші цифры y, ал қалғандары x), xxxx xxxx (n x-тен тұратын қайталанатын сан) p модулі бойынша әртүрлі болады. Яғни, біреуі 0, екіншісі 1, үшіншісі 2, ..., соңғысы p − 1-ге тең. Осылайша, алғашқы p − 1 санның барлығы жай сандар болғандықтан, соңғы сан (n x-тен тұратын қайталанатын сан) p-ға бөлінуі керек. p, x-ті бөлмейтіндіктен, p, n бірліктерден тұратын қайталанатын санды бөлуі керек. b, p модулі бойынша түпнұсқа тамыр болғандықтан, n модулі p бойынша көбейту реті p − 1-ге тең. Осылайша, n, p − 1-ге бөлінуі керек.) Осылайша, егер b = 10 болса, онда 10-ға жақын сандар {1, 3, 7, 9} жиынынан шығады. 10, 7 модулі бойынша түпнұсқа тамыр болғандықтан, егер n ≥ 7 болса, онда 7, x-ті бөледі (осы жағдайда x = 7, өйткені x ∈ {1, 3, 7, 9}) немесе |x − y| (осы жағдайда x = y = 1, өйткені x, y ∈ {1, 3, 7, 9}. Яғни, жай сан бірліктерден тұратын қайталанатын сан) немесе n, 7 − 1 = 6-ға еселі. Сол сияқты, 10, 17 модулі бойынша түпнұсқа тамыр болғандықтан, егер n ≥ 17 болса, онда 17, x-ті бөледі (мүмкін емес, өйткені x ∈ {1, 3, 7, 9}) немесе |x − y| (осы жағдайда x = y = 1, өйткені x, y ∈ {1, 3, 7, 9}. Яғни, жай сан бірліктерден тұратын қайталанатын сан) немесе n, 17 − 1 = 16-ға еселі. Сонымен қатар, 10, 19, 23, 29, 47, 59, 61, 97, 109, 113, 131, 149, 167, 179, 181, 193, ... модулі бойынша түпнұсқа тамыр болады, сондықтан n ≥ 17 болуы өте қиын (өйткені осы жай сандар p үшін, егер n ≥ p болса, онда n, p − 1-ге бөлінеді), ал егер 7 ≤ n < 17 болса, онда x = 7 немесе n, 6-ға бөлінеді (бірден-бір мүмкін n - 12). Егер b = 12 болса, онда 12-ге жақын сандар {1, 5, 7, 11} жиынынан шығады. 12, 5 модулі бойынша түпнұсқа тамыр болғандықтан, егер n ≥ 5 болса, онда 5, x-ті бөледі (осы жағдайда x = 5, өйткені x ∈ {1, 5, 7, 11}) немесе |x − y| (осы жағдайда x = y = 1 (яғни, жай сан бірліктерден тұратын қайталанатын сан) немесе x = 1, y = 11 немесе x = 11, y = 1, өйткені x, y ∈ {1, 5, 7, 11}.) немесе n, 5 − 1 = 4-ке еселі. Сол сияқты, 12, 7 модулі бойынша түпнұсқа тамыр болғандықтан, егер n ≥ 7 болса, онда 7, x-ті бөледі (осы жағдайда x = 7, өйткені x ∈ {1, 5, 7, 11}) немесе |x − y| (осы жағдайда x = y = 1, өйткені x, y ∈ {1, 5, 7, 11}. Яғни, жай сан бірліктерден тұратын қайталанатын сан) немесе n, 7 − 1 = 6-ға еселі. Сол сияқты, 12, 17 модулі бойынша түпнұсқа тамыр болғандықтан, егер n ≥ 17 болса, онда 17, x-ті бөледі (мүмкін емес, өйткені x ∈ {1, 5, 7, 11}) немесе |x − y| (осы жағдайда x = y = 1, өйткені x, y ∈ {1, 5, 7, 11}. Яғни, жай сан бірліктерден тұратын қайталанатын сан) немесе n, 17 − 1 = 16-ға еселі. Сонымен қатар, 12, 31, 41, 43, 53, 67, 101, 103, 113, 127, 137, 139, 149, 151, 163, 173, 197 ... модулі бойынша түпнұсқа тамыр болады, сондықтан n ≥ 17 болуы өте қиын (өйткені осы жай сандар p үшін, егер n ≥ p болса, онда n, p − 1-ге бөлінеді), ал егер 7 ≤ n < 17 болса, онда x = 7 (осы жағдайда, 5, x-ті немесе x − y-ді бөлмейтіндіктен, n, 4-ке бөлінуі керек) немесе n, 6-ға бөлінеді (бірден-бір мүмкін n - 12).