Автоморфный номер - Automorphic number

В математика, автоморфный номер (иногда называемый круговой номер) это натуральное число в данном база чисел ${ displaystyle b}$ чей квадрат "оканчивается" теми же цифрами, что и само число.

Определение и свойства

Учитывая числовую базу ${ displaystyle b}$ , натуральное число ${ displaystyle n}$ с ${ displaystyle k}$ цифры - это автоморфный номер если ${ displaystyle n}$ это фиксированная точка полиномиальной функции ${ Displaystyle е (х) = х ^ {2}}$ над ${ Displaystyle mathbb {Z} / Ь ^ {к} mathbb {Z}}$ , то звенеть из целые числа по модулю ${ displaystyle b ^ {k}}$ . Поскольку обратный предел из ${ Displaystyle mathbb {Z} / Ь ^ {к} mathbb {Z}}$ является ${ displaystyle mathbb {Z} _ {b}}$ , кольцо ${ displaystyle b}$ -адические целые числа, автоморфные числа используются для нахождения числовых представлений неподвижных точек ${ Displaystyle е (х) = х ^ {2}}$ над ${ displaystyle mathbb {Z} _ {b}}$ .

Например, с ${ displaystyle b = 10}$ , имеется четыре 10-адических неподвижных точки ${ Displaystyle е (х) = х ^ {2}}$ , последние 10 цифр которых не соответствуют

{ displaystyle ldots 0000000000}

{ displaystyle ldots 0000000001}

{ displaystyle ldots 8212890625}

(последовательность A018247 в OEIS )

{ displaystyle ldots 1787109376}

(последовательность A018248 в OEIS )

Таким образом, автоморфные числа в база 10 следующие: 0, 1, 5, 6, 25, 76, 376, 625, 9376, 90625, 109376, 890625, 2890625, 7109376, 12890625, 87109376, 212890625, 787109376, 1787109376, 8212890625, 1821289010376, 40018876256258178176259 , 59918212890625, ... (последовательность A003226 в OEIS ).

Фиксированная точка ${ displaystyle f (x)}$ это ноль функции ${ Displaystyle г (х) = е (х) -x}$ . в звенеть из целые числа по модулю ${ displaystyle b}$ , Существуют ${ displaystyle 2 ^ { omega (b)}}$ нули к ${ Displaystyle г (х) = х ^ {2} -x}$ , где основная функция омега ${ displaystyle omega (b)}$ это количество различных простых делителей в ${ displaystyle b}$ . Элемент ${ displaystyle x}$ в ${ Displaystyle mathbb {Z} / б mathbb {Z}}$ это ноль ${ Displaystyle г (х) = х ^ {2} -x}$ если и только если ${ Displaystyle х эквив 0 { bmod {p}} ^ {v_ {p} (b)}}$ или же ${ Displaystyle х эквив 1 { bmod {p}} ^ {v_ {p} (b)}}$ для всех ${ displaystyle p | x}$ . Поскольку есть два возможных значения в ${ Displaystyle lbrace 0,1 rbrace}$ , и здесь ${ displaystyle omega (b)}$ такой ${ displaystyle p | x}$ , Существуют ${ displaystyle 2 ^ { omega (b)}}$ нули ${ Displaystyle г (х) = х ^ {2} -x}$ , и, таким образом, есть ${ displaystyle 2 ^ { omega (b)}}$ фиксированные точки ${ Displaystyle е (х) = х ^ {2}}$ . В соответствии с Лемма Гензеля, если есть ${ displaystyle k}$ нули или неподвижные точки полиномиальной функции по модулю ${ displaystyle b}$ , то есть ${ displaystyle k}$ соответствующие нули или неподвижные точки одной и той же функции по модулю любой степени ${ displaystyle b}$ , и это остается верным в обратный предел. Таким образом, в любой данной базе ${ displaystyle b}$ Существуют ${ displaystyle 2 ^ { omega (b)}}$ ${ displaystyle b}$ -адические неподвижные точки ${ Displaystyle е (х) = х ^ {2}}$ .

Поскольку 0 всегда делитель нуля, 0 и 1 всегда являются неподвижными точками ${ Displaystyle е (х) = х ^ {2}}$ , а 0 и 1 - автоморфные числа в каждой базе. Эти решения называются тривиальные автоморфные числа. Если ${ displaystyle b}$ это основная сила, то кольцо ${ displaystyle b}$ -адические числа не имеет делители нуля кроме 0, поэтому единственные неподвижные точки ${ Displaystyle е (х) = х ^ {2}}$ равны 0 и 1. В результате нетривиальные автоморфные числа, отличные от 0 и 1, существуют только тогда, когда основание ${ displaystyle b}$ имеет по крайней мере два различных простых фактора.

