コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

補群

出典: フリー百科事典『ウィキペディア(Wikipedia)』

補群ほぐん: complement) とは、数学(特に群論として知られる代数学の分野) において、部分群に対して定義される補集合のような概念である。

定義

[編集]

G に於ける部分群 H補群とは、 G の部分群 K で以下の二条件を満たすものをいう[要検証]

ここで HK は部分集合 { hk | hH, kK } を、また e は単位元を表す。 なお、同じことであるが、 「任意の が、 を使って と 一意的[訳注 1] に表すことができる。」 と言い換えることができる。

この関係は対称性がある。すなわち、KH の補群ならば、HK の補群である [訳注 2]

ここで、H および K については、必ずしも G正規部分群である必要はない。

性質

[編集]
  • 補群は必ずしも存在するとは限らない。
  • もし補群が存在するとしても、それがただ一つとも限らない。すなわちG の相異なる部分群 K1 および K2 があって、ともに H の補群であるようなものが存在することもありうる。
  • もし KG に於ける H の補群であるとき、K の要素は、H の (左右の) 剰余類完全代表系を成す(下記補足説明も参照)。
  • H が正規部分群の場合は、補群 K は、商群 G/H同型である[訳注 3]。補群が複数存在するならば、それらはすべて G/H と同型である。
  • シューア–ツァッセンハウスの定理英語版 は、有限群の正規ホール部分群の補群の存在を保証する。

補足

[編集]

三番目の性質について数式で書くと以下のようになる。

かつ

ならば ただし

この性質は以下のように簡単に証明できる。[要出典] 最初の条件は、補群の定義の一番目の条件 G = H K より明らか。 二番目の条件は、もし ならば、ある に対して、 が存在して、 と二通りに表すことができる。 これは、最初の定義の所で述べた表し方の一意性 [訳注 1] に矛盾する。

この説明は、右剰余類のケースであるが、左剰余類についても同様である。

[編集]
  • G
とし、群演算を6を法とする加法とする。HK をそれぞれ、 とすると、HKG の部分群であり、互いに他方の補群になっている [注釈 1]
以下は、ある部分群に対して、補群が複数存在する例である。
  • G を、複素数全体に演算を加法とした とする。実数全体 G の部分群である。ここで
(i は虚数単位)、つまり純虚数全体の集合とする。まず G の部分群であることはすぐに確かめられる。 もすぐに分かるだろう。さらに、任意の複素数 に対して、 であるから、 も示される。従って、H の補群である。
  • 上の G = C の例において、さらに、
とする。まず、これが G の部分群であることと、 は容易に確かめられる。さらに、任意の複素数 に対して、と変形すれば、 だから も満たす。
従って、H の補群である。(性質の二番目でも述べたが) 補群が複数存在する例である。
以下では逆に補群が存在しない例を示す。
  • 整数全体の加法群 を考える。任意の部分群を とし、その中から適当に元 を一つ取って固定する。すると、部分群の定義から の倍数 [注釈 2] はすべて
でなければならない。
もし二つの部分群 HK があれば、その中から適当に一元ずつ を取り出せば であり、明らかに 。従って (HK のいずれかが でない限り) 補群の条件に必要な を満たすことは決してない。よって、 の (非自明な) 部分群には対応する補群は存在しない。

他の積との関係

[編集]

補群は、直積 および 半直積 の一般化である。 一般の補群に対応する積を Zappa–Szép 積英語版 と呼ぶ。 HK が非自明な場合 [注釈 3] 補群は、群 G を小さな部分群に分解する。[訳語疑問点]

存在性

[編集]

上に述べたように、補群は必ずしも存在するとは限らない。

p-補群(: p-complement)は、シロー p-部分群の補群である。 Frobenius の定理や Thompson の定理によって、 群が正規 p-補群英語版を持つ条件が示される。 Hall英語版 は、有限群の中で可解群 を任意の素数 p に対して、p-補群を持つものとして特徴付けた。シロー系の構成にも p-補群は利用される。

フロベニウス群英語版に於けるフロベニウス核英語版の補群はフロベニウス補群英語版と呼ばれる。

Complemented group英語版 とは、任意の部分群が補群を持つ群である。

関連項目

[編集]

脚注

[編集]

注釈

[編集]
  1. ^ 実際、 であるから であり、明らかに
  2. ^ 今考えているのは環ではなく群であり、従って演算は加法しかない。倍数と言っても積 n a が (直接) 定義されているわけではないが、ここでは an 回足し算したものを n a と書くことにする。当然、通常の意味の掛け算と一致する
  3. ^ 一般に、G 自身と {e} を自明な部分群という。 この時、明らかに、 であるから、 {e} と G は常に互いに補群の関係になる。

訳注

[編集]
  1. ^ a b 実際、 が存在して と書けたとすると、両辺に左から と右から を 掛けることにより、 となる。ここで、H も K も部分群であるから、演算で閉じているので かつ となるが、二番目の条件 より でなければならない。よって が成立。
  2. ^ 実際、KH の補群とする 任意の に対して、群の定義から であるから、 補群の定義の一番目の式によって、ある が存在して、 と書ける。 従って であるから、 となる ( は明らか)。 また、第二式については より自明。
  3. ^ 実際、 に対して、と対応させれば (つまり群準同型) であるがすぐに示せる。さらに、三番目の性質を使えば、 が全単射であることも証明できる

出典

[編集]

参考文献

[編集]
  • David S. Dummit & Richard M. Foote (2004). Abstract Algebra. Wiley. ISBN 978-0-471-43334-7 
  • I. Martin Isaacs (2008). Finite Group Theory. American Mathematical Society. ISBN 978-0-8218-4344-4