群論の用語
群 G の位数 |G| (o(G) や ord(G) などとも書く)とは、G の濃度のことをいう。位数 |G| が有限のとき G は有限群であるといい、無限大のとき G を無限群という。群の重要なクラスに、N 文字の置換群あるいは対称群 SN と呼ばれるものがある。ケーリーの定理(英語版)の示すところによれば、任意の群 G は G 上の対称群の部分群として得られる。有限群論は非常に豊かな理論である。ラグランジュの定理の主張は、有限群 G の任意の部分群 H の位数は G の位数を割り切るということである。これの逆の主張の一部はシローの定理が与えてくれる。これは、p が G の位数を割り切る最大の p-冪(p は素数)ならば、G は位数 p の部分群を含むこと、およびそのような部分群の個数についての主張を述べた定理である。有限群の射影極限は射有限群と呼ばれる。射有限群で重要なものは、p-進解析・類体論および l-進コホモロジーで基本的な p-進整数全体の成す環、および Z の射有限完備化であり、それぞれ
Z p := lim ← n  Z / p n , Z ^ := lim ← n  Z / n Z .