查看“︁撓群”︁的源代码

在數學分支的[[群論]]中，'''撓群'''（torsion group）或'''週期群'''（periodic group）指的是所有[[元素 (數學)|元素]]的[[階 (群論)|階]]都是有限的[[群]]；而此類群的'''指數'''，在存在的狀況下，指的是這個群的所有元素的階的[[最小公倍數]]。

像例如根據[[拉格朗日定理 (群論)|拉格朗日定理]]，所有的有限群都是週期群，且其指數是這個群的階的倍數。

==無限群例子==
無限週期群包括了有限域上的多項式環的加法群、以及有理數在整數上的商群，及其直和的被加群，也就是所謂的{{link-en|普吕弗群|Prüfer group}}。另一個例子是所有[[二面體群]]的直和所構成的群。而上述的這些例子都不具有有限的生成元。

一個有限生成的無限週期群的實例由戈羅德（Golod）所建構，<ref>E. S. Golod, ''On nil-algebras and finitely approximable p-groups,'' Izv. Akad. Nauk SSSR Ser. Mat. '''28''' (1964) 273–276.</ref>而他的結果是與沙法列维奇合作得到的，詳情可見{{link-en|戈羅德－沙法列维奇定理|Golod–Shafarevich theorem}}一文的說明；另一個例子則由Aleshin<ref> S. V. Aleshin, ''Finite automata and the Burnside problem for periodic groups,'' (Russian) Mat. Zametki '''11''' (1972), 319–328.</ref>和Grigorchuk<ref>R. I. Grigorchuk,  ''On Burnside's problem on periodic groups,'' Functional Anal. Appl. '''14''' (1980), no. 1, 41–43.</ref>利用[[自動機理論]]建構。而上述的集合都有著無限大的指數；而一個指數有限的例子是由奥利尚斯基（Olshanskii）所建構的{{link-en|塔斯基怪獸群|Tarski monster group}}。<ref>[[亚历山大·奥利尚斯基|A. Yu. Olshanskii]], An infinite group with subgroups of prime orders, Math. USSR Izv. 16 (1981), 279–289; translation of Izvestia Akad. Nauk SSSR Ser. Matem. 44 (1980), 309–321</ref>

==伯恩賽德問題==
{{main|:en:Burnside problem{{!}}伯恩賽德問題}}

伯恩賽德問題是在只考慮{{link-en|有限生成群|finitely-generated group}}的狀況下，關於週期群以及有限群之間關係的經典問題，其敘述如次：有特定的指數就意味著有限嗎？而如前段所言，無限階的有限生成群的存在，代表對於任意的指數而言，這答案是否定的；然而盡管對於什麼樣的指數可以出現在無限階有限生成群中的問題已有更多了解，這問題依舊有尚未解決的部分。

對於諸如[[線性群]]等部分種類的群而言，伯恩賽德問題的答案是肯定的。

==數理邏輯==
週期群的一個有趣的性質是其定義不能以[[一階邏輯]]表述，而這是因為若要這樣做的話，就會需要以下的公設：
:<math>\forall x,\big((x =  e) \lor (x\circ x=e) \lor ((x\circ x)\circ x=e) \lor \cdots\big)</math>
但這樣的公設包含了無限多個[[邏輯或]]因此是不可接受的：一階邏輯允許一個類的量化但不能得到這個類的子集的性質；此外要利用無限多個公設來規避無限多個邏輯或也是不可能的：[[緊緻性定理]]說明了沒有任何一階邏輯公式可以表達週期群的性質。<ref>{{cite book|last1=Ebbinghaus|first1=H.-D.|last2=Flum|first2=J.|last3=Thomas|first3=W.|title=Mathematical logic|year=1994|publisher=Springer|location=New York [u.a.]|isbn=978-0-387-94258-2|pages=[https://archive.org/details/mathematicallogi1996ebbi/page/50 50]|url=https://archive.org/details/mathematicallogi1996ebbi/page/50|edition=2. ed., 4. pr.|accessdate=18 July 2012|quote=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.}}</ref>

==相關概念==
[[交換群]]''A''的[[撓子群]]是包含''A''所有的有限階元素的子群。{{link-en|撓交換群|torsion abelian group}}是一個所有元素的階都有限的交換群；而{{link-en|無撓交換群|torsion-free abelian group}}則是一個只有單位元的階是有限的交換群。

==參見==
*[[扭化]]
*{{link-en|若爾當－舒爾定理|Jordan–Schur theorem}}

==註解==
{{Reflist}}
* R. I. Grigorchuk, ''Degrees of growth of finitely generated groups and the theory of invariant means.'', Izv. Akad. Nauk SSSR Ser. Mat. '''48:5''' (1984), 939–985 (Russian).

[[Category:群的性質]]