Automorphic number

Last updated • 3 min readFrom Wikipedia, The Free Encyclopedia

In mathematics, an automorphic number (sometimes referred to as a circular number) is a natural number in a given number base whose square "ends" in the same digits as the number itself.

Contents

Definition and properties

Given a number base , a natural number with digits is an automorphic number if is a fixed point of the polynomial function over , the ring of integers modulo . As the inverse limit of is , the ring of -adic integers, automorphic numbers are used to find the numerical representations of the fixed points of over .

For example, with , there are four 10-adic fixed points of , the last 10 digits of which are:

(sequence A018247 in the OEIS )
(sequence A018248 in the OEIS )

Thus, the automorphic numbers in base 10 are 0, 1, 5, 6, 25, 76, 376, 625, 9376, 90625, 109376, 890625, 2890625, 7109376, 12890625, 87109376, 212890625, 787109376, 1787109376, 8212890625, 18212890625, 81787109376, 918212890625, 9918212890625, 40081787109376, 59918212890625, ... (sequence A003226 in the OEIS ).

A fixed point of is a zero of the function . In the ring of integers modulo , there are zeroes to , where the prime omega function is the number of distinct prime factors in . An element in is a zero of if and only if or for all . Since there are two possible values in , and there are such , there are zeroes of , and thus there are fixed points of . According to Hensel's lemma, if there are zeroes or fixed points of a polynomial function modulo , then there are corresponding zeroes or fixed points of the same function modulo any power of , and this remains true in the inverse limit. Thus, in any given base there are -adic fixed points of .

As 0 is always a zero-divisor, 0 and 1 are always fixed points of , and 0 and 1 are automorphic numbers in every base. These solutions are called trivial automorphic numbers. If is a prime power, then the ring of -adic numbers has no zero-divisors other than 0, so the only fixed points of are 0 and 1. As a result, nontrivial automorphic numbers, those other than 0 and 1, only exist when the base has at least two distinct prime factors.

Automorphic numbers in base b

All -adic numbers are represented in base , using A−Z to represent digit values 10 to 35.

Prime factors of Fixed points in of -adic fixed points of Automorphic numbers in base
62, 30, 1, 3, 4

0, 1, 3, 4, 13, 44, 213, 344, 5344, 50213, 205344, 350213, 1350213, 4205344, 21350213, 34205344, 221350213, 334205344, 2221350213, 3334205344, ...

102, 50, 1, 5, 6

0, 1, 5, 6, 25, 76, 376, 625, 9376, 90625, 109376, 890625, 2890625, 7109376, 12890625, 87109376, 212890625, 787109376, 1787109376, 8212890625, ...
122, 30, 1, 4, 9

0, 1, 4, 9, 54, 69, 369, 854, 3854, 8369, B3854, 1B3854, A08369, 5A08369, 61B3854, B61B3854, 1B61B3854, A05A08369, 21B61B3854, 9A05A08369, ...
142, 70, 1, 7, 8

0, 1, 7, 8, 37, A8, 1A8, C37, D1A8, 3D1A8, A0C37, 33D1A8, AA0C37, 633D1A8, 7AA0C37, 37AA0C37, A633D1A8, 337AA0C37, AA633D1A8, 6AA633D1A8, 7337AA0C37, ...
153, 50, 1, 6, 10

0, 1, 6, A, 6A, 86, 46A, A86, 146A, DA86, 3146A, BDA86, 4BDA86, A3146A, 1A3146A, D4BDA86, 4D4BDA86, A1A3146A, 24D4BDA86, CA1A3146A, 624D4BDA86, 8CA1A3146A, ...
182, 30, 1, 9, 10

...000000

...000001

...4E1249

...D3GFDA

202, 50, 1, 5, 16

...000000

...000001

...1AB6B5

...I98D8G

213, 70, 1, 7, 15

...000000

...000001

...86H7G7

...CE3D4F

222, 110, 1, 11, 12

...000000

...000001

...8D185B

...D8KDGC

242, 30, 1, 9, 16

...000000

...000001

...E4D0L9

...9JAN2G

262, 130, 1, 13, 14

...0000

...0001

...1G6D

...O9JE

282, 70, 1, 8, 21

...0000

...0001

...AAQ8

...HH1L

302, 3, 50, 1, 6, 10, 15, 16, 21, 25

...0000

...0001

...B2J6

...H13A

...1Q7F

