ねじれ群

群論における捩れ群（ねじれぐん、テンプレート:Lang-en-short）または周期群（しゅうきぐん、テンプレート:Lang-en-short）はその各元が有限位数を持つ群を言う。

任意の有限群は周期的である。なお、周期群と巡回群とは違うものである。

定義

ねじれ群 テンプレート:Mvar に対して、そのすべての元の位数の最小公倍数を（存在すれば）テンプレート:Mvar の冪数テンプレート:Rp (exponent) と呼ぶ。

任意の有限群は冪数を持ち、それは テンプレート:Mvar の位数 テンプレート:Math の約数である。

有限群とねじれ群の間の関係性を扱うテンプレート:仮リンクは、テンプレート:Mvar が有限生成群とだけ仮定する場合には、古典的な問題である。それは冪数を特定することが有限性を導くかを問うもの（そして一般には答えは「否」）である。

無限ねじれ群の例として、有限体上の多項式環の加法群や、有理数の加法群を整数の加法群で割った商およびそれらの直和因子、プリューファー群などが挙げられる。他にも、二面体群すべての合併などもそうである。以上の例は有限生成でなく、また任意の有限生成ねじれ線型群は有限群になる。有限生成無限周期群の陽な例は、テンプレート:Harvtxt がテンプレート:Ill2と共同で構成した（テンプレート:Ill2を参照）。あるいはまた テンプレート:Harvtxt と テンプレート:Harvs がオートマトンを用いて構成した。

数理論理学

ねじれ群の興味深い性質の一つは、それが一階述語論理で定式化できないことである。これは偏に、定義に必要となる $$\mathrm{\forall }x.((x=e)\vee (x\circ x=e)\vee ((x\circ x)\circ x=e)\vee \cdots )$$ なる形の公理が無限個の選言を含むため、一階論理では許容されないことによる。公理系が無限集合となることを許してこの無限選言を回避することは不可能である（コンパクト性定理から、ねじれ群を特徴付けることのできる一階論理式の集合は存在しないことが導かれる）。

ねじれ群を特徴付ける一階論理の公理系 $T$ が存在したと仮定する。新しい定数記号 $c$ を言語に追加する。そして、全ての正整数 $n$ に対して「$c$ の次数が $n$ 以上である」という意味の論理式 ${\phi }_n:c\ne e\wedge c^2\ne e\wedge \cdots \wedge c^{n-1}\ne e$ を $T$ に追加する。こうして得られる公理系を $T^{\prime }$ としよう。すると $T^{\prime }$ のどの有限部分集合もモデルを持つ。なぜなら、${\phi }_n$ の形の論理式は有限個しか含まれないので、十分大きな位数 $n$ の有限巡回群 $\mathbb{Z}/n\mathbb{Z}$ において $c$ を $\overline{1}$ と解釈すればよいからである。コンパクト性定理より $T^{\prime }$ はモデル $G$ を持つ。$G$ はねじれ群であるにもかかわらず無限位数の元 $c^G$ を含む。これは矛盾である。

上記の証明は、定数記号を追加すれば、「ねじれなし元を含む群」（つまりねじれ群でない群）が一階論理で（無限）公理化可能であることも示している。また、ねじれなし群は一階論理で（無限）公理化可能である。なぜなら、群の公理系に ${\psi }_n:\mathrm{\forall }x.(x^n=e\to x=e)(n=1,2,3,\dots )$ という無限個の論理式を添加した公理系を考えれば、そのモデルはちょうどねじれなし群となるからである。

関連する概念

アーベル群 テンプレート:Mvar のねじれ部分群は テンプレート:Mvar の位数有限な元全体の成す部分群である。テンプレート:Ill2は任意の元が有限位数を持つアーベル群で、テンプレート:Ill2は単位元を除く全ての元が無限位数を持つアーベル群を言う。

関連項目

• 捩れ (代数学)
• テンプレート:Ill2

参考文献

• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation

外部リンク

• テンプレート:Nlab
• テンプレート:PlanetMath
• テンプレート:ProofWiki
• テンプレート:SpringerEOM