Algorithmic and structural aspects of binary systems
Project goals
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.
Keywords
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
—
Main participants
Univerzita Karlova / Matematicko-fyzikální fakulta
Contest type
—
Contract ID
—
Alternative language
Project name in Czech
Algoritmické a strukturní aspekty binárních systémů
Annotation in Czech
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.
Scientific branches
Completed project evaluation
Provider evaluation
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Project results evaluation
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
Solution timeline
Realization period - beginning
Jan 1, 1996
Realization period - end
Jan 1, 1998
Project status
U - Finished project
Latest support payment
—
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP/1999/GA0/GA09GA/V/6:6
Data delivery date
—
Finance
Total approved costs
1,062 thou. CZK
Public financial support
694 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK
Basic information
Recognised costs
1 062 CZK thou.
Public support
694 CZK thou.
65%
Provider
Czech Science Foundation
CEP
BA - General mathematics
Solution period
01. 01. 1996 - 01. 01. 1998