<?xml version="1.0" encoding="utf-8"?>
<Gradivo ID="180838" NadgradivoID="0" NRID="28317499" OceID="0" DomainUrl="https://repozitorij.uni-lj.si/" IzpisPolniUrl="https://repozitorij.uni-lj.si/IzpisGradiva.php?lang=slv&amp;id=180838" StOgledov="250" StPrenosov="134" StOcen="0" VsotaOcen="0" DatumIzvoza="2026-09-22 07:50:53" OcenaSkupna="0" StPodgradiv="0" StudijskiProgramEvsID="0" JeIndeksirano="0" JeVecAvtorjev="0" DovoliZahtevkeZaDostop="0">
  <PID Url="http://hdl.handle.net/20.500.12556/RUL-180838">20.500.12556/RUL-180838</PID>
  <Naslov>Posplošitve Birkhoffovega izreka</Naslov>
  <Podnaslov>magistrsko delo</Podnaslov>
  <TujJezik_Naslov>Generalizations of Birkhoff’s theorem</TujJezik_Naslov>
  <TujJezik_Podnaslov></TujJezik_Podnaslov>
  <Opis>Magistrsko delo se osredotoča na Birkhoffov izrek, ki klasificira končne distributivne mreže kot mreže urejenostnih idealov na nerazcepnih elementih dane mreže. Namen dela je raziskati možnosti posplošitve tega temeljnega izreka na širše razrede mrež, kot so lokalno končne distributivne mreže, splošne distributivne mreže ter končne semidistributivne mreže. V delu uvedemo pojem urejenostnih idealov ter nerazcepnih elementov, pri čemer se ključne lastnosti iz končnih mrež naravno prenesejo na lokalno končne mreže z najmanjšim elementom. Pri obravnavi neskončnih distributivnih mrež nerazcepne elemente nadomestimo s praideali in pokažemo, da je mreža distributivna natanko takrat, ko je izomorfna kolobarju množic. Za posplošitev na končne semidistributivne mreže definiramo refleksivne relacije, ki določajo maksimalne ortogonalne pare podmnožic, in s pomočjo t. i. &quot;kapa&quot;-mrež pokažemo, da je končna mreža semidistributivna natanko takrat, ko je izomorfna mreži maksimalnih ortogonalnih parov za nek faktorizacijski sistem brez 2-ciklov.</Opis>
  <TujJezik_Opis>This master’s thesis investigates Birkhoff’s theorem, which classifies finite distributive lattices as lattices of order ideals of their join-irreducible elements. The main goal of the thesis is to explore possible generalizations of this fundamental result to broader classes of lattices, such as locally finite distributive lattices, general distributive lattices and finite semidistributive lattices. In this context, we introduce the concepts of order ideals and join-irreducible elements, showing how the key properties from finite lattices naturally extend to locally finite lattices with a least element. In the case of infinite distributive lattices join-irreducible elements are replaced by prime ideals and it is shown that a lattice is distributive if and only if it is isomorphic to a ring of sets. For the case of finite semidistributive lattices, we define reflexive relations that determine maximal orthogonal pairs of subsets of a given set. Using the so-called &quot;kappa&quot;-lattices, we demonstrate that a finite lattice is semidistributive if and only if it is isomorphic to the lattice of maximal orthogonal given by a factorization system without 2-cycles.</TujJezik_Opis>
  <KljucneBesede>
    <Beseda>Distributivna mreža</Beseda>
    <Beseda>Birkhoffov izrek</Beseda>
    <Beseda>semidistributivna mreža</Beseda>
    <Beseda>nerazcepnost za spoj</Beseda>
    <Beseda>urejenostni ideal</Beseda>
  </KljucneBesede>
  <TujJezik_KljucneBesede>
    <Beseda>Distributive lattice</Beseda>
    <Beseda>Birkhoff’s theorem</Beseda>
    <Beseda>semidistributive lattice</Beseda>
    <Beseda>join-irreducibility</Beseda>
    <Beseda>order-ideal</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>2026-03-18 08:15:07</DatumVstavljanja>
  <DatumObjave>2026-03-18 08:15:13</DatumObjave>
  <DatumSpremembe>2026-03-20 03:54:29</DatumSpremembe>
  <DatumTrajnegaHranjenja>0000-00-00 00:00:00</DatumTrajnegaHranjenja>
  <LetoIzida>2026</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>Objavljeno</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="116429" Ime="Špela" Priimek="Ačko" AltIme="" VlogaID="70" VlogaNaziv="Avtor" ConorID="" Afiliacija="" ArrsID="0" ORCID=""></Oseba>
    <Oseba ID="91260" Ime="Matjaž" Priimek="Konvalinka" AltIme="" VlogaID="991" VlogaNaziv="Mentor" ConorID="" Afiliacija="" ArrsID="0" ORCID=""></Oseba>
  </Osebe>
  <Identifikatorji>
    <Identifikator ID="4" Sifra="UDK" Naziv="UDK" URL="">512</Identifikator>
    <Identifikator ID="16" Sifra="VisID" Naziv="VisID" URL="">159525</Identifikator>
    <Identifikator ID="3" Sifra="CobissID" Naziv="COBISS_ID" URL="https://plus.cobiss.net/cobiss/si/sl/bib/271882243">271882243</Identifikator>
  </Identifikatorji>
  <Datoteke>
    <Datoteka ID="230730" DatotekaNRID="14625057" 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="644345" VelikostDatotekeKratko="629,24 KB" DatumVstavljanja="2026-03-18 08:15:13" JeZbrisana="false" JeJavnoVidna="true" JeIndeksirana="false" JeVidno="true" VidnoOd="01.01.0001" Zaporedje="0">
      <Naziv>21300.pdf</Naziv>
      <OrgNaziv>21300.pdf</OrgNaziv>
      <URL></URL>
      <Opis></Opis>
      <OpisTujJezik></OpisTujJezik>
      <UrlObdelave></UrlObdelave>
      <FrekvencaAzuriranjaID>1</FrekvencaAzuriranjaID>
      <Verzija></Verzija>
      <MD5>5A42E76BEFEADAF4BBC19692480B8FA6</MD5>
      <SHA256>397dc339465c86ad5111ba3956e823db420601384059fb801295e0eee7e03493</SHA256>
      <UUID>219fe871-229a-11f1-b0ab-0050569b8976</UUID>
      <PID></PID>
      <PrenosPolniUrl>https://repozitorij.uni-lj.si/Dokument.php?lang=slv&amp;id=230730</PrenosPolniUrl>
      <Vsebine>
      </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>
