Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Struktura algeber ve varietách

Veřejná podpora

  • Poskytovatel

    Grantová agentura České republiky

  • Program

    Standardní projekty

  • Veřejná soutěž

    Standardní projekty 8 (SGA02005GA-ST)

  • Hlavní účastníci

  • Druh soutěže

    VS - Veřejná soutěž

  • Číslo smlouvy

    201/05/0002

Alternativní jazyk

  • Název projektu anglicky

    Structure of algebras in varieties

  • Anotace anglicky

    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.

Vědní obory

  • 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í dokončeného projektu

  • Hodnocení poskytovatelem

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

  • Zhodnocení výsledků projektu

    Během řešení projektu byla dosažena řada původních výsledků. Těžiště vykonané práce leží v oblasti variet algeber a struktury algeber ve varietách. Do obecnějšího jádra této oblasti patří výsledky o vyhnutelnosti a definovatelnosti struktur. Použité meto

Termíny řešení

  • Zahájení řešení

    1. 1. 2005

  • Ukončení řešení

    31. 12. 2007

  • Poslední stav řešení

    U - Ukončený projekt

  • Poslední uvolnění podpory

    2. 5. 2007

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

    CEP08-GA0-GA-U/04:3

  • Datum dodání záznamu

    16. 12. 2008

Finance

  • Celkové uznané náklady

    3 114 tis. Kč

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

    1 794 tis. Kč

  • Ostatní veřejné zdroje financování

    1 979 tis. Kč

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

    0 tis. Kč