Pseudorühmoid

Pseudorühmoid ehk osaline rühmoid (ka pseudogrupoid, osaline grupoid, pseudomagma, osaline magma, poolrühmoid, poolgrupoid) on algebraline struktuur (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.

Alternatiivne definitsioon

Pseudorühmoidi $(M,f)$ võib defineerida ka hulgana $M$ koos teist liiki välise binaarse tehtega $f\colon M\times M\rightarrow B$.

Pseudorühmoidi $(M,f)$, mis on defineeritud osalise kujutuse kaudu, saab muuta ekvivalentseks teist liiki välise binaarse tehtega pseudorühmoidiks $(M,f')$, defineerides hulga $B:=M\cup \{x\}$, kus $x\notin M$, ja defineerides $f'(a,b)=x$, kui $(a,b)\notin {\mbox{Def}}(f)$, kus ${\mbox{Def}}(f)$ on osalise kujutuse $f'$ määramispiirkond, ja vastasel juhtumil defineerides $f'(a,b)=f(a,b)$.

Teistpidi, teist liiki välise binaarse tehtega pseudorühmoidi $(M,f')$ saab muuta ekvivalentseks osalise tehte kaudu defineeritud pseudorühmoidiks $(M,f)$, jättes $f$ kohal $(a,b)$ defineerimata, kui $f'(a,b)\notin M$, ning vastasel juhul defineerides $f(a,b)=f'(a,b)$.

Seega on need kaks definitsiooni teatud mõttes ekvivalentsed.

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 -

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.