Algoritmické a strukturní aspekty binárních systémů
Cíle projektu
Cílem projektu je významně posunout současný stav znalostí některých typů neasociativních binárních struktur, a to především levodistributivních a mediálních grupoidů. Jde zejména o vyřešení vztahu grupoidů An a volného levodistributivního grupoidu (kdejsou významné vazby na teorii množin, logiku a teorii algoritmů) a o otázku existence konečné báze v grupoidech odvozených od grup operacemi konjugacemi a průměru. Řešené otázky jsou v centru pozornosti mnoha světových matematiků a jejich zodpovězení byvýrazně posílilo prestiž české matematiky.
Klíčová slova
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Standardní projekty
Veřejná soutěž
—
Hlavní účastníci
Univerzita Karlova / Matematicko-fyzikální fakulta
Druh soutěže
—
Číslo smlouvy
—
Alternativní jazyk
Název projektu anglicky
Algorithmic and structural aspects of binary systems
Anotace anglicky
The aim of the project is to significantly advance the current state of knowledge of some types of nonassociative binary structures, mainly left distributive and medial groupoids. The main concern will be in settling the relation between the groupoids Anand the free left distributive groupoid (there are important ties to set theory, logic and theory of algorithms) and the question of existence of a finite base in groupoids derived from groups by the operations of conjugation and arithmetic means. The questions to be solve are in the center of attention of many mathematicians of several countries and their solution would increase significantly the good name of Czech mathematics.
Vědní obory
Kategorie VaV
—
CEP - hlavní obor
BA - Obecná matematika
CEP - vedlejší obor
—
CEP - další vedlejší obor
—
OECD FORD - odpovídající obory
(dle převodníku)10101 - Pure mathematics
Hodnocení dokončeného projektu
Hodnocení poskytovatelem
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Zhodnocení výsledků projektu
1. Projekt přinesl nové a významné výsledky v oblasti univerzální algebry, teorie svazů a teorie grupoidů a grup. 2. Údaje řešitele v závěrečné kartě jsou adekvátní. 3. Jedná se o projekt základního výzkumu. Přímou souvislost s výchovou studentů neměl, n
Termíny řešení
Zahájení řešení
1. 1. 1996
Ukončení řešení
1. 1. 1998
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
—
Dodání dat do CEP
Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP/1999/GA0/GA09GA/V/6:6
Datum dodání záznamu
—
Finance
Celkové uznané náklady
1 062 tis. Kč
Výše podpory ze státního rozpočtu
694 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč
Základní informace
Uznané náklady
1 062 tis. Kč
Statní podpora
694 tis. Kč
65%
Poskytovatel
Grantová agentura České republiky
CEP
BA - Obecná matematika
Doba řešení
01. 01. 1996 - 01. 01. 1998