<?xml version="1.0"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dc="http://purl.org/dc/elements/1.1/"><rdf:Description rdf:about="https://repozitorij.uni-lj.si/IzpisGradiva.php?id=155332"><dc:title>Prosta inverzna polgrupa</dc:title><dc:creator>Drnovšek,	Tina	(Avtor)
	</dc:creator><dc:creator>Kudryavtseva,	Ganna	(Mentor)
	</dc:creator><dc:subject>inverzna polgrupa</dc:subject><dc:subject>naravna delna urejenost</dc:subject><dc:subject>urejenostni ideal</dc:subject><dc:subject>prosta inverzna polgrupa</dc:subject><dc:subject>besedni problem</dc:subject><dc:subject>Scheiblichova normalna forma</dc:subject><dc:subject>Munnovo drevo</dc:subject><dc:description>V polgrupi vpeljemo posplošeno definicijo inverza. Polgrupo, v kateri ima vsak element natanko en inverz, imenujemo inverzna polgrupa. Na njej definiramo naravno delno urejenost in vpeljemo pojem kongruenc. 

V nadaljevanju se osredotočimo predvsem na prosto inverzno polgrupo, ki je definirana kot določena kvocientna polgrupa proste polgrupe z involucijo. V diplomskem delu rešujemo besedni problem, tj. iščemo algoritem, ki določa, kdaj dve besedi predstavljata enak element v prosti inverzni polgrupi. Možnih pristopov k reševanju je več, v delu je predstavljena rešitev s pomočjo Scheiblichovih normalnih form, na kratko pa je opisan tudi Munnov algoritem.</dc:description><dc:date>2024</dc:date><dc:date>2024-03-27 08:15:04</dc:date><dc:type>Delo diplomskega seminarja/zaključno seminarsko delo/naloga</dc:type><dc:identifier>155332</dc:identifier><dc:language>sl</dc:language></rdf:Description></rdf:RDF>