D 2011

Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups

KLÍMA, Ondřej a Libor POLÁK

Základní údaje

Originální název

Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups

Autoři

KLÍMA, Ondřej a Libor POLÁK

Vydání

Berlin, Algebraic Foundations in Computer Science, od s. 214-227, 14 s. 2011

Nakladatel

Springer

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10101 Pure mathematics

Stát vydavatele

Německo

Utajení

není předmětem státního či obchodního tajemství

Impakt faktor

Impact factor: 0.402 v roce 2005

Kód RIV

RIV/00216224:14310/11:00050151

Organizační jednotka

Přírodovědecká fakulta

ISBN

978-3-642-24896-2

ISSN

UT WoS

000307894900010

Klíčová slova anglicky

identity problems; equations; unification; varieties of semigroups; varieties of unary semigroups

Štítky

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 2. 2. 2012 12:35, doc. Mgr. Ondřej Klíma, Ph.D.

Anotace

V originále

In this survey we consider three kinds of algorithmic questions concerning varieties of semigroups. We are interested in identity problems, in the solvability of a system of equations and in the structure of all solutions of a given system. We study them in significant varieties of semigroups, monoids, groups, completely simple semigroups, completely regular semigroups (in particular semigroups satisfying the identity x^r=x) and involutary semigroups (in particular star regular semigroups and inverse semigroups).

Návaznosti

GA201/09/1313, projekt VaV
Název: Algebraické metody v teorii automatů a formálních jazyků II
Investor: Grantová agentura ČR, Algebraické metody v teorii automatů a formálních jazyků II
MSM0021622409, záměr
Název: Matematické struktury a jejich fyzikální aplikace
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Matematické struktury a jejich fyzikální aplikace
1M0545, projekt VaV
Název: Institut Teoretické Informatiky
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Institut Teoretické Informatiky