Kvazigroup - Quasigroup - Wikipedia

v matematika, speciálně v abstraktní algebra, a kvazigroup je algebraická struktura připomínající a skupina V tom smyslu, že "divize „je vždy možné. Kvazigroup se liší od skupin hlavně tím, že nemusí být nutně asociativní.

Kvazskupina s prvkem identity se nazývá a smyčka.

Definice

Existují alespoň dvě strukturálně ekvivalentní formální definice kvazigroup. Jeden definuje kvazigroup jako sadu s jedním binární operace a druhý z univerzální algebra, definuje kvazigroup jako tří primitivní operace. The homomorfní obraz kvazigroup definované jednou binární operací, ale nemusí to být kvazigroup.[1] Začneme první definicí.

Algebra

A kvazigroup (Q, ∗) není prázdné soubor Q s binární operací ∗ (tj. a magma ), poslouchat Vlastnost latinského čtverce. To uvádí, že pro každého A a b v Qexistují jedinečné prvky X a y v Q takové, že oba

AX = b,
yA = b

držet. (Jinými slovy: Každý prvek sady se vyskytuje přesně jednou v každém řádku a přesně jednou v každém sloupci multiplikační tabulky kvazigroup, nebo Cayleyho stůl. Tato vlastnost zajišťuje, že Cayleyova tabulka konečné kvazigroup, a zejména konečné skupiny, je Latinský čtverec.) Požadavek jedinečnosti lze nahradit požadavkem, aby bylo magma zrušující.[2]

Unikátní řešení těchto rovnic jsou napsána X = A \ b a y = b / A. Operace '' a '/' se nazývají vlevo, odjet a že jo divize.

The prázdná sada vybavené prázdná binární operace splňuje tuto definici kvazigroup. Někteří autoři akceptují prázdnou kvazigroup, ale jiní ji výslovně vylučují.[3][4]

Univerzální algebra

Vzhledem k některým algebraická struktura, an identita je rovnice, ve které jsou všechny proměnné mlčky všeobecně kvantifikováno, a ve kterém všechny operace patří mezi primitivní operace vlastní struktuře. Algebraické struktury axiomatizované pouze identitami se nazývají odrůdy. Mnoho standardních výsledků v univerzální algebra platí pouze pro odrůdy. Kvazoskupiny jsou odrůdy, pokud se levé a pravé dělení považuje za primitivní.

A kvazigroup (Q, ∗, \, /) je algebra typu (2,2,2) (tj. vybavená třemi binárními operacemi) splňující identity:

y = X ∗ (X \ y),
y = X \ (Xy),
y = (y / X) ∗ X,
y = (yX) / X.

Jinými slovy: Násobení a dělení v jednom pořadí, jeden po druhém, na stejné straně stejným prvkem, nemají žádný čistý účinek.

Proto pokud (Q, ∗) je tedy kvazoskupina podle první definice (Q, ∗, \, /) je stejná kvazoskupina ve smyslu univerzální algebry. A naopak: pokud (Q, ∗, \, /) je tedy kvazoskupina podle smyslu univerzální algebry (Q, ∗) je kvazoskupina podle první definice.

Smyčky

Algebraické struktury mezi magmy a skupinami.

A smyčka je kvazigroup s prvek identity; to je prvek, E, takový, že

XE = X a EX = X pro všechny X v Q.

Z toho vyplývá, že prvek identity, E, je jedinečný a to každý prvek Q má jedinečný vlevo, odjet a pravé inverze (což nemusí být stejné).

Kvazigroup s idempotentní prvek se nazývá a pique („špičatá idempotentní kvazskupina“); toto je slabší pojem než smyčka, ale přesto je to běžné, protože, například, vzhledem k abelianská skupina, (A, +), když vezmeme operaci odčítání jako násobení kvazigroup, získá se to (A, −) se skupinová identita (nula) změnila na „špičatého idempotenta“. (To znamená, že existuje hlavní izotopy (X, y, z) ↦ (X, −y, z).)

Smyčka, která je asociativní, je skupina. Skupina může mít neasociativní izotop pique, ale nemůže mít izotop neasociativní smyčky.

Existují slabší vlastnosti asociativity, které dostaly speciální názvy.

Například a Bol smyčka je smyčka, která splňuje buď:

X ∗ (y ∗ (Xz)) = (X ∗ (yX)) ∗ z pro každého X, y a z v Q (A levá Bol smyčka),

nebo jinak

((zX) ∗ y) ∗ X = z ∗ ((Xy) ∗ X) pro každého X, y a z v Q (A pravá Bol smyčka).

Smyčka, která je levou i pravou Bolovou smyčkou, je a Mufang smyčka. To je ekvivalentní kterékoli z následujících jednotlivých identit Moufang, které platí pro všechny X, y, z:

X ∗ (y ∗ (Xz)) = ((Xy) ∗ X) ∗ z,
z ∗ (X ∗ (yX)) = ((zX) ∗ y) ∗ X,
(Xy) ∗ (zX) = X ∗ ((yz) ∗ X), nebo
(Xy) ∗ (zX) = (X ∗ (yz)) ∗ X.

Symetrie

Smith (2007) jmenuje následující důležité vlastnosti a podtřídy:

Polosymetrie

Kvazigroup je polosymetrický pokud platí tyto ekvivalentní identity:

xy = y / X,
yx = X \ y,
X = (yx)y,
X = y(xy).

Ačkoli se tato třída může zdát zvláštní, každá kvazigroup Q indukuje semisymetrickou kvazskupinu QΔ na přímé krychli produktu Q3 pomocí následující operace:

kde „//“ a „“ jsou operace sdruženého dělení dána a .

Soudnost

Celková symetrie

Užší třída, která je zcela symetrická kvazskupina (někdy zkráceno TS-kvazigroup) ve kterém se všechny konjugáty shodují jako jedna operace: xy = X / y = X \ y. Další způsob, jak definovat (stejný pojem) zcela symetrickou kvazskupinu, je jako semisymetrická kvazskupina, která je také komutativní, tj. xy = yx.

Idempotentní celkové symetrické kvazoskupiny jsou přesně (tj. V bijekce s) Steiner se ztrojnásobí, takže taková kvazskupina se také nazývá a Steinerova kvazskupina, a někdy je tato zkratka dokonce zkrácena jako zádrhel; termín šalupa je definován podobně pro Steinerovu kvazskupinu, která je také smyčkou. Bez idempotence odpovídají celkové symetrické kvazoskupiny geometrickému pojmu prodloužený Steiner triple, nazývaná také generalizovaná eliptická kubická křivka (GECC).

Celková antisymetrie

Kvazigroup (Q, ∗) je nazýván zcela anti-symetrický pokud pro všechny C, X, yQ, platí obě následující implikace:[5]

  1. (CX) ∗ y = (Cy) ∗ X to naznačuje X = y
  2. Xy = yX to naznačuje X = y.

To se nazývá slabě zcela anti-symetrický pokud platí pouze první implikace.[5]

Tato vlastnost je vyžadována například v Dammův algoritmus.

Příklady

(X1, X2, X3, X4) ∗ (y1, y2, y3, y4) = (X1, X2, X3, X4) + (y1, y2, y3, y4) + (0, 0, 0, (X3y3)(X1y2X2y1)).
Pak, (F4, ∗) je komutativní Mufang smyčka to není skupina.[7]
  • Obecněji řečeno, sada nenulových prvků libovolného divize algebra tvoří kvazigroup.

Vlastnosti

Ve zbývající části článku budeme označovat kvazigroup množení jednoduše srovnáním.

Kvazskupiny mají zrušení majetku: pokud ab = ac, pak b = C. To vyplývá z jedinečnosti levého dělení ab nebo ac podle A. Podobně, pokud ba = ca., pak b = C.

Operátory násobení

Definici kvazigroup lze považovat za podmínky u operátorů násobení vlevo a vpravo L(X), R(y): QQ, definován

Definice říká, že obě mapování jsou bijekce z Q pro sebe. Magma Q je kvazskupina přesně tehdy, když všechny tyto operátory, pro každého X v Q, jsou bijektivní. Inverzní zobrazení je levé a pravé dělení, tj.

V tomto zápisu jsou identity mezi operacemi násobení a dělení kvazskupiny (uvedeny v části o univerzální algebra ) jsou

kde 1 označuje mapování identity na Q.

Latinské čtverce

Latinský čtverec, neomezená tabulka násobení pro kvazskupinu, jejíž 10 prvků jsou číslice 0–9.

Multiplikační tabulka konečné kvazigroup je a Latinský čtverec: an n × n stůl naplněný n různé symboly takovým způsobem, že každý symbol se vyskytuje přesně jednou v každém řádku a přesně jednou v každém sloupci.

Naopak každý latinský čtverec lze brát jako multiplikační tabulku kvazoskupiny mnoha způsoby: hraniční řádek (obsahující záhlaví sloupců) a hraniční sloupec (obsahující záhlaví řádků) může být každá jakákoli permutace prvků. Vidět malé latinské čtverce a kvazoskupiny.

Nekonečné kvazoskupiny

Pro počítatelně nekonečný kvazigroup Q, je možné si představit nekonečné pole, ve kterém každý řádek a každý sloupec odpovídá nějakému prvku q z Qa kde prvek A*b je v řádku odpovídajícím A a sloupec reagující na b. V této situaci také vlastnost Latinské náměstí říká, že každý řádek a každý sloupec nekonečného pole bude obsahovat každou možnou hodnotu přesně jednou.

Pro nespočetně nekonečný kvazigroup, například skupina nenulová reálná čísla při násobení stále platí vlastnost Latin square, i když název je poněkud neuspokojivý, protože není možné vytvořit pole kombinací, na které se výše uvedená myšlenka nekonečného pole vztahuje, protože skutečná čísla nelze zapsat do sekvence.

Inverzní vlastnosti

Každý prvek smyčky má jedinečnou inverzi vlevo a vpravo danou

Smyčka se říká, že (oboustranný) inverze -li pro všechny X. V tomto případě je inverzní prvek obvykle označen .

Existují některé silnější představy o inverzích ve smyčkách, které jsou často užitečné:

  • Smyčka má levá inverzní vlastnost -li pro všechny a . Ekvivalentně nebo .
  • Smyčka má pravá inverzní vlastnost -li pro všechny a . Ekvivalentně nebo .
  • Smyčka má antiautomorfní inverzní vlastnost -li nebo ekvivalentně, pokud .
  • Smyčka má slabá inverzní vlastnost když kdyby a jen kdyby . To může být uvedeno z hlediska inverzí prostřednictvím nebo ekvivalentně .

Smyčka má inverzní vlastnost pokud má levé i pravé inverzní vlastnosti. Smyčky inverzní vlastnosti mají také antiautomorfní a slabé inverzní vlastnosti. Ve skutečnosti má jakákoli smyčka, která splňuje kterékoli dvě z výše uvedených čtyř identit, inverzní vlastnost, a proto splňuje všechny čtyři.

Každá smyčka, která splňuje levé, pravé nebo antiautomorfní inverzní vlastnosti, má automaticky oboustranné inverze.

Morfismy

Kvazigroup nebo smyčka homomorfismus je mapa F : QP mezi dvěma kvazoskupinami takovými F(xy) = F(X)F(y). Kvazigroupové homomorfismy nutně zachovávají levé a pravé dělení, stejně jako prvky identity (pokud existují).

Homotopy a izotopy

Nechat Q a P být kvazoskupinami. A homotopie kvazskupiny z Q na P je trojnásobek (α, β, γ) map z Q na P takhle

pro všechny X, y v Q. Kvazigroupový homomorfismus je jen homotopie, pro kterou jsou tři mapy stejné.

An izotopy je homotopie, pro kterou je každá ze tří map (α, β, γ) je bijekce. Dvě kvazskupiny jsou izotopový pokud je mezi nimi izotop. Z hlediska latinských čtverců izotop (α, β, γ) je dána permutací řádků α, permutací sloupců β a permutací na základní sadě prvků γ.

An autotopy je izotop z kvazigroup pro sebe. Sada všech autotopů kvazigroup tvoří skupinu s skupina automorfismu jako podskupina.

Každá kvazigroup je izotopová vůči smyčce. Pokud je smyčka pro skupinu izotopová, pak je pro tuto skupinu izomorfní, a tedy je sama o sobě skupinou. Kvazoskupina, která je pro skupinu izotopová, však nemusí být skupinou. Například kvazigroup na R s násobením daným (X + y)/2 je pro skupinu aditiv izotopový (R, +), ale není sama o sobě skupinou. Každý mediální quasigroup je izotopový k abelianská skupina podle Věta Bruck – Toyoda.

Konjugace (parastrof)

Levé a pravé dělení jsou příklady formování kvazskupiny permutací proměnných v definující rovnici. Z původní operace ∗ (tj. Xy = z) můžeme vytvořit pět nových operací: X Ó y := yX (dále jen naproti operace), / a a jejich protiklady. To dělá celkem šest operací quasigroup, které se nazývají konjugáty nebo parastrofy z ∗. O jakýchkoli dvou z těchto operací se říká, že jsou „konjugované“ nebo „parastrofické“ navzájem (i sobě samým).

Isostrophe (paratopy)

Pokud je sada Q má dvě operace kvazoskupiny, ∗ a ·, a jedna z nich je izotopová ke konjugátu druhé, operace jsou považovány za isostrofický navzájem. Existuje také mnoho dalších jmen pro tento vztah „izostrof“, např. paratopy.

Zobecnění

Polyadic nebo multiary quasigroups

An n-ary quasigroup je sada s n-ary provoz, (Q, F) s F: QnQ, takže rovnice F(X1,...,Xn) = y má jedinečné řešení pro každou proměnnou, pokud všechny ostatní n proměnné jsou specifikovány libovolně. Polyadický nebo multiary prostředek n-ary pro nějaké nezáporné celé číslo n.

0 let, nebo nullary, quasigroup je jen konstantní prvek Q. 1-letý, nebo unární, kvazigroup je bijekce Q pro sebe. A binární, nebo 2-ary, quasigroup je obyčejný quasigroup.

Příkladem multiary quasigroup je iterovaná skupinová operace, y = X1 · X2 · ··· · Xn; k určení pořadí operací není nutné používat závorky, protože skupina je asociativní. Lze také vytvořit multiamerickou kvazskupinu provedením jakékoli sekvence stejné nebo odlišné skupiny nebo kvazigroup operací, pokud je zadáno pořadí operací.

Existují multiary quasigroups, které nelze reprezentovat žádným z těchto způsobů. An n-ary quasigroup is neredukovatelné pokud jeho provoz nelze zapracovat do složení dvou operací následujícím způsobem:

kde 1 ≤ i < jn a (já, j) ≠ (1, n). Konečně neredukovatelné n-ary quasigroups existují pro všechny n > 2; podrobnosti viz Akivis a Goldberg (2001).

An n-ary quasigroup with an n-ary verze asociativita se nazývá n-ary skupina.

Pravá a levá kvazigroup

A pravá kvazigroup (Q, ∗, /) je algebra typu (2,2) splňující obě identity:y = (y / X) ∗ X;y = (yX) / X.

Podobně, a levá kvazigroup (Q, ∗, \) je algebra typu (2,2) splňující obě identity:y = X ∗ (X \ y);y = X \ (Xy).

Počet malých kvazskupin a smyček

Počet tříd izomorfismu malých kvazoskupin (sekvence A057991 v OEIS ) a smyčky (sekvence.) A057771 v OEIS ) je uveden zde:[8]

ObjednatPočet kvazskupinPočet smyček
010
111
211
351
4352
51,4116
61,130,531109
712,198,455,83523,746
82,697,818,331,680,661106,228,849
915,224,734,061,438,247,321,4979,365,022,303,540
102,750,892,211,809,150,446,995,735,533,51320,890,436,195,945,769,617
1119,464,657,391,668,924,966,791,023,043,937,578,299,0251,478,157,455,158,044,452,849,321,016

Viz také

Poznámky

  1. ^ Smith, Jonathan D. H. (2007). Úvod do kvazoskupin a jejich reprezentací. Boca Raton, Florida [USA]: Chapman & Hall / CRC. str.3, 26–27. ISBN  978-1-58488-537-5.
  2. ^ H. Rubin; J. E. Rubin (1985). Ekvivalenty Axiomu volby, II. Elsevier. str.109.
  3. ^ Pflugfelder 1990, str. 2
  4. ^ Bruck 1971, str. 1
  5. ^ A b Damm, H. Michael (2007). "Naprosto antisymetrické kvazoskupiny pro všechny objednávky." n≠2,6". Diskrétní matematika. 307 (6): 715–729. doi:10.1016 / j.disc.2006.05.033.
  6. ^ Colbourn & Dinitz 2007, str. 497, definice 28.12
  7. ^ Smith, Jonathan D. H .; Romanowska, Anna B. (1999), „Příklad 4.1.3 (Zassenhausova komutativní smyčka Moufang)“, Postmoderní algebraČistá a aplikovaná matematika, New York: Wiley, s. 93, doi:10.1002/9781118032589, ISBN  978-0-471-12738-3, PAN  1673047.
  8. ^ McKay, Brendan D .; Meynert, Alison; Myrvold, Wendy (2007). „Malé latinské čtverce, kvazigroup a smyčky“ (PDF). J. Comb. Des. 15 (2): 98–119. CiteSeerX  10.1.1.151.3043. doi:10.1002 / jcd.20105. Zbl  1112.05018.

Reference

externí odkazy