| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:seeAlso
| |
| Description
| - 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. (en)
- 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.
|
| Title
| - Structure of algebras in varieties (en)
- Struktura algeber ve varietách
|
| skos:notation
| |
| http://linked.open...avai/cep/aktivita
| |
| http://linked.open...kovaStatniPodpora
| |
| http://linked.open...ep/celkoveNaklady
| |
| http://linked.open...datumDodatniDoRIV
| |
| http://linked.open...i/cep/druhSouteze
| |
| http://linked.open...ep/duvernostUdaju
| |
| http://linked.open.../cep/fazeProjektu
| |
| http://linked.open...ai/cep/hlavniObor
| |
| http://linked.open...hodnoceniProjektu
| |
| http://linked.open...vai/cep/kategorie
| |
| http://linked.open.../cep/klicovaSlova
| - algebra; variety; lattice; groupoid; equational theory (en)
|
| http://linked.open...ep/partnetrHlavni
| |
| http://linked.open...inujicichPrijemcu
| |
| http://linked.open...cep/pocetPrijemcu
| |
| http://linked.open...ocetSpoluPrijemcu
| |
| http://linked.open.../pocetVysledkuRIV
| |
| http://linked.open...enychVysledkuVRIV
| |
| http://linked.open...lneniVMinulemRoce
| |
| http://linked.open.../prideleniPodpory
| |
| http://linked.open...iciPoslednihoRoku
| |
| http://linked.open...atUdajeProjZameru
| |
| http://linked.open.../vavai/cep/soutez
| |
| http://linked.open...usZobrazovaneFaze
| |
| http://linked.open...ai/cep/typPojektu
| |
| http://linked.open...ep/ukonceniReseni
| |
| http://linked.open...ep/zahajeniReseni
| |
| http://linked.open...jektu+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 (en)
- 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 (cs)
|
| http://linked.open...tniCyklusProjektu
| |
| http://linked.open.../cep/klicoveSlovo
| - algebra
- groupoid
- lattice
- variety
|
| is http://linked.open...vavai/riv/projekt
of | |
| is http://linked.open...vavai/cep/projekt
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)