Pseudorühmoid

Pseudorühmoid ehk osaline rühmoid (ka pseudogrupoid, osaline grupoid, pseudomagma, osaline magma, poolrühmoid, poolgrupoid) on universaalalgebra (täpsemalt osaline algebra) $(M,f)$, mis koosneb hulgast $M$ ja sellel defineeritud osalisest binaarsest algebralisest tehtest (osalisest kujutusest $f\colon M\times M\rightsquigarrow M$).

See on rühmoidi mõiste üldistus; erinevus on ainult selles, et rühmoidi puhul ei tohi tehe olla osaline, pseudorühmoidi puhul aga tohib.

Nagu ka rühmoidi puhul, peab tehe olema kinnine. Midagi muud ei nõuta.

Alampseudorühmoid

Analoogselt rühmoidi alamrühmoidiga ja rühma alamrühmaga saab defineerida pseudorühmoidi alampseudorühmoidi, ent siin tuleb eraldi vaadelda tehte määramispiirkonda.

Olgu ${\boldsymbol {M}}=(M,*)$ pseudorühmoid. Pseudorühmoidi ${\boldsymbol {U}}=(U,\circ )$ nimetatakse pseudorühmoidi ${\boldsymbol {M}}$ alampseudorühmoidiks, kui $U\subseteq M$ ja $\circ =*|_{{\mbox{Def}}(\circ )}$, st tehe $\circ$ on tehte $*$ ahend tehte $\circ$ määramispiirkonnale ${\mbox{Def}}(\circ )\subseteq U\times U$.

Teiste sõnadega, pseudorühmoid ${\boldsymbol {U}}$ on pseudorühmoidi ${\boldsymbol {M}}$ alampseudorühmoid, kui $U\subseteq M$ ja

${\mbox{Def}}(\circ )\subseteq {\mbox{Def}}(*)\cap U\times U$

ja

$a*b=a\circ b\in U$ kõikide $(a,b)\in {\mbox{Def}}(\circ )$ korral.

Rühmoidil ${\boldsymbol {M}}=(M,*)$ võib olla alampseudorühmoid, mis ei ole alamrühmoid, nimelt juhul, kui

${\mbox{Def}}(\circ )\subsetneq U\times U={\mbox{Def}}(*)\cap U\times U$.

Näide

Olgu ${\boldsymbol {M}}=(M,*)$ ja ${\boldsymbol {U}}=(U,\circ )$ pseudorühmoidid, kus $M=\{a,b,c\}$, $U=\{a,b\}$ ing tehete $*$ ja $\circ$ Cayley tabelid on

$*$ a b c a a b - b c b a c c a -

$\circ$ a b a a b b - b

Siis pseudorühmoid ${\boldsymbol {U}}$ on pseudorühmoidi ${\boldsymbol {M}}$ alampseudorühmoid.

Märkused:

• Tehte $b*a$ tulem võiks olla suvaline (see võiks ka olla $a$, $b$ või defineerimata), sest $(b,a)\notin {\mbox{Def}}(\circ )$.
• Kui oleks nii, et $(a,b)\notin {\mbox{Def}}(*)$, siis pseudorühmoid ${\boldsymbol {U}}$ ei oleks pseudorühmoidi ${\boldsymbol {M}}$ alampseudorühmoid, sest $(a,b)\in {\mbox{Def}}(\circ )$, nii et ei kehtiks ${\mbox{Def}}(\circ )\subset {\mbox{Def}}(*)\cap U\times U$.

Kinnised alampseudorühmoidid ning pseudorühmoidide laiendid, täielikud laiendid ja lahtised laiendid

Olgu ${\boldsymbol {M}}=(M,*)$ pseudorühmoid ja ${\boldsymbol {U}}=(U,\circ )$ selle alampseudorühmoid.

• Alampseudorühmoidi ${\boldsymbol {U}}$ nimetatakse kinniseks pseudorühmoidis ${\boldsymbol {M}}$), kui juhul kui $a,b\in U$ ja $(a,b)\in {\mbox{Def}}(*)$ ja $a*b=c$, siis $(a,b)\in {\mbox{Def}}(\circ )$ ja $a\circ b=c$. Näide:

$*$ a b c a a b - b b - a c c a -

$\circ$ a b a a b b b -

• Pseudorühmoidi ${\boldsymbol {M}}$ nimetatakse oma alampseudorühmoidi ${\boldsymbol {U}}$ laiendiks), kui juhul kui $a,b\in M$ ja $(a,b)\in {\mbox{Def}}(*)$, siis $a,b\in U$, ja juhul kui $c\in M\land c\notin U$, siis $\exists (a,b)\in U\times U:(a,b)\in {\mbox{Def}}(*)\land c=a*b$. Näide:

$*$ a b c a a - - b b c - c - - -

$\circ$ a b a a - b b -

• Pseudorühmoidi ${\boldsymbol {U}}$ laiendit ${\boldsymbol {M}}$ nimetatakse selle täielikuks laiendiks), kui $\forall (a,b)\in U\times U:(a,b)\in {\mbox{Def}}(*)$. Näide:

$*$ a b c a a b - b b c - c - - -

$\circ$ a b a a - b b -

• Pseudorühmoidi ${\boldsymbol {U}}$ laiendit ${\boldsymbol {M}}$ nimetatakse selle lahtiseks laiendiks), kui juhul kui $(a,b)\in {\mbox{Def}}(*)$, $a*b=c$ ja $c\in U$, siis $(a,b)\in {\mbox{Def}}(\circ )$ ja $a\circ b=c$, ning kui $c\in M\land c\notin U$ ja $(a,b)\in {\mbox{Def}}(*)\land (a',b')\in {\mbox{Def}}(*)\land a*b=a'*b'=c$, siis $a=a'\land b=b'$. Näide:

$*$ a b c d a a - - - b d c - - c - - - - d - - - -

$\circ$ a b a a - b - -

Märkused:

• Iga pseudorühmoid on iseenda kinnine alampseudorühmoid.
• Iga pseudorühmoid on iseenda lahtine laiend.
• Iga pseudorühmoid, mis on iseenda täielik laiend, on rühmoid.
• Pseudorühmoidil, mis ei ole rühmoid, saab olla lahtine laiend, saab olla täielik laiend ning saab olla lahtine ja täielik laiend. Lahtise ja täieliku laiendi näide:

$*$ a b c d e a a e - - - b d c - - - c - - - - - d - - - - - e - - - - -

$\circ$ a b a a - b - -

Arvutamisseadused

Analoogselt rühmoidiga võib pseudorühmoid olla assotsiatsiivne või kommutatiivne, kuid siin tuleb täpsustada määramispiirkonnasse puutuvat. Assotsiatiivsuse ja kommutatiivsuse definitsioonid on niisugused:

• Pseudorühmoid $(M,\circ )$ on assotsiatiivne (ja seda nimetatakse siis ka osaliseks poolrühmaks, kui kõikide $x,y,z\in M$ korral juhul kui $x\circ y\in M$ ja $y\circ z\in M$, siis

1. $x\circ (y\circ z)\in M$ parajasti siis, kui $(x\circ y)\circ z\in M$
2. ja $x\circ (y\circ z)=(x\circ y)\circ z$, kui $x\circ (y\circ z)\in M$ (ning punkti 1. tõttu ka $(x\circ y)\circ z\in M$)

• Pseudorühmoid $(M,\circ )$ on kommutatiivne, kui kõikide $x,y\in M$ korral

1. $x\circ y\in M$ parajasti siis, kui $y\circ x\in M$
2. ja $x\circ y=y\circ x$, kui $x\circ y\in M$ (ning punkti 1. tõttu ka $y\circ x\in M$)

Näited

• Kõik rühmoidid on pseudorühmoidid.
• Kui võtta naturaalarvude hulgal tehteks lahutamine või jagamine ning defineerida see ainult nende naturaalarvude järjestatud paaride jaoks, mille korral vahe või vastavalt jagatis on naturaalarv, saame mitteassotsiatiivse mittekommutatiivse pseudorühmoidi.
• Väikese kategooria morfismide klass on hulk, mis koos morfismide korrutamisega moodustab assotsiatiivse pseudorühmoidi. Enamasti saab pseudorühmoidi moodustada ka morfismide klassil.
• Mis tahes kujutuste hulk S koos kujutuste korrutamisega $\circ \colon M\times M\to M,(\operatorname {f} ,\operatorname {g} )\mapsto \operatorname {f} \circ \operatorname {g}$ moodustab assotsiatiivse pseudorühmoidi $(M,\circ ).$

• Formaalne keel koos konkatenatsiooniga moodustab assotsiatiivse pseudorühmoidi. Tähestiku Kleene kate on poolrühm (isegi monoid), sest konkatenatsioon on sellel kinnine tehe. Formaalne keel on aga selle suvaline alamhulk, millel konkatenatsioon üldjuhul ei ole kinnine.

Kirjandus

• Yoshifumi Inui, François Le Gall. Quantum Property Testing of Group Solvability, lk 2.