| Attributes | Values |
|---|
| rdf:type
| |
| Description
| - This project includes several topics, all of them related to free algebras in varieties. Emphasis is put on free lattices. In a recent monograph (the applicant is one of its authors) all up-to-date knowledge is collected, but some problems remain open; we intend to solve some of of them. The topic of varieties generated by various classes of graphs seems to be prospective. We intend to investigate free algebras in various varieties of groupoids, lattices and loops. The word problems will be of particular interest (we can also apply the techniques of rewriting systems). Also, other questions like the finite basis property or amalgamation property will be considered. (en)
- Projekt zahrnuje několik okruhů otázek, které jsou vesměs vztaženy k volným algebrám ve varietách. Důraz je kladen na volné svazy. V nedávné monografii, jejímž je navrhovatel spoluautorem, byly shrnuty všechny dosavadní vědomosti, avšak některé problémy zůstávají otevřené; některé z nich máme v úmyslu řešit. Jako perspektivní se jeví téma variet, generovaných různými třídami grafů. Hodláme vyšetřovat volné algebry v různých varietách grupoidů, svazů a lup. Speciální nás budou zajímat problémy slov (zde se dá aplikovat i technika přepisujících systémů). Budou také uvažovány jiné otázky, jako např. vlastnost existence konečné báze nebo amalgamační vlastnost. (cs)
|
| Title
| - Free algebras in varieties (en)
- Volné algebry ve varietách (cs)
|
| http://linked.open...avai/druh-souteze
| |
| http://linked.open...domain/vavai/faze
| |
| http://linked.open...vavai/hlavni-obor
| |
| http://linked.open...vavai/id-aktivity
| |
| http://linked.open.../vavai/id-souteze
| |
| http://linked.open...n/vavai/kategorie
| |
| http://linked.open...vai/klicova-slova
| |
| http://linked.open...nujicich-prijemcu
| |
| http://linked.open...avai/poskytovatel
| |
| http://linked.open...ai/statni-podpora
| |
| http://linked.open...vavai/typProjektu
| |
| http://linked.open...ai/uznane-naklady
| |
| http://linked.open...ai/pocet-prijemcu
| |
| http://linked.open...cet-spoluprijemcu
| |
| http://linked.open...ai/pocet-vysledku
| |
| http://linked.open...ku-zverejnovanych
| |
| is http://linked.open...ain/vavai/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)