Structure of algebras in varieties
Project goals
We are going to investigate definability in the lattice of equational theories of commutative groupoids; we hope that the problem will have positive solution. We are going to produce partial solutions to the congruence lattice problem, possibly leading to its definitive solution. We also intend to investigate hamiltonian structures and also quasigroups linear over commutative Moufang loops. We will investigate varieties of binary systems, in particular left symmetric left distributive groupoids. Further, we will deal with systems that can be obtained from a group by taking a certain derived operation, and look for a base for their identities. We will look for an algorithm deciding finiteness of the free lattice over a given finite halflattice.
Keywords
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 8 (SGA02005GA-ST)
Main participants
—
Contest type
VS - Public tender
Contract ID
201/05/0002
Alternative language
Project name in Czech
Struktura algeber ve varietách
Annotation in Czech
Hodláme vyšetřovat definovatelnost ve svazu rovnicových teorií komutativních gupoidů; doufáme, že tento problém bude mít pozitivní řešení. Chceme dosáhnout částečných výsledků při řešení problému svazů kongruencí, které případně povedou k jeho definitivnímu vyřešení. Rovněž máme v úmyslu studovat hamiltonovské struktury a také kvazigrupy lineární nad komutativními moufangovskými lupami. Budeme studovat variety binárních systémů, zejména zleva symetrických levodistributivních grupoidů. Dále se budeme zabývat systémy, které vznikají z grup při zavedení jisté odvozené operace, a budeme hledat bázi pro jejich identity. Budeme hledat algoritmus pro rozhodnutí otázky konečnosti volného svazu generovaného daným konečným polosvazem.
Scientific branches
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
Within the grant project, many important results were achieved. Main emphasis was put on the field of varieties of algebras and the structure of algebras in varieties. Into the more general kernel of this field belong the results on avoidability and defi
Solution timeline
Realization period - beginning
Jan 1, 2005
Realization period - end
Dec 31, 2007
Project status
U - Finished project
Latest support payment
May 2, 2007
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
CEP08-GA0-GA-U/04:3
Data delivery date
Dec 16, 2008
Finance
Total approved costs
3,114 thou. CZK
Public financial support
1,794 thou. CZK
Other public sources
1,979 thou. CZK
Non public and foreign sources
0 thou. CZK
Basic information
Recognised costs
3 114 CZK thou.
Public support
1 794 CZK thou.
57%
Provider
Czech Science Foundation
CEP
BA - General mathematics
Solution period
01. 01. 2005 - 31. 12. 2007