...S3MG

...CSQL

...IRAP

333, 110, 1, 12, 22

...0000

...0001

...1KPM

...VC7C

342, 170, 1, 17, 18

...0000

...0001

...248H

...VTPI

355, 70, 1, 15, 21

...0000

...0001

...5MXL

...TC1F

362, 30, 1, 9, 28

...0000

...0001

...DN29

...MCXS

Extensions

Automorphic numbers can be extended to any such polynomial function of degree with b-adic coefficients . These generalised automorphic numbers form a tree.

a-automorphic numbers

An -automorphic number occurs when the polynomial function is

For example, with and , as there are two fixed points for in ( and ), according to Hensel's lemma there are two 10-adic fixed points for ,

so the 2-automorphic numbers in base 10 are 0, 8, 88, 688, 4688...

Trimorphic numbers

A trimorphic number or spherical number occurs when the polynomial function is . [1] All automorphic numbers are trimorphic. The terms circular and spherical were formerly used for the slightly different case of a number whose powers all have the same last digit as the number itself. [2]

For base , the trimorphic numbers are:

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, ... (sequence A033819 in the OEIS )

For base , the trimorphic numbers are:

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, ...

Programming example

defhensels_lemma(polynomial_function,base:int,power:int)->list[int]:"""Hensel's lemma."""ifpower==0:return[0]ifpower>0:roots=hensels_lemma(polynomial_function,base,power-1)new_roots=[]forrootinroots:foriinrange(0,base):new_i=i*base**(power-1)+rootnew_root=polynomial_function(new_i)%pow(base,power)ifnew_root==0:new_roots.append(new_i)returnnew_rootsbase=10digits=10defautomorphic_polynomial(x:int)->int:returnx**2-xforiinrange(1,digits+1):print(hensels_lemma(automorphic_polynomial,base,i))

See also

Related Research Articles

<span class="mw-page-title-main">Complex number</span> Number with a real and an imaginary part

In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted i, called the imaginary unit and satisfying the equation ; every complex number can be expressed in the form , where a and b are real numbers. Because no real number satisfies the above equation, i was called an imaginary number by René Descartes. For the complex number ,a is called the real part, and b is called the imaginary part. The set of complex numbers is denoted by either of the symbols or C. Despite the historical nomenclature, "imaginary" complex numbers have a mathematical existence as firm as that of the real numbers, and they are fundamental tools in the scientific description of the natural world.

<i>p</i>-adic number Number system extending the rational numbers

In number theory, given a prime number p, the p-adic numbers form an extension of the rational numbers which is distinct from the real numbers, though with some similar properties; p-adic numbers can be written in a form similar to decimals, but with digits based on a prime number p rather than ten, and extending to the left rather than to the right.

<span class="mw-page-title-main">Analytic function</span> Type of function in mathematics

In mathematics, an analytic function is a function that is locally given by a convergent power series. There exist both real analytic functions and complex analytic functions. Functions of each type are infinitely differentiable, but complex analytic functions exhibit properties that do not generally hold for real analytic functions.

<span class="mw-page-title-main">Bernoulli process</span> Random process of binary (boolean) random variables

In probability and statistics, a Bernoulli process is a finite or infinite sequence of binary random variables, so it is a discrete-time stochastic process that takes only two values, canonically 0 and 1. The component Bernoulli variablesXi are identically distributed and independent. Prosaically, a Bernoulli process is a repeated coin flipping, possibly with an unfair coin. Every variable Xi in the sequence is associated with a Bernoulli trial or experiment. They all have the same Bernoulli distribution. Much of what can be said about the Bernoulli process can also be generalized to more than two outcomes ; this generalization is known as the Bernoulli scheme.

In mathematics, a modular form is a (complex) analytic function on the upper half-plane, , that roughly satisfies a functional equation with respect to the group action of the modular group and a growth condition. The theory of modular forms has origins in complex analysis, with important connections with number theory. Modular forms also appear in other areas, such as algebraic topology, sphere packing, and string theory.

<i>p</i>-adic analysis Branch of number theory

In mathematics, p-adic analysis is a branch of number theory that deals with the mathematical analysis of functions of p-adic numbers.

<span class="mw-page-title-main">Projective variety</span> Algebraic variety in a projective space

In algebraic geometry, a projective variety is an algebraic variety that is a closed subvariety of a projective space. That is, it is the zero-locus in of some finite family of homogeneous polynomials that generate a prime ideal, the defining ideal of the variety.

<span class="mw-page-title-main">Lindemann–Weierstrass theorem</span> On algebraic independence of exponentials of linearly independent algebraic numbers over Q

In transcendental number theory, the Lindemann–Weierstrass theorem is a result that is very useful in establishing the transcendence of numbers. It states the following:

In mathematics, complex multiplication (CM) is the theory of elliptic curves E that have an endomorphism ring larger than the integers. Put another way, it contains the theory of elliptic functions with extra symmetries, such as are visible when the period lattice is the Gaussian integer lattice or Eisenstein integer lattice.

In mathematics, Kähler differentials provide an adaptation of differential forms to arbitrary commutative rings or schemes. The notion was introduced by Erich Kähler in the 1930s. It was adopted as standard in commutative algebra and algebraic geometry somewhat later, once the need was felt to adapt methods from calculus and geometry over the complex numbers to contexts where such methods are not available.

In mathematics, the Chern–Weil homomorphism is a basic construction in Chern–Weil theory that computes topological invariants of vector bundles and principal bundles on a smooth manifold M in terms of connections and curvature representing classes in the de Rham cohomology rings of M. That is, the theory forms a bridge between the areas of algebraic topology and differential geometry. It was developed in the late 1940s by Shiing-Shen Chern and André Weil, in the wake of proofs of the generalized Gauss–Bonnet theorem. This theory was an important step in the theory of characteristic classes.

In mathematics, Hensel's lemma, also known as Hensel's lifting lemma, named after Kurt Hensel, is a result in modular arithmetic, stating that if a univariate polynomial has a simple root modulo a prime number p, then this root can be lifted to a unique root modulo any higher power of p. More generally, if a polynomial factors modulo p into two coprime polynomials, this factorization can be lifted to a factorization modulo any higher power of p.

In model theory and related areas of mathematics, a type is an object that describes how a element or finite collection of elements in a mathematical structure might behave. More precisely, it is a set of first-order formulas in a language L with free variables x1, x2,..., xn that are true of a set of n-tuples of an L-structure . Depending on the context, types can be complete or partial and they may use a fixed set of constants, A, from the structure . The question of which types represent actual elements of leads to the ideas of saturated models and omitting types.

In mathematics, Brauer's theorem, named for Richard Brauer, is a result on the representability of 0 by forms over certain fields in sufficiently many variables.

In mathematics, a Witt vector is an infinite sequence of elements of a commutative ring. Ernst Witt showed how to put a ring structure on the set of Witt vectors, in such a way that the ring of Witt vectors over the finite field of prime order p is isomorphic to , the ring of p-adic integers. They have a highly non-intuitive structure upon first glance because their additive and multiplicative structure depends on an infinite set of recursive formulas which do not behave like addition and multiplication formulas for standard p-adic integers.

<span class="mw-page-title-main">Anatoly Karatsuba</span> Russian mathematician (1937–2008)

Anatoly Alexeyevich Karatsuba was a Russian mathematician working in the field of analytic number theory, p-adic numbers and Dirichlet series.

In mathematics, an algebraic number field is an extension field of the field of rational numbers such that the field extension has finite degree . Thus is a field that contains and has finite dimension when considered as a vector space over .

In mathematics, the Jacobian ideal or gradient ideal is the ideal generated by the Jacobian of a function or function germ. Let denote the ring of smooth functions in variables and a function in the ring. The Jacobian ideal of is

In number theory, the Teichmüller character is a character of , where if is odd and if , taking values in the roots of unity of the p-adic integers. It was introduced by Oswald Teichmüller. Identifying the roots of unity in the -adic integers with the corresponding ones in the complex numbers, can be considered as a usual Dirichlet character of conductor . More generally, given a complete discrete valuation ring whose residue field is perfect of characteristic , there is a unique multiplicative section of the natural surjection . The image of an element under this map is called its Teichmüller representative. The restriction of to is called the Teichmüller character.

In additive number theory, an area of mathematics, the Erdős–Tetali theorem is an existence theorem concerning economical additive bases of every order. More specifically, it states that for every fixed integer , there exists a subset of the natural numbers satisfying

References

  1. See Gérard Michon's article at
  2. "spherical number" . Oxford English Dictionary (Online ed.). Oxford University Press.(Subscription or participating institution membership required.)