Kvataalide kongruentsidest

Kvantaal on täielik võre koos assotsiatiivse tehtega, mis on distributiivne üle kõikide ülemiste rajade. Ekvivalentsiseost ~ kvantaalil Q nimetatakse kongruentsiks, kui kanooniline projektsioon Q -> Q / ~ on kvantaalide homomorfism. Osutub, et üks mugavamatest viisidest kvantaalide kongruentsidest rääkida on läbi kvanttuumade (quantic nuclei). Näitame, et iga seose R korral on võimalik defineerida temale sobiv kvanttuum, millele vastav faktorkvantaal oleks isomorfne R poolt tekitatud kongruentsi faktorkvantaaliga, kasutades "küllastunud elementide" (saturated elements) mõistet.

Lisaks sooviks tutvustada tulemusi, mis tekkisid katsetest leida genereeritud kongruentsi jaoks ilmutatud konstruktsioon.