Автоморфные числа в базе ${ displaystyle b}$

Все ${ displaystyle b}$ -адические числа представлены в базе ${ displaystyle b}$ , используя A-Z для представления цифровых значений от 10 до 35.

${ displaystyle b}$	Основные факторы ${ displaystyle b}$	Фиксированные точки в ${ Displaystyle mathbb {Z} / б mathbb {Z}}$ из ${ Displaystyle е (х) = х ^ {2}}$	${ displaystyle b}$ -адические неподвижные точки ${ Displaystyle е (х) = х ^ {2}}$	Автоморфные числа в базе ${ displaystyle b}$
6	2, 3	0, 1, 3, 4	${ displaystyle ldots 0000000000}$ ${ displaystyle ldots 0000000001}$ ${ displaystyle ldots 2221350213}$ ${ displaystyle ldots 3334205344}$	0, 1, 3, 4, 13, 44, 213, 344, 5344, 50213, 205344, 350213, 1350213, 4205344, 21350213, 34205344, 221350213, 334205344, 2221350213, 3334205344, ...
10	2, 5	0, 1, 5, 6	${ displaystyle ldots 0000000000}$ ${ displaystyle ldots 0000000001}$ ${ displaystyle ldots 8212890625}$ ${ displaystyle ldots 1787109376}$	0, 1, 5, 6, 25, 76, 376, 625, 9376, 90625, 109376, 890625, 2890625, 7109376, 12890625, 87109376, 212890625, 787109376, 1787109376, 8212890625, ...
12	2, 3	0, 1, 4, 9	${ displaystyle ldots 0000000000}$ ${ displaystyle ldots 0000000001}$ ${ displaystyle ldots 21 { text {B}} 61 { text {B}} 3854}$ ${ displaystyle ldots 9 { text {A}} 05 { text {A}} 08369}$	0, 1, 4, 9, 54, 69, 369, 854, 3854, 8369, B3854, 1B3854, A08369, 5A08369, 61B3854, B61B3854, 1B61B3854, A05A08369, 21B61B3854, 9A05A08369, ...
14	2, 7	0, 1, 7, 8	${ displaystyle ldots 0000000000}$ ${ displaystyle ldots 0000000001}$ ${ displaystyle ldots 7337 { text {A}} { text {A}} 0 { text {C}} 37}$ ${ displaystyle ldots 6 { text {A}} { text {A}} 633 { text {D}} 1 { text {A}} 8}$	0, 1, 7, 8, 37, A8, 1A8, C37, D1A8, 3D1A8, A0C37, 33D1A8, AA0C37, 633D1A8, 7AA0C37, 37AA0C37, A633D1A8, 337AA0C37, AA633D1A8, 6A833D
15	3, 5	0, 1, 6, 10	${ displaystyle ldots 0000000000}$ ${ displaystyle ldots 0000000001}$ ${ displaystyle ldots 624 { text {D}} 4 { text {B}} { text {D}} { text {A}} 86}$ ${ displaystyle ldots 8 { text {C}} { text {A}} 1 { text {A}} 3146 { text {A}}}$	0, 1, 6, A, 6A, 86, 46A, A86, 146A, DA86, 3146A, BDA86, 4BDA86, A3146A, 1A3146A, D4BDA86, 4D4BDA86, A1A3146A, 24D4BDA86, CA1A3146A, 624D4BDA86, 8CA6A3 ...
18	2, 3	0, 1, 9, 10	...000000 ...000001 ... 4E1249 ... D3GFDA
20	2, 5	0, 1, 5, 16	...000000 ...000001 ... 1AB6B5 ... I98D8G
21	3, 7	0, 1, 7, 15	...000000 ...000001 ... 86H7G7 ... CE3D4F
22	2, 11	0, 1, 11, 12	...000000 ...000001 ... 8D185B ... D8KDGC
24	2, 3	0, 1, 9, 16	...000000 ...000001 ... E4D0L9 ... 9JAN2G
26	2, 13	0, 1, 13, 14	...0000 ...0001 ... 1G6D ... O9JE
28	2, 7	0, 1, 8, 21	...0000 ...0001 ... AAQ8 ... HH1L
30	2, 3, 5	0, 1, 6, 10, 15, 16, 21, 25	...0000 ...0001 ... B2J6 ... H13A ... 1Q7F ... S3MG ... CSQL ... IRAP
33	3, 11	0, 1, 12, 22	...0000 ...0001 ... 1 тыс. ... VC7C
34	2, 17	0, 1, 17, 18	...0000 ...0001 ... 248ч ... VTPI
35	5, 7	0, 1, 15, 21	...0000 ...0001 ... 5MXL ... TC1F
36	2, 3	0, 1, 9, 28	...0000 ...0001 ... DN29 ... MCXS

