ハイパー構造2
前回:ハイパー構造1
引き続きハイパー構造を詳しく見ていく。
中立元とスカラー元、そして単位元
をハイパー構造とする。
- 左中立 任意のに対してを満たすときは左中立であるという。
- 右中立 任意のに対してを満たすときは右中立であるという。
左中立かつ右中立のとき両側中立(bilaterally neutral, two-sided neutral)であるという。左中立元及びに対し、となるをのに関する対左逆位(opposite to left)という。右中立元に関する対右逆位、両側中立元に対する両側逆位も同様に定める。
中立元は群論における単位元に相当するが、印象としては些か貧弱である。そこでスカラーという概念を考える。
左スカラーかつ右スカラーのとき両側スカラー(bilaterally scalar, two-sided scalar)であるという。例えば群をそのままハイパー構造に変換する()と、全ての元が両側スカラーになる。(実はある意味で逆も言える。)
左中立かつ左スカラーな元を左単位元(left unit)と言い、右中立かつ右スカラーな元を右単位元(right unit)という。そして両側中立かつ両側スカラーな元を絶対単位元(absolute unit)と呼ぶ。*1
命題 ハイパー構造は左(resp.右)単位元を持つとする。右(resp.左)中立元が存在すれば、それはに一致し、更に左(resp.右)単位元は一意的である。特に絶対単位元は唯一である。
(証明)右中立元をとすると、に対してが成り立つ。は左スカラーだからであり、一方左中立元でもあるからとなる。故にとなる。このときは両側中立であることが分かる。を左スカラーな左中立元とすればが成り立つ。しかしは右中立でもあるので、である。故にが従う。
命題 ハイパー構造は右(resp.左)結合的であるとする。を左(resp.右)スカラー元とすると、は一元集合で、その元は左(resp.右)スカラー元となる。
(証明)は左スカラーだから、と表せる。任意のを取る。右結合性よりとなるが、は左スカラー元なのでは一元集合となる。更にの左スカラー性によりも一元集合となる。つまりが一元集合となるので、は左スカラー元となる。
左スカラー元の性質
以下は特に断らない限り、左再現的かつ左結合的なハイパー構造であるとする。
- 左再現性 任意のに対してが成り立つ。
- 左結合性 任意のに対してが成り立つ。
この構造ではそこそこの性質が成り立つ(気がする)。左スカラー元に対する性質を見ていこう。
命題 に対しは左スカラー(任意のに対しが一元集合)であるとする。このときは左スカラーであり、も一元集合で、その元も左スカラーとなる。
(証明)任意のに対して、左再現性よりとなるが存在する。左結合性より
となるが、右辺は仮定より一元集合なので、も一元集合となる。故には左スカラーであることが分かる。従っては一元集合であり、その元は仮定より左スカラーである。
左スカラー元が左消去可能(left cancellative)であるとは、ならが成り立つことを言う。左スカラー元を少なくとも一つ含むハイパー構造は、任意の左スカラー元が左消去可能のときに左消去法則(left cancellation law)を持つという。一般には勿論成り立たないが、が有限集合なら左消去法則を持つ。実際、写像をに対してとなるように定める。このとき左再現性よりは全射だが、有限集合なので単射でもある。よってはを意味する。
先の命題は消去により精密化される。
命題 に対しは左スカラーとする。このときが左消去可能であればも左スカラーとなる。
(証明)任意のに対しとする。であるが、仮定より右辺は一元集合となる。故にであるが、左消去可能なのでを得る。つまりは一元集合となるので、は左スカラーであることが分かる。
定理 左消去可能な左スカラー元が存在するなら、左単位元も存在する。
(証明)を左スカラー元とする。左再現性よりなるが存在する。このが左単位元となることを示せばよい。であることに注意すると、任意のに対してが成り立つ。に対しとなるが、右辺は一元集合なのでが成り立つ。は左消去可能だからを得るため、が従う。
系 定理の記号の下でのに関する対左逆位元は一意的に存在する。特には左スカラーかつを満たす。
(証明)左再現性よりなるが存在する。は左スカラーだからとなるが、先の命題によりも左スカラーとなる。ここでとすると、は左単位元かつより
となる。よってだが、は左消去可能なのでを得る。つまりが従う。一意性はより、左消去可能からが従う。
左単位元は複数存在し得るため、上記のをなどと書くことはできない。しかし便宜上、の逆元(inverse)と呼ぶこともある。
両側結合的かつ左再現的なハイパー構造を、左ハイパー群と呼ぶ。ハイパーベクトル空間1で述べた「非可換な標準的ハイパー群」は左ハイパー群の好例である。
定理 左ハイパー群が左消去法則を持ち、更に右中立元を含むとする。このとき左スカラー元全体はを単位元とする群を作る。
(証明)左スカラー元全体をと置く。に対して積をにより定めれば、この演算はにおいて定まり結合的である。前々節の命題により、左スカラー元に対する左単位元はに一致する。よってが任意ので成り立つ。更にのに関する対左逆位元は一意に定まるため、と書けばを得る。つまりは群となる。
上記の群を左ハイパー群の左核(left nucleus)と呼ぶ。
続き:ハイパー構造3
参考文献
[Mas] Gerasimos G.Massouros. On the Hypergroup Theory. F.S.A.I. Vol.4 No.2(1995).
[Dre, Ore] Melvin Dresher, Oystein Ore. Theory of Multigroups. American Journal of Mathematics, Vol. 60, No. 3 (Jul., 1938), pp. 705-733.