シュタイニッツ数

数学における超自然数 (super­natural number), 一般化された自然数 (generalized natural number) あるいはシュタイニッツ数︵シュタイニッツすう、英: Steinitz number︶は、自然数の一つの一般化である。この超自然数は1910年にエルンスト・シュタイニッツ が体論に関する研究の一部として用いた。

定義

超自然数 ω とは、すべての素数を亙る形式的な積 $$\omega =\prod _{p}p^{n_{p}}$$$$\omega =\prod _{p}p^{n_{p}}$$であって、各 n_pが零、自然数、∞の何れかとなっているようなものを言う。n_p はしばしば v_p(ω) とも書かれる。

●n_p = ∞ となる pが無く、かつ有限個の例外を除く全ての n^pが零となるならば、この超自然数は正整数という意味での通常の自然数を表すものと理解できる。

●やや直観からは外れるが、すべての pに対して n_p= ∞ となるとき、その超自然数は 0 を表すものとする。

この超自然数の概念は、﹁無限個の素因数を持つことができる﹂﹁︵対応する冪指数が ∞ とすれば︶任意に与えられた素数で“無限回”割り切れる﹂といった状況を許容するという点で、通常の自然数よりも拡張された取り扱いができる。

演算

超自然数の間の自然な加法というものは存在しないが、乗法は単純に $$(\prod _{p}p^{n_{p}})\cdot (\prod _{p}p^{m_{p}}):=\prod _{p}p^{n_{p}+m_{p}}$$$$(\prod _{p}p^{n_{p}})\cdot (\prod _{p}p^{m_{p}}):=\prod _{p}p^{n_{p}+m_{p}}$$とすることで定義できる。同様に $$\omega _{1}\mid \omega _{2}:\!\iff v_{p}(\omega _{1})\leq v_{p}(\omega _{2})\quad (\forall p)$$$$\omega _{1}\mid \omega _{2}:\!\iff v_{p}(\omega _{1})\leq v_{p}(\omega _{2})\quad (\forall p)$$とすることで整除可能性も超自然数に対して拡張でき、最小公倍数や最大公約数も $$\operatorname {lcm} (\{\omega _{i}\}):=\prod _{p}p^{\sup(v_{p}(\omega _{i}))},\quad \operatorname {gcd} (\{\omega _{i}\}):=\prod _{p}p^{\inf(v_{p}(\omega _{i}))}$$$$\operatorname {lcm} (\{\omega _{i}\}):=\prod _{p}p^{\sup(v_{p}(\omega _{i}))},\quad \operatorname {gcd} (\{\omega _{i}\}):=\prod _{p}p^{\inf(v_{p}(\omega _{i}))}$$によって一般化できる。これら定義のもとで、無限個の自然数︵あるいは超自然数︶に対する gcd や lcm は超自然数の範囲で必ずとることができる。

自然数に対する通常のp-進付値︵位数︶函数も、各 pに対する v_p(ω) = n_pによって超自然数まで拡張できる。

応用

超自然数は、副有限群およびその部分群の位数および指数を定義することに用いられ、それにより有限群論における多くの定理がそのままの形でそれらの群に関する定理として持ち込める。それらは有限体の代数拡大を捉えることに利用できる。また、無平方数の密度や奇完全数の上界などの数論的証明の多くで暗に用いられている。

関連項目

• 副有限整数

参考文献

• Brawley, Joel V.; Schnibben, George E. (1989). Infinite algebraic extensions of finite fields. Contemporary Mathematics. 95. Providence, RI: American Mathematical Society. pp. 23–26. ISBN 0-8218-5101-2. Zbl 0674.12009 
• Efrat, Ido (2006). Valuations, orderings, and Milnor K-theory. Mathematical Surveys and Monographs. 124. Providence, RI: American Mathematical Society. p. 125. ISBN 0-8218-4041-X. Zbl 1103.12002 
• Fried, Michael D.; Jarden, Moshe (2008). Field arithmetic. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. 11 (3rd ed.). Springer-Verlag. p. 520. ISBN 978-3-540-77269-9. Zbl 1145.12001 

外部リンク

• supernatural number - PlanetMath.（英語）