## You are here

Homesupernatural number

## Primary tabs

# supernatural number

A supernatural number $\omega$ is a formal product

$\displaystyle\omega=\prod_{{p}}p^{{n_{p}}},$ |

where $p$ runs over all (rational) prime numbers, and the values $n_{p}$ are each either natural numbers or the symbol $\infty$.

We note first that by the fundamental theorem of arithmetic, we can view any natural number as a supernatural number. Supernatural numbers form a generalization of natural numbers in two ways: First, by allowing the possibility of infinitely many prime factors, and second, by allowing any given prime to divide $\omega$ “infinitely often,” by taking that prime’s corresponding exponent to be the symbol $\infty$.

We can extend the usual $p$-adic order functions to these supernatural numbers by defining, for $\omega$ as above, $v_{p}(\omega)=n_{p}$ for each $p$. We can then extend the notion of divisibility to supernatural numbers by declaring $\omega_{1}\mid\omega_{2}$ if $v_{p}(\omega_{1})\leq v_{p}(\omega_{2})$ for all $p$ (where, by definition, the symbol $\infty$ is considered greater than any natural number). Finally, we can also generalize the notion of the least common multiple (lcm) and greatest common divisor (gcd) for (arbitrarily many) supernatural numbers, by defining

$\displaystyle\operatorname{lcm}(\{\omega_{i}\})$ | $\displaystyle=\prod_{p}p^{{\sup(v_{p}(\omega_{i}))}}$ | ||

$\displaystyle\operatorname{gcd}(\{\omega_{i}\})$ | $\displaystyle=\prod_{p}p^{{\inf(v_{p}(\omega_{i}))}}$ |

Note that the supernatural version of the definitions of divisibility, $\operatorname{lcm}$, and $\operatorname{gcd}$ carry over exactly from their corresponding notions for natural numbers, though we can now take the gcd or lcm of infinitely many natural numbers (to get a supernatural number).

Supernatural numbers are used to define orders and indices of profinite groups and subgroups, in which case many of the theorems from finite group theory carry over verbatim.

# References

- 1
[Ram] Ramakrishnan, Dinikara and Valenza, Robert.
*Fourier Analysis on Number Fields*. Graduate Texts in Mathematics, volume 186. Springer-Verlag, New York, NY. 1989. - 2
[Ser] Serre, J.-P. (Ion, P., translator)
*Galois Cohomology*. Springer, New York, NY. 1997

## Mathematics Subject Classification

20E18*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new correction: Error in proof of Proposition 2 by alex2907

Jun 24

new question: A good question by Ron Castillo

Jun 23

new question: A trascendental number. by Ron Castillo

Jun 19

new question: Banach lattice valued Bochner integrals by math ias

Jun 13

new question: young tableau and young projectors by zmth