<html xmlns="http://www.w3.org/1999/xhtml"><head></head><body><p><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="1" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[1]</anchor-end> ある<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">元</anchor>の<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">冪</anchor>だけですべての元を表現できる<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">群</anchor>を、
<dfn>巡回群</dfn>といいます。</p><ul><li><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="2" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[2]</anchor-end> 系: ある元を含む最小の群は巡回群。</li><li><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="3" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[3]</anchor-end> 系: <code class="math"><var>b</var> = <var>a</var><sup><var>n</var></sup></code>
となる2元 <code class="math"><var>a</var>, <var>b</var> ∈ <var>R</var></code> 
(<code class="math"><var>R</var></code> は巡回群) があるなら、
<code class="math"><var>R</var></code> は<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">有限群</anchor>である。
なければ、 <code class="math"><var>R</var></code> は<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">無限群</anchor>である。</li><li><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="4" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[4]</anchor-end> 定理: 巡回群は<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">可換群</anchor>。</li></ul><p><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="5" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[5]</anchor-end> <anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">循環群</anchor>とも。</p></body></html>