Расширения

Автоморфные числа могут быть расширены до любой такой полиномиальной функции степени ${ displaystyle n}$ ${ Displaystyle е (х) = сумма _ {я = 0} ^ {п} а_ {я} х ^ {я}}$ с b-адическими коэффициентами ${ displaystyle a_ {i}}$ . Эти обобщенные автоморфные числа образуют дерево.

${ displaystyle a}$ -автоморфные номера

An ${ displaystyle a}$ -автоморфный номер возникает, когда полиномиальная функция ${ displaystyle f (x) = ax ^ {2}}$

Например, с ${ displaystyle b = 10}$ и ${ displaystyle a = 2}$ , так как есть две неподвижные точки для ${ displaystyle f (x) = 2x ^ {2}}$ в ${ Displaystyle mathbb {Z} / 10 mathbb {Z}}$ ( ${ displaystyle x = 0}$ и ${ displaystyle x = 8}$ ), в соответствии с Лемма Гензеля есть две 10-адические неподвижные точки для ${ displaystyle f (x) = 2x ^ {2}}$ ,

{ displaystyle ldots 0000000000}

{ displaystyle ldots 0893554688}

так что 2-автоморфные числа в база 10 это 0, 8, 88, 688, 4688 ...

Триморфные числа

А триморфное число или же сферическое число возникает, когда полиномиальная функция ${ Displaystyle е (х) = х ^ {3}}$ .^[1] Все автоморфные номера триморфны. Условия круговой и сферический раньше использовались для немного другого случая числа, все степени которого имеют ту же последнюю цифру, что и само число.^[2]

Для базы ${ displaystyle b = 10}$ , триморфными числами являются:

0, 1, 4, 5, 6, 9, 24, 25, 49, 51, 75, 76, 99, 125, 249, 251, 375, 376, 499, 501, 624, 625, 749, 751, 875, 999, 1249, 3751, 4375, 4999, 5001, 5625, 6249, 8751, 9375, 9376, 9999, ... (последовательность A033819 в OEIS )

Для базы ${ displaystyle b = 12}$ , триморфными числами являются:

0, 1, 3, 4, 5, 7, 8, 9, B, 15, 47, 53, 54, 5B, 61, 68, 69, 75, A7, B3, BB, 115, 253, 368, 369, 4A7, 5BB, 601, 715, 853, 854, 969, AA7, BBB, 14A7, 2369, 3853, 3854, 4715, 5BBB, 6001, 74A7, 8368, 8369, 9853, A715, BBBB, ...

Пример программирования

def hensels_lemma(polynomial_function, основание: int, мощность: int):    "" "Лемма Гензеля." ""    если мощность == 0:        возвращаться [0]    если мощность > 0:        корни = hensels_lemma(polynomial_function, основание, мощность - 1)    new_roots = []    за корень в корни:        за я в классифицировать(0, основание):            new_i = я * основание ** (мощность - 1) + корень            new_root = polynomial_function(new_i) % пау(основание, мощность)            если new_root == 0:                new_roots.добавить(new_i)    возвращаться new_rootsоснование = 10цифры = 10def автоморфный_полином(Икс):    возвращаться Икс ** 2 - Иксза я в классифицировать(1, цифры + 1):    Распечатать(hensels_lemma(автоморфный_полином, основание, я))

Смотрите также

внешняя ссылка

[1] См. Статью Жерара Мишона на

[2] «сферическое число». Оксфордский словарь английского языка (Интернет-изд.). Издательство Оксфордского университета. (Подписка или членство участвующего учреждения требуется.)

[1]

[2]

Автоморфный номер - Automorphic number

Содержание

Определение и свойства

Автоморфные числа в базе ${ displaystyle b}$

Расширения

${ displaystyle a}$ -автоморфные номера

Триморфные числа

Пример программирования

Смотрите также

Рекомендации

внешняя ссылка

Автоморфный номер - Automorphic number

Определение и свойства

Автоморфные числа в базе б { displaystyle b}

Расширения

а { displaystyle a}-автоморфные номера

Триморфные числа

Пример программирования

Смотрите также

Рекомендации

внешняя ссылка

Автоморфные числа в базе ${ displaystyle b}$

${ displaystyle a}$ -автоморфные номера