Kombinatoricko-logické problémy obecných algebraických struktur
Cíle projektu
Plánujeme studovat intervaly ve svazech podgrup konečných jednoduchých grup, zejména sporadických, s cílem vyloučit určité svazy délky 2 jako možné příklady těchto intervalů. Tyto výsledky kombinované s nedávnými výsledky A. Lucchiniho a R.W. Baddeleyhoby měly přinést velké zlepšení v našich znalostech struktury obecných konečných algeber. Také plánujeme zkoumat vlastnost rozšiřování kongruencí pro konečné svazy, která hrála nedávno podstatnou roli při řešení různých problémů o svazech kongruencí algeber daného typu. Také budeme zkoumat perfektní báze rovnicových teorií a jejich těsný vztah k široce diskutovanému pojmu systémů přepisujících termy. Budeme se snažit vyřešit některé z problémů, které zůstaly nezodpovězené v pracech Ježka, McNultyho,Freeseho a Nationa.
Klíčová slova
Veřejná podpora
Poskytovatel
Akademie věd České republiky
Program
Granty výrazně badatelského charakteru zaměřené na oblast výzkumu rozvíjeného v současné době zejména v AV ČR
Veřejná soutěž
—
Hlavní účastníci
Univerzita Karlova / Matematicko-fyzikální fakulta
Druh soutěže
—
Číslo smlouvy
—
Alternativní jazyk
Název projektu anglicky
Combinatorical and logical problems of general algebraic structures
Anotace anglicky
—
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
Termíny řešení
Zahájení řešení
1. 1. 1995
Ukončení řešení
1. 1. 1996
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/1997/AV0/AV07IA/V/9:4
Datum dodání záznamu
—
Finance
Celkové uznané náklady
58 tis. Kč
Výše podpory ze státního rozpočtu
58 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
58 tis. Kč
Statní podpora
58 tis. Kč
100%
Poskytovatel
Akademie věd České republiky
CEP
BA - Obecná matematika
Doba řešení
01. 01. 1995 - 01. 01. 1996