This HTML5 document contains 40 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n7http://linked.opendata.cz/ontology/domain/vavai/cep/zivotniCyklusProjektu/
n18http://linked.opendata.cz/ontology/domain/vavai/cep/typPojektu/
n4http://linked.opendata.cz/ontology/domain/vavai/cep/druhSouteze/
n15http://linked.opendata.cz/ontology/domain/vavai/cep/hodnoceniProjektu/
dctermshttp://purl.org/dc/terms/
n2http://linked.opendata.cz/resource/domain/vavai/projekt/
n12http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/
n6http://linked.opendata.cz/resource/domain/vavai/subjekt/
n20http://linked.opendata.cz/ontology/domain/vavai/
n13http://linked.opendata.cz/ontology/domain/vavai/cep/kategorie/
n21http://linked.opendata.cz/resource/domain/vavai/projekt/GA201%2F05%2F0002/
n14http://linked.opendata.cz/ontology/domain/vavai/cep/duvernostUdaju/
skoshttp://www.w3.org/2004/02/skos/core#
rdfshttp://www.w3.org/2000/01/rdf-schema#
n17http://linked.opendata.cz/ontology/domain/vavai/cep/fazeProjektu/
n16http://linked.opendata.cz/ontology/domain/vavai/cep/obor/
n8http://linked.opendata.cz/resource/domain/vavai/soutez/
n22http://linked.opendata.cz/ontology/domain/vavai/cep/statusZobrazovaneFaze/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdhhttp://www.w3.org/2001/XMLSchema#
n3http://linked.opendata.cz/ontology/domain/vavai/cep/
n11http://reference.data.gov.uk/id/gregorian-year/
n9http://linked.opendata.cz/resource/domain/vavai/aktivita/

Statements

Subject Item
n2:GA201%2F05%2F0002
rdf:type
n20:Projekt
rdfs:seeAlso
http://www.isvav.cz/projectDetail.do?rowId=GA201/05/0002
dcterms:description
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. 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.
dcterms:title
Struktura algeber ve varietách Structure of algebras in varieties
skos:notation
GA201/05/0002
n3:aktivita
n9:GA
n3:celkovaStatniPodpora
n21:celkovaStatniPodpora
n3:celkoveNaklady
n21:celkoveNaklady
n3:datumDodatniDoRIV
2008-12-16+01:00
n3:druhSouteze
n4:VS
n3:duvernostUdaju
n14:S
n3:fazeProjektu
n17:71262958
n3:hlavniObor
n16:BA
n3:hodnoceniProjektu
n15:U
n3:kategorie
n13:ZV
n3:klicovaSlova
algebra; variety; lattice; groupoid; equational theory
n3:partnetrHlavni
n6:orjk%3A11320
n3:pocetKoordinujicichPrijemcu
0
n3:pocetPrijemcu
1
n3:pocetSpoluPrijemcu
1
n3:pocetVysledkuRIV
28
n3:pocetZverejnenychVysledkuVRIV
28
n3:posledniUvolneniVMinulemRoce
2007-05-02+02:00
n3:prideleniPodpory
n12:201%2F05%2F0002
n3:sberDatUcastniciPoslednihoRoku
n11:2007
n3:sberDatUdajeProjZameru
n11:2008
n3:soutez
n8:SGA02005GA-ST
n3:statusZobrazovaneFaze
n22:DUU
n3:typPojektu
n18:P
n3:ukonceniReseni
2007-12-31+01:00
n3:zahajeniReseni
2005-01-01+01:00
n3:zhodnoceni+vysledku+projektu+dodavatelem
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 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
n3:zivotniCyklusProjektu
n7:ZBKU
n3:klicoveSlovo
groupoid algebra variety lattice