| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:seeAlso
| |
| Description
| - 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. We will 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 (en)
- Hodláme vyšetřovat variety, motivované kombinatorickými strukturami (orientovanými grafy a jejich speciálními případy), a to ze dvou možných pohledů; soustředíme se na popis volných algeber v těchto varietách a jiné podobné otázky. Budeme vyšetřovat variety binárních systémů, například takových, které lze obdržet určitou derivovanou operací z grupy, a hledat báze pro jejich systémy identit; budeme ve varietách binárních systémů vyšetřovat subdirektně ireducibilní systémy a rozhodovat o amalgamační vlastnosti. Budeme hledat přepisující systém pro levou distributivitu, který by měl poskytnout novou normální formu pro tuto identitu. Hodláme aplikovat nedávné výsledky o topologické dualitě pro distributivní svazy, abychom nalezli topologické vlastnosti odlišující svazy kongruencí svazů z rozmanitých konečně generovaných variet. Budeme hledat rychlé algoritmy pro rozhodování o konečnosti konečně prezentovaných svazů a pro konstrukci volného svazu nad parciálním svazem v případě, že je
|
| Title
| - Varieties of algebras (en)
- Variety algeber
|
| 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
| |
| 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...okUkonceniPodpory
| |
| http://linked.open...okZahajeniPodpory
| |
| 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...jektu+dodavatelem
| - 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 (cs)
- The work on the project resulted in 24 original papers. Most of them can be divided into two groups: those on varieties of universal algebras generally, and those on varieties of either groupoids or quasigroups (or loops, in particular). One paper solves (en)
|
| http://linked.open...tniCyklusProjektu
| |
| 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)