transfinite arithmetic, cardinal arithmetic, ordinal arithmetic
prime field, p-adic integer, p-adic rational number, p-adic complex number
arithmetic geometry, function field analogy
The so-called Fundamental Theorem of Arithmetic (sometimes FTA, although this can also mean the Fundamental Theorem of Algebra) is the statement that the ring of integers is a unique factorization domain (UFD). The theorem is much older than the abstract concepts of ring theory, and indeed the concept of UFD is an abstraction of this theorem. Inasumuch as ‘arithmetic’ can refer to number theory, this is a pretty basic theorem in that field.
Let $\mathbb{N}_+$ be the positive natural numbers, let $\mathbb{N}_+ \times \mathbb{N}_+$ be the cartesian product of $\mathbb{N}_+$, with canonical product projection functions $\pi_1:\mathbb{N}_+ \times \mathbb{N}_+ \to \mathbb{N}_+$ and $\pi_2:\mathbb{N}_+ \times \mathbb{N}_+ \to \mathbb{N}_+$, and let $A^*$ be the free monoid on the set $A$. Let $p:\mathbb{N}_+ \to \mathbb{N}_+$ be the function which takes a positive natural number $n$ to the $n$-th prime number.
Since the positive natural numbers form a monoid with respect to multiplication, finite products exist, given by the monoid homomorphism
inductively defined on $\mathbb{N}_+^*$ by
There is a bijection $\mathrm{uf}:\mathbb{N}_+ \cong (\mathbb{N}_+ \times \mathbb{N}_+)^*$ such that for every positive natural number $n$,
equivalently, for every list of pairs of positive natural numbers $a:(\mathbb{N} \times \mathbb{N})^*$
Equivalently, instead of using lists of pairs of positive natural numbers, one could just use finite multisets of positive natural numbers, which are lists of lists of positive natural numbers.
There is a bijection $\mathrm{uf}:\mathbb{N}_+ \cong (\mathbb{N}_+^*)^*$ such that for every positive natural number $n$,
equivalently, for every finite multiset of positive natural numbers $a:(\mathbb{N}_+^*)^*$
The free commutative monoid on the prime numbers is isomorphic to the multiplicative subset of positive natural numbers.
The ring of integers is a unique factorization domain.
Last revised on December 9, 2022 at 18:51:25. See the history of this page for a list of all contributions to it.