Projekt se zabývá studiem struktury komutativních polookruhů. Cílem je klasifikovat co nejširší třídu kongruenčně jednoduchých podpolookruhů kladných reálných čísel a rozhodnout hypotézy o konečně generovaných komutativních polookruzích pro co největší generující množiny, zejména v souvislosti s aditivní idempotencí. K tomuto účelu budou využívány zejména moderní metody (algebraické) teorie čísel, Galoisovy teorie, geometrie mřížových bodů, přepisování polynomů a aritmetické geometrie. Projekt přispěje také k lepšímu pochopení polookruhů reálných čísel a prohloubení poznatků o podpologrupách volných konečně generovaných komutativních pologrup ve spojení s polookruhy.

Publikace