ねじれ群

群論における捩れ群（ねじれぐん、英: torsion group）または周期群（しゅうきぐん、英: periodic group）はその各元が有限位数を持つ群を言う。 任意の有限群は周期的である。なお、周期群と巡回群とは違うものである。 定義 ねじれ群 G に対して、そのすべての元の位数の最小公倍数を（存在すれば）G の冪数 (exponent) と呼ぶ。 任意の有限群は冪数を持ち、それは G の位数 |G| の約数である。 有限群とねじれ群の間の関係性を扱うバーンサイド問題（英語版）は、G が有限生成群とだけ仮定する場合には、古典的な問題である。それは冪数を特定することが有限性を導くかを問うもの（そして一般には答えは「否」）である。 無限ねじれ群の例として、有限体上の多項式環の加法群や、有理数の加法群を整数の加法群で割った商およびそれらの直和因子、プリューファー群などが挙げられる。他にも、二面体群すべての合併などもそうである。以上の例は有限生成でなく、また任意の有限生成ねじれ線型群は有限群になる。有限生成無限周期群の陽な例は、Golod (1964) がシャファレヴィッチと共同で構成した（ゴロド–シャファレヴィッチの定理（英語版）を参照）。あるいはまた Aleshin (1972) と Grigorchuk (1980, 1984) がオートマトンを用いて構成した。 ねじれ群の興味深い性質の一つは、それが一階述語論理で定式化できないことである。これは偏に、定義に必要となる ∀ x . ( ( x = e ) ∨ ( x ∘ x = e ) ∨ ( ( x ∘ x ) ∘ x = e ) ∨ ⋯ ) {\displaystyle \forall x.\,((x=e)\lor (x\circ x=e)\lor ((x\circ x)\circ x=e)\lor \cdots )} なる形の公理が無限個の選言を含むため、一階論理では許容されないことによる。公理系が無限集合となることを許してこの無限選言を回避することは不可能である（コンパクト性定理から、ねじれ群を特徴付けることのできる一階論理式の集合は存在しないことが導かれる）。 ねじれ群を特徴付ける一階論理の公理系 T {\displaystyle T} が存在したと仮定する。新しい定数記号 c {\displaystyle c} を言語に追加する。そして、全ての正整数 n {\displaystyle n} に対して「 c {\displaystyle c} の次数が n {\displaystyle n} 以上である」という意味の論理式 φ n : c ≠ e ∧ c 2 ≠ e ∧ ⋯ ∧ c n − 1 ≠ e {\displaystyle \varphi _{n}\colon c\neq e\wedge c^{2}\neq e\wedge \cdots \wedge c^{n-1}\neq e} を T {\displaystyle T} に追加する。こうして得られる公理系を T ′ {\displaystyle T'} としよう。すると T ′ {\displaystyle T'} のどの有限部分集合もモデルを持つ。なぜなら、 φ n {\displaystyle \varphi _{n}} の形の論理式は有限個しか含まれないので、十分大きな位数 n {\displaystyle n} の有限巡回群 Z / n Z {\displaystyle \mathbb {Z} /n\mathbb {Z} } において c {\displaystyle c} を 1 ¯ {\displaystyle {\bar {1}}} と解釈すればよいからである。コンパクト性定理より T ′ {\displaystyle T'} はモデル G {\displaystyle G} を持つ。 G {\displaystyle G} はねじれ群であるにもかかわらず無限位数の元 c G {\displaystyle c^{G}} を含む。これは矛盾である。 上記の証明は、定数記号を追加すれば、「ねじれなし元を含む群」（つまりねじれ群でない群）が一階論理で（無限）公理化可能であることも示している。また、ねじれなし群は一階論理で（無限）公理化可能である。なぜなら、群の公理系に ψ n : ∀ x . ( x n = e → x = e )   ( n = 1 , 2 , 3 , … ) {\displaystyle \psi _{n}\colon \forall x.(x^{n}=e\to x=e)\ (n=1,2,3,\ldots )} という無限個の論理式を添加した公理系を考えれば、そのモデルはちょうどねじれなし群となるからである。 アーベル群 A のねじれ部分群は A の位数有限な元全体の成す部分群である。ねじれアーベル群（英語版）は任意の元が有限位数を持つアーベル群で、ねじれのないアーベル群（英語版）は単位元を除く全ての元が無限位数を持つアーベル群を言う。 捩れ (代数学) ジョルダン–シューアの定理（英語版） ^ exponent - PlanetMath.（英語） ^ 山﨑圭次郎『環と加群 I』岩波書店〈岩波講座 基礎数学〉、1976年。  ^ Ebbinghaus, H.-D.; Flum, J.; Thomas, W. (1994). Mathematical logic (2. ed., 4. pr. ed.). New York [u.a.]: Springer. pp. 50. ISBN 978-0-387-94258-2. http://www.springer.com/mathematics/book/978-0-387-94258-2 18 July 2012閲覧. "However, in first-order logic we may not form infinitely long disjunctions. Indeed, we shall later show that there is no set of first-order formulas whose models are precisely the periodic groups."  Golod, Evgeny. S. (1964), “On nil-algebras and finitely approximable p-groups” (Russian), Izv. Akad. Nauk SSSR Ser. Mat. 28: 273–276 . Aleshin, S. V. (1972), “Finite automata and the Burnside problem for periodic groups” (Russian), Mat. Zametki 11: 319–328 . Grigorchuk, R. I. (1980), “On Burnside's problem on periodic groups” (Russian), Functional Anal. Appl 14 (no. 1): 41–43 . Grigorchuk, R. I. (1984), “Degrees of growth of finitely generated groups and the theory of invariant means” (Russian), Izv. Akad. Nauk SSSR Ser. Mat. 48 (5): 939–985  torsion group in nLab periodic group - PlanetMath.（英語） Definition:Torsion at ProofWiki Hazewinkel, Michiel, ed. (2001), “Torsion group”, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Torsion_group  表示 編集