From Wikipedia, the free encyclopedia
Rühmoid ehk grupoid on üldalgebras hulk M[1] (rühmoidi kandja) koos sellel defineeritud üheainsa binaarse algebralise tehtega[2] M × M → M. Tehte tulemid kuuluvad definitsiooni põhjal hulka M. Mingeid muid tingimusi tehtele ei esitata.
![]() |
See artikkel räägib ühe binaarse algebralise tehtega hulgast; kategooriateooria mõiste kohta vaata artiklit Rühmoid (kategooria) |
Tegemist on ühega kõige lihtsamini defineeritud universaalalgebrate klassidest.
Rühmoidi mõiste ning nimetuse Gruppoid võttis kasutusele Heinrich Brandt 1926. Nimetuse groupoid võttis kasutusele Øystein Ore. Jean-Pierre Serre hakkas neid oma loengutes Harvardi ülikoolis 1964. aastal nimetama magmadeks.[3] See nimetus levis Nicolas Bourbaki ("Éléments de mathématique", köide "Algèbre", 1974) eeskujul. Sõna magma tähendab prantsuse keeles muu hulgas 'abstraktsete asjade segast ja lahtiharutamatut segu'.[4] Veel on neid nimetatud operatiivideks ja binaarideks.
Rühmoidi üldistus on pseudorühmoid – hulk koos sellel defineeritud üheainsa osalise binaarse algebralise tehtega.
Tavaliselt rühmoide üldisel kujul ei uurita, vaid lisatakse tehte omadusi täpsustavaid aksioome.
Sagedamini vaadeldavad rühmoidide klassid on:
Saab vaadelda ka kommutatiivseid poolrühmi ja kommutatiivseid monoide.
Rühmoidi tehet võib sooritada mitu korda järjest. Et tehe ei ole üldjuhul assotsiatiivne, kasutatakse tehete sooritamise järjekorra näitamiseks sulgusid. Saadakse sõne, mis koosneb rühmoidi elemente tähistavatest sümbolitest ja tasakaalustavatest sulgudest. Kõikvõimalike tasakaalustavate sulgude sõnede hulka nimetatakse Dycki keeleks. Rühmoidi tehte n sooritamise järjekordade arv võrdub Catalani arvuga . Näiteks . Teiste sõnadega, on ainsad rühmoidi tehte kahe sooritamise järjekorrad kolme elemendiga.
Tähistuse lihtsustamiseks ja sulgude arvu vähendamiseks kasutatakse lisakokkuleppeid. Tehte sooritamise eelisjärjekorra märkimiseks kasutatakse tehtemärgi ärajätmist. Näiteks kui rühmoidi tehe on *, siis saab avaldise (x * y) * z panna kirja lühemal kujul. Lühendamiseks saab kasutada ka tühikuid. Näiteks avaldise ((x * y) * z) * (w * v) saab kirja panna kujul xy*z * wv. Keerukamate avaldiste puhul muidugi sulgudeta läbi ei saa. Sulgude alternatiiviks on küll näiteks prefikstähistus, kuid see on raskesti jälgitav.
Rühmoidide homomorfism ehk rühmoidide morfism on kujutus rühmoidist rühmoidi , mis säilitab rühmoidi tehte:
kus on vastavalt rühmoidi ja rühmoidi tehe.
Vaba rühmoidi mittetühjal hulgal moodustavad formaalsed avaldised, mis on saadud hulga elementide sümbolitest, millele on rakendatud rühmoidi tehet koos sulgudega. Olgu näiteks Siis sisaldab vaba poolrühm üle muu hulgas elemente
Formaalselt võib vaba poolrühma üle mittetühja hulga defineerida kui hulga, millesse kuuluvad kõik lõplikud binaarpuud koos iga lehe juurde kirjutatud hulga elemendiga. Kahe puu ja korrutis on puu, mille juurel on vasakpoolne alampuu ja parempoolne alampuu .
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.