『ガロア理論の頂を踏む』*1 では「一般の5次方程式が根号で解けないことをきちんと証明する」ということを目的として群論などの説明をしています。この議論の中には計算で説明できるものがあると思いますので、この本を参考にして群論の計算をやっていこうと考えています。
群の定義
集合 と 上の二項演算 (乗法と呼びます)が以下の条件を満たすとき を群と呼びます(または単に を群と呼びます)。通常 を と書きます。 を と の積と呼びます。演算の順序を示すためにかっこ を使います。
乗法が可換であるとき(すなわち任意の に対して が成り立つとき)アーベル群と呼びます。
群 の部分集合 が の演算に関して群になるとき、 は の部分群と呼び と書きます。
が を満たすとき となって は の単位元となります。 の部分群 の単位元 は を満たすので の単位元と一致します。よって となります。
の部分群 の元 に対して の での逆元と での逆元は一致することがわかります。
よって の部分群 は
を満たします。
逆に の空ではない部分集合 が
を満たすとき、 が群の条件を満たすので群となります。
群の部分集合の計算
群の部分集合 と に対して と定義します。 が1個の元からなる集合 のときは と書きます。 が1個の元からなる集合 のときは と書きます。 と と を群の部分集合とすると が成り立つのでかっこを使わずに と書くことができます。これは 個の場合も同様となります。 を群の部分集合とするとこれらの 個の積をかっこを使わずに と書くことができます。この場合も1個の元からなる集合のときはその元を書いても良いということにします。全部1個の元からなる集合のときは元と区別がつかないので元の形では書かないことにします。 のとき と書きます。
群の部分集合 に対して と定義します。
群 の空ではない部分集合 が部分群であることは
- かつ
と同値となります。
群の元 、 に対して より となります。群の部分集合 、 に対して が成り立ちます。
群 の空ではない部分集合 、 が を満たすとき
となって は部分群となります。
群 の空ではない部分集合 と自然数 と に対して
が成り立ちます。
群 の空ではない部分集合 に対して
とおくと任意の自然数 と に対して
となって は の部分群となります。 を で生成された部分群と呼び と書きます。
群 の部分群 に対して、 の空ではない部分集合 が に含まれるならば も に含まれます。したがって は を含む最小の部分群となります。
のとき は を生成すると言います。
*1: 『ガロア理論の頂を踏む』著者:石井俊全, ISBN:978-4-86064-363-8, 出版社:ベレ出版, 発売日:2013年08月22日