Varieties of algebras
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 1 (SGA02002GA-ST)
Main participants
Univerzita Karlova / Matematicko-fyzikální fakulta
Contest type
VS - Public tender
Contract ID
—
Alternative language
Project name in Czech
Variety algeber
Annotation in Czech
Hodláme vyšetřovat variety, motivované kombinatorickými strukturami (orientovanými grafy a jejich speciálními případy), a to ze dvou možných pohledů; soustředíme se na popis volných algeber v těchto varietách a jiné podobné otázky. Budeme vyšetřovat variety binárních systémů, například takových, které lze obdržet určitou derivovanou operací z grupy, a hledat báze pro jejich systémy identit; budeme ve varietách binárních systémů vyšetřovat subdirektně ireducibilní systémy a rozhodovat o amalgamační vlastnosti. Budeme hledat přepisující systém pro levou distributivitu, který by měl poskytnout novou normální formu pro tuto identitu. Hodláme aplikovat nedávné výsledky o topologické dualitě pro distributivní svazy, abychom nalezli topologické vlastnosti odlišující svazy kongruencí svazů z rozmanitých konečně generovaných variet. Budeme hledat rychlé algoritmy pro rozhodování o konečnosti konečně prezentovaných svazů a pro konstrukci volného svazu nad parciálním svazem v případě, že je
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
BA - General mathematics
CEP - secondary branch
—
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
10101 - Pure mathematics
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
The work on the project resulted in 24 original papers. Most of them can be divided into two groups: those on varieties of universal algebras generally, and those on varieties of either groupoids or quasigroups (or loops, in particular). One paper solves
Solution timeline
Realization period - beginning
Jan 1, 2002
Realization period - end
Jan 1, 2004
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/2005/GA0/GA05GA/U/N/B:7
Data delivery date
Jun 2, 2008
Finance
Total approved costs
3,423 thou. CZK
Public financial support
1,803 thou. CZK
Other public sources
1,620 thou. CZK
Non public and foreign sources
0 thou. CZK