<?xml version="1.0" encoding="utf-8"?>
<Gradivo ID="150026" NadgradivoID="0" NRID="19929390" OceID="0" DomainUrl="https://repozitorij.uni-lj.si/" IzpisPolniUrl="https://repozitorij.uni-lj.si/IzpisGradiva.php?lang=slv&amp;id=150026" StOgledov="1265" StPrenosov="240" StOcen="0" VsotaOcen="0" DatumIzvoza="2026-09-15 01:04:19" OcenaSkupna="0" StPodgradiv="0" StudijskiProgramEvsID="0" JeIndeksirano="0" JeVecAvtorjev="0" DovoliZahtevkeZaDostop="0">
  <PID Url="http://hdl.handle.net/20.500.12556/RUL-150026">20.500.12556/RUL-150026</PID>
  <Naslov>Kombinatorični modeli v teoriji inverznih monoidov</Naslov>
  <Podnaslov>magistrsko delo</Podnaslov>
  <TujJezik_Naslov>Combinatorial models in the theory of inverse monoids</TujJezik_Naslov>
  <TujJezik_Podnaslov></TujJezik_Podnaslov>
  <Opis>Inverzne polgrupe so polgrupe, v katerih ima vsak element $x$ enoličen inverz $x^{-1}$, tj. velja $x = xx^{-1}x$ in $x^{-1} =x^{-1}xx^{-1}$. Opremimo jih lahko z naravno delno urejenostjo $\leq$, kjer velja $a \leq b$ natanko tedaj, ko obstaja idempotent $e$, da je $a=be$. V takšnih polgrupah igrata pomembno vlogo dve relaciji. To sta kompatibilnostna relacija $\sim $, kjer je $s \sim t$ natanko tedaj, ko sta $ s^{-1}t$ in $ st^{-1}$  idempotenta, in najmanjša grupna kongruenca $\sigma$, kjer je  $s \mathrel{\sigma} t$ natanko tedaj, ko obstaja $u$, da velja $u \leq s,t $. Razred inverznih polgrup, za katere relacija kompatibilnosti sovpada z najmanjšo grupno kongruenco, imenujemo $E$-unitarne inverzne polgrupe, razred, za katere ima vsak $\sigma$-razred maksimalen element, pa $F$-inverzni monoidi. Torej lahko $F$-inverzne monoide opremimo z dodatno unarno operacijo $a \mapsto m(a)$, kjer z $m(a)$ označimo maksimalni element razreda $[a]_\sigma$. Izkaže se, da ravno v tej razširjeni signaturi $F$-inverzni monoidi tvorijo variateto. V nadaljevanju se osredotočimo na kombinatorične modele grupnih razširitev, in sicer na Margolis-Meakinovo razširitev, Birget-Rhodesovo razširitev in modela $F$-inverznih ter popolnih $F$-inverznih monoidov. S pomočjo teh modelov lahko opišemo proste inverzne monoide, proste $F$-inverzne monoide in proste popolne $F$-inverzne monoide.</Opis>
  <TujJezik_Opis>Inverse semigroups are semigroups in which each element $x$ has a unique inverse $x^{-1}$, i.e. $x = xx^{-1}x$ and $x^{-1} = x^{-1}xx^{-1}$ hold. We can equip them with a natural partial order $\leq$, where $a \leq b$ holds if and only if there is an idempotent $e$ such that $a=be$. In such semigroups, two relations play an important role. These are the compatibility relation $\sim $, where $s \sim t$  if and only if $ s^{-1}t$ and $ st^{-1}$ are idempotent, and the smallest group congruence $\sigma$, where $s \mathrel{\sigma} t$  if and only if there is such a $u$ that $u \leq s,t $ holds.
