Variety algeber

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

Standardní projekty 1 (SGA02002GA-ST)

Hlavní účastníci

Univerzita Karlova / Matematicko-fyzikální fakulta

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

—

Název projektu anglicky

Varieties of algebras

Anotace anglicky

We are going to investigate varieties motivated by combinatorial structures (directed graphs and their special cases) from two different points of view; we will concentrate on the description of free algebras in these varieties and similar questions. Wewill investigate varieties of binary systems, e.g., systems that can be obtained from a group by taking a certain derived operation, and look for a base for their identities; we will investigate subdirectly irreducible systems in such varieties and decide about the amalgamation property. We will look for a term rewrite system for the left distributive law, which would provide a new normal form for this identity. We are going to apply recent results on topological duality for distributive lattices in order to find topological properties separating congruence lattices of lattices in various finitely generated lattice varieties. We will look for fast algorithms deciding the finiteness of finitely presented lattices, and algorithms for construction

Kategorie VaV

ZV - Základní výzkum

CEP - hlavní obor

BA - Obecná matematika

CEP - vedlejší obor

—

CEP - další vedlejší obor

—

OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

10101 - Pure mathematics

Hodnocení poskytovatelem

U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)

Zhodnocení výsledků projektu

Práce na projektu vyústila v 24 původních prací. Většina z nich se dá rozdělit do dvou skupin: práce o varietách univerzálních algeber pojímaných obecně, a práce o varietách buď grupoidů nebo kvazigrup (a speciálně lup). Jedna práce řeší následující otáz

Zahájení řešení

1. 1. 2002

Ukončení řešení

1. 1. 2004

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

—

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/2005/GA0/GA05GA/U/N/B:7

Datum dodání záznamu

2. 6. 2008

Celkové uznané náklady

3 423 tis. Kč

Výše podpory ze státního rozpočtu

1 803 tis. Kč

Ostatní veřejné zdroje financování

1 620 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč