準群

数学、特に抽象代数学における準群（じゅんぐん、）とは、可除性を有するマグマである。群と異なり、結合律や単位元は必須でない。単位元を有する準群は、ループ（）と呼ばれる。ループについても、この記事で扱う。

 定義 
準群には構造として同値な少なくとも2通りの形式的定義が存在する。一つ目はラテン方格性を満たす1個の二項演算を備えた集合として準群を定義し、二つ目は3個の演算の間の等式関係を与えることで普遍代数学的に準群を定義する。ただし、前者の定義では（準群と限らないマグマへの）準同型像が必ずしも準群にならない。

 ラテン方格性による定義 
準群 は、集合 と閉じた二項演算 からなるマグマで、ラテン方格性（Latin square property）に従うものである。この性質は、任意の について、以下を満たす がそれぞれ一意的に存在することである。
 
 
言い換えれば、において各元が全ての行と列にそれぞれただ一回のみ出現することである。この性質は有限準群の積表がラテン方格であることを保証する。 と が一意的であるという要件は、このマグマが簡約可能であるという要件に置き換えられる

これらの等式の一意解は および で表され、演算子 と はそれぞれ、と呼ばれる。積表についていえば、前者の等式（左除法）は が 行 列成分として出現することを、後者の等式（右除法）は が 行 列成分として出現することを、それぞれ意味する。

空集合と空関数からなるマグマは準群の定義を満たすが、これを準群として認めるか否かは著者によって異なる。

 普遍代数学的定義 
何らかの代数的構造が与えられたとき、恒等式は暗黙裡に全ての変数が全称量化され、全ての演算がその構造の適当な原始的演算である等式である。恒等式だけからなる公理系を満たす代数的構造のクラスはバラエティと呼ばれる。普遍代数学の多くの標準的な結果はバラエティについてのみ成り立つ。準群は左除法と右除法を原始的とするとバラエティをなす。

左準群 は 型の代数で以下の恒等式を満たすものである。
 
 

右準群 は 型の代数で以下の恒等式を満たすものである。
 
 

準群 は 型の代数で上記4本の左準群および右準群の恒等式全てを満たすものである。

言い換えれば、同じ側で同じ元による乗法と除法を続けても、その順序によらず値は変わらない。

以上により、 が先の節の定義における準群であるとき、 は普遍代数学の意味での同じ準群である。逆も同様で、 が普遍代数学の意味での準群であるとき、 は最初の定義における準群である。

 ループ 

ループ（）は単位元を備えた準群である。すなわち、ある元（零項演算） が存在して以下が成り立つものである。
 全ての について である。

単位元 の存在は一意であり、 のいずれの元も一意な左および右逆元（必ずしも一致しない）を持つ。 

冪等元を備えた準群はpique（pointed idempotent quasigroup）とよばれる。これはループよりも弱い概念であるが、それでもなおありふれた概念であり、例えば、アーベル群 が与えられたとき、その減法を準群の乗法とすることで、群の単位元 0 を冪等元とする pique を得る。つまり、主アイソトピー が存在する。

ループは結合的であれば群である。群は非結合的な pique との間にアイソトピーを持ちうるが、非結合的なループとの間にアイソトピーを持つことはない。

特別に名の付いている弱い結合律がある。

例えば、（Bol loop）は以下のいずれかの恒等式を満たすループである。
 （左ボル・ループ）
 （右ボル・ループ）

左かつ右ボル・ループであるときにはムーファン・ループ（moufang loop）と呼ばれる。これは、以下のムーファン恒等式の任意の一つと同値である。
 
 
 
 

 対称性 
 は以下の重要な性質とサブクラスに名を与えた。

 半対称性 
準群が半対称（semi-symmetric）と呼ばれるのは以下の互いに同値な恒等式のいずれかが成立するときである。
 
 
 
 

このクラスは特別であるように見えるかもしれないが、どの準群 も以下の演算によって直積 上に半対称準群 を誘導する。
 
ここで、 と は と で与えられる共役除法である。

 三対性 

 全対称性 
三つの演算が一致する、つまり であるような、より狭いクラスが全対称準群（totally symmetric quasigroup、略してTS-準群とも）である。全対称準群には可換な、つまり であるような半対称準群とする別の定義もある。

冪等な全対称準群はシュタイナー三重系と等価であることから、シュタイナー準群（Steiner quasigroup、squag）とも呼ばれる。ループにおいてこれに対応するのが sloop であり、冪等性 に代えて を満たすものである。また、冪等性を要求しない一般の全対称準群は、一般化楕円三次曲線（Generalized Elliptic Cubic Curve、GECC）とも呼ばれる、拡張シュタイナー三重系の幾何学的概念に相当する。

 全反対称性 

全ての について以下の含意が成立するとき、準群 は弱全反対称（weakly totally anti-symmetric） であるという。
 

準群 が全反対称（totally anti-symmetric）とよばれるのは、これに加えて、全ての について以下の含意が成立するときである。
 

この性質は、例えばDammアルゴリズムにおいて要求される。

 例 

 全ての群はループである。実際、 および である。
 整数の全体 （あるいは 有理数全体 や実数全体 ）とその減法（−）は準群をなす。この準群は単位元を持たないためループではない（ なので 0 が右単位元であるが、一般に であるためこれは左単位元にはならない）。
 非零有理数 （あるいは非零実数 ）とその除法（÷）は準群をなす。
 2でない標数の体上の任意のベクトル空間は、演算 のもとで冪等かつ可換な準群をなす。
 全てのシュタイナー三重系は冪等かつ可換な準群を定める： とし、 について を と をともに含む唯一の三つ組の残り一つの元とする。この準群は任意の と について も満たしており、シュタイナー準群として知られる。
 四元数の単元集合 について とし、残りの積を四元数の通常の乗法で与えると、位数8の非結合的なループをなす。はこの乗法のもとで を基底とする 上の非結合的多元環である。なお、双曲四元数それ自身はループにも準群にもならない。
 非零八元数はその乗法のもとで非結合的なループをなす。これはムーファン・ループの一つとして知られる。
 結合的な準群は空であるか群である。もし一つ以上の元が存在すれば、準群の二項演算の簡約性と結合性により単位元の存在が含意され、そして逆元の存在が含意される。これにより、演算の結合性と単位元および逆元の存在という群の要件を全て満たすことになる。
 以下の構成はによる。位数3のガロア体 上の4次元ベクトル空間 に以下の演算 を導入すると、 は群でない可換なムーファン・ループとなる。

 より一般に、任意の多元体の非零元の全体は、その乗法を演算として準群をなす。

 性質 
この記事の残りでは準群の乗法を単に並置で表して演算子を省略する。

準群は簡約性を持つ。すなわち、 であれば であり、 であれば である。

準群のラテン方格性は、 の3変数のうちどの2個が与えられても3個目の変数が一意に定まることを含意する。

 乗算作用素 

準群の定義はマグマ の左右の乗算作用素 についての条件として扱うことができる。ここで、 および とする。準群の定義はこのどちらの写像も からそれ自身への全単射であることであることを意味する。マグマ が準群であるのは、全ての についてこれらの作用が全単射であるときである。またこのとき、それぞれの逆写像が左右の除法である。つまり および である。この記法の下で、#普遍代数学的定義における乗法と除法の間の恒等式は、 上の恒等写像を として以下のように表せる。
 （ に対応）
 （ に対応）
 （ に対応）
 （ に対応）

 ラテン方格 

+ ラテン方格。10個の数字0–9を元とする準群の（端の見出し行・見出し列の無い）積表となる。0482396715362871950489310642571765480329219067584352749310864306152978985720346170195486326543827190

有限準群の積表はラテン方格となる。すなわち、 個の相異なる記号で埋めた の表で、各行および各列に各記号が正確に一回ずつ現れる。

反対に、いずれのラテン方格も複数のラテン方格の積表として捉えることができる。複数というのは、列見出しの行、行見出しの列を追加するときに記号の任意の並べ方を用いることができるからである。も参照。

 無限準群 
可算無限準群 については、各行および各列が の元にそれぞれ対応し、 の行と の列の交わるところに があるような、無限の表を想定することができる。この場合でも、ラテン方格性はこの無限の表の各行および各列が全ての を一回ずつ含むことである。

非零実数のなす乗法群のような非可算無限準群については、ラテン方格性は成り立つものの、これは名称としてはやや不十分である。というのは、これらの実数全てを列 (数学)として表せない（整列可能定理を仮定すれば整列順序を与えることまでは可能だが）ので、上記の無限の表の考え方を拡張して組み合わせた表を構成できないからである。

 Inverse properties 

ループの全ての元 に対して左逆元 および右逆元 がそれぞれ一意的に存在して、 が成り立つ。全ての について であるとき、その（両側）逆元は で表される。

ループにおいては逆元についてのいくつかの概念が用いられる。
 Left inverse property（LI）は、全ての および について を満たすことである。 あるいは とも表せる。
 Right inverse property（RI）は、全ての および について を満たすことである。 あるいは とも表せる。
 Antiautomorphic inverse property（AI）は、全ての および について または を満たすことである。
 Weak inverse property（WI）は、 と が同値になることである。

LI、RI、AIの三つはいずれも両側逆元の存在を含意する。また、LIかつRIを満たすことを inverse property（IP）と呼び、これはAIおよびWIを含意する。実際のところ、LI、RI、AI、WIのうちいずれか二つを満たせばIPであり、残りの二つも成り立つ。

 射 

二つの準群（またはループ） の間の準同型（homomorphism）とは、写像 で が成り立つものである。準群準同型は左右の除法および（存在すれば）単位元を保つ。

 ホモトピーとアイソトピー 

準群 から準群 へのホモトピー（homotopy）とは、 から への写像の三つ組 で、全ての について であるものをいう。準同型は三つの写像が等しいホモトピーに他ならない。

アイソトピー（isotopy、イソトピー）は三つの写像 がいずれも全単射のホモトピーである。二つの準群の間にアイソトピーがあるときそれらはアイソトピック（isotopic イソトピック）であるという。ラテン方格で言い換えれば、アイソトピー は行の置換 、列の置換 、台集合の元の置換 の組である。

オートトピー（autotopy）はある準群からそれ自身へのアイソトピーである。準群の全てのオートトピーの集合は群をなし、自己同型群を部分群として持つ。

全ての準群にはアイソトピックなループが存在する。また、群とアイソトピックなループはその群と同型でありそれ自身が群である。ただし、準群は群とアイソトピックであっても群とは限らない。例えば、 に で乗法を与えた準群は加法群 とアイソトピックだが、結合的ではなく単位元も持たないため群ではない。ブルック–マードック–豊田の定理により、全ての中可換準群にはアイソトピックなアーベル群が存在する。

 共役 

左除法や右除法はそれを乗法として準群をなす。つまり、元々の乗法の定義の等式 に対して変数を入れ替えて新たな乗法を や として準群が得られることを意味する。さらにこれら三つの演算の反転（opposite）により 、、 の演算が得られる。これら六つの演算をまとめて の共役（conjugates、parastrophes）と呼ぶ。また、これらの演算の任意の二つ（同一の場合を含む）は互いに共役である（conjugate (parastrophic) to each other）という。

集合 Q 上に二つの準群演算 および があり、一方が他方の共役とアイソトピックであるとき、それらの演算は互いにアイソストロフィック（isostrophic）であるという。この関係にはパラトピー（paratopy）など多くの別名がある。

 一般化 

 多項準群 

-項準群（-ary quasigroup）は集合 とその上の -項演算 の組 で、等式 の変数のうちどの 個の値が任意に与えられても残りの一つの値が一意に定まるものである。多項（polyadic、multiary）というときには、ある非負整数 が存在して -項であることを意味する。

零項（0-ary、nullary）準群の演算は 上の定値写像であり、単項（1-ary、unary）準群の演算は 上の置換である。二項（2-ary、binary）準群は通常の準群である。

多項準群の一例は群演算の繰り返し である。また、演算の順序を指定すれば、必ずしも同一でない群演算や準群演算の列（例えば整数の加法・減法・乗法が混在する列）を用いても多項準群を構成できる。

このような方法で表すことができない多項準群も存在する。 かつ のいかなる および においても演算 が
 
と二つの演算の合成に分解することができないならば、-項準群は既約（irreducible）であるという。有限既約 -項準群は全ての において存在する 。

結合律を満たす -項準群は、と呼ばれる。

 小さい準群およびループの数 

小さい準群（）およびループ（）の個数（ただし同型なもの同士は一つと数える）は、下表の通り。

 位数
 準群の数
 ループの数 0
 1
 0 1
 1
 1 2
 1
 1 3
 5
 1 4
 35
 2 5
 1,411
 6 6
 1,130,531
 109 7
 12,198,455,835
 23,746 8
 2,697,818,331,680,661
 106,228,849 9
 15,224,734,061,438,247,321,497
 9,365,022,303,540 10
 2,750,892,211,809,150,446,995,735,533,513
 20,890,436,195,945,769,617 11
 19,464,657,391,668,924,966,791,023,043,937,578,299,025
 1,478,157,455,158,044,452,849,321,016