A class of inverse semigroups for which the compatibility relation coincides with the smallest group congruence is called a class of $E$-unitary inverse semigroups, and a class for which every $\sigma$-class has a maximal element is called  a class of $F$-inverse monoids. Thus, $F$-inverse monoids can be equipped with an additional unary operation $a \mapsto m(a)$. It turns out that $F$-inverse monoids form a variety precisely in this extended signature. Next we focus on combinatorial models of group expansions, namely the Margolis-Meakin expansion, the Birget-Rhodes expansion, and models of $F$-inverse and perfect $F$-inverse monoids. Using these models, we can describe free inverse monoids, free $F$-inverse monoids, and free perfect $F$-inverse monoids.</TujJezik_Opis>
  <KljucneBesede>
    <Beseda>$E$-unitarne inverzne polgrupe</Beseda>
    <Beseda>$F$-inverzni monoidi</Beseda>
    <Beseda>popolni $F$-inverzni monoidi</Beseda>
    <Beseda>grupne razširitve</Beseda>
    <Beseda>Cayleyjev graf</Beseda>
  </KljucneBesede>
  <TujJezik_KljucneBesede>
    <Beseda>$E$-unitary inverse semigroups</Beseda>
    <Beseda>$F$-inverse monoids</Beseda>
    <Beseda>perfect $F$-inverse monoids</Beseda>
    <Beseda>group extensions</Beseda>
    <Beseda>Cayley graph</Beseda>
  </TujJezik_KljucneBesede>
  <Potrjeno>true</Potrjeno>
  <JeZaklenjeno>false</JeZaklenjeno>
  <JeRecenzirano>false</JeRecenzirano>
  <Zaloznik></Zaloznik>
  <Izvor></Izvor>
  <Jezik ID="1060" ISO639-3="slv">Slovenski jezik</Jezik>
  <TujJezik ID="1033" ISO639-3="eng">Angleški jezik</TujJezik>
  <Povezave></Povezave>
  <Pokrivanje></Pokrivanje>
  <CasovnoPokritje></CasovnoPokritje>
  <AvtorskePravice></AvtorskePravice>
  <VrstaGradiva ID="mb22" DRIVER="info:eu-repo/semantics/masterThesis">Magistrsko delo/naloga</VrstaGradiva>
  <DatumVstavljanja>2023-09-13 08:16:02</DatumVstavljanja>
  <DatumObjave>2023-09-13 08:16:06</DatumObjave>
  <DatumSpremembe>2024-05-29 10:40:15</DatumSpremembe>
  <DatumTrajnegaHranjenja>0000-00-00 00:00:00</DatumTrajnegaHranjenja>
  <LetoIzida>2023</LetoIzida>
  <LetoIzidaDo>0</LetoIzidaDo>
  <KrajIzida></KrajIzida>
  <LetoIzvedbe>0</LetoIzvedbe>
  <KrajIzvedbe></KrajIzvedbe>
  <Opomba></Opomba>
  <StStrani></StStrani>
  <StevilcenjeNivo1></StevilcenjeNivo1>
  <StevilcenjeNivo2></StevilcenjeNivo2>
  <Kronologija></Kronologija>
  <Patent_Stevilka></Patent_Stevilka>
  <Patent_DatumVeljavnosti>0000-00-00</Patent_DatumVeljavnosti>
  <VerzijaDokumenta>NiDoloceno</VerzijaDokumenta>
  <StatusObjaveDrugje>NiDoloceno</StatusObjaveDrugje>
  <VrstaStroskaObjave>NiDoloceno</VrstaStroskaObjave>
  <DatumPoslanoVRecenzijo>0000-00-00</DatumPoslanoVRecenzijo>
  <DatumSprejetjaClanka>0000-00-00</DatumSprejetjaClanka>
  <DatumObjaveClanka>0000-00-00</DatumObjaveClanka>
  <EmbargoDo></EmbargoDo>
  <VrstaEmbarga ID="1" Naziv="Takojšnja javna objava" OpenAIREDostop="openAccess"></VrstaEmbarga>
  <Osebe>
    <Oseba ID="107148" Ime="Ajda" Priimek="Lemut" AltIme="" VlogaID="70" VlogaNaziv="Avtor" ConorID="" Afiliacija="" ArrsID="0" ORCID=""></Oseba>
    <Oseba ID="127560" Ime="Ganna" Priimek="Kudryavtseva" AltIme="" VlogaID="991" VlogaNaziv="Mentor" ConorID="" Afiliacija="" ArrsID="0" ORCID=""></Oseba>
  </Osebe>
  <Identifikatorji>
    <Identifikator ID="16" Sifra="VisID" Naziv="VisID" URL="">135855</Identifikator>
    <Identifikator ID="3" Sifra="CobissID" Naziv="COBISS_ID" URL="https://plus.cobiss.net/cobiss/si/sl/bib/164180739">164180739</Identifikator>
  </Identifikatorji>
  <Datoteke>
    <Datoteka ID="174558" DatotekaNRID="13167984" NamenDatotekeID="2" NamenDatoteke="Predstavitvena datoteka" FormatDatotekeID="2" FormatDatoteke=".pdf" MIME="application/pdf" IkonaFormata="pdf.png" IkonaFormataPolniUrl="https://repozitorij.uni-lj.si/teme/rulDev/img/fileTypes/pdf.png" VelikostDatoteke="641505" VelikostDatotekeKratko="626,47 KB" DatumVstavljanja="2023-09-13 08:16:06" JeZbrisana="false" JeJavnoVidna="true" JeIndeksirana="true" JeVidno="true" VidnoOd="01.01.1970" Zaporedje="0">
      <Naziv>9169.pdf</Naziv>
      <OrgNaziv>9169.pdf</OrgNaziv>
      <URL></URL>
      <Opis></Opis>
      <OpisTujJezik></OpisTujJezik>
      <UrlObdelave></UrlObdelave>
      <FrekvencaAzuriranjaID>1</FrekvencaAzuriranjaID>
      <Verzija></Verzija>
      <MD5>00164EDAEBC3E33F65A13CDC12F0A496</MD5>
      <SHA256>6126e51c8df65eae5e9b6d0e629edc30f37d205cadfa24a57f0820823437f219</SHA256>
      <UUID>060d8a3f-51fd-11ee-916e-0050569b8976</UUID>
      <PID></PID>
      <PrenosPolniUrl>https://repozitorij.uni-lj.si/Dokument.php?lang=slv&amp;id=174558</PrenosPolniUrl>
      <Vsebine>
        <Vsebina TipVsebine="GoloBesedilo" JezikID="1060" Oznaka="" Dolzina="149517"></Vsebina>
      </Vsebine>
    </Datoteka>
  </Datoteke>
  <Organizacije>
    <Organizacija OrganizacijaID="11" Kratica="FMF" ZavodEvsID="0000064" Logo="" LogoPolniUrl="https://repozitorij.uni-lj.si/teme/rulDev/img/logo/">Fakulteta za matematiko in fiziko </Organizacija>
  </Organizacije>
  <OrganizacijeVira>
  </OrganizacijeVira>
  <MetodeZbiranjaPodatkov>
  </MetodeZbiranjaPodatkov>
  <TipologijaDela ID="2.09" Koda="2.09" Naziv="Magistrsko delo" SchemaOrg="Thesis"></TipologijaDela>
  <Ostalo>
    <StIrodsDatotek>0</StIrodsDatotek>
    <StDatotekPodTrajnimEmbargom>0</StDatotekPodTrajnimEmbargom>
    <StDatotekZOmejenimDostopom>0</StDatotekZOmejenimDostopom>
  </Ostalo>
</Gradivo>
