ALMEIDA, Jorge, Antonio CANO, Ondřej KLÍMA a Jean-Eric PIN. On fixed points of the lower set operator. International Journal of Algebra and Computation. SINGAPORE: WORLD SCIENTIFIC PUBL CO PTE LTD, roč. 25, 1-2, s. 259-292. ISSN 0218-1967. doi:10.1142/S021819671540010X. 2015.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název On fixed points of the lower set operator
Autoři ALMEIDA, Jorge (620 Portugalsko), Antonio CANO (724 Španělsko), Ondřej KLÍMA (203 Česká republika, garant, domácí) a Jean-Eric PIN (250 Francie).
Vydání International Journal of Algebra and Computation, SINGAPORE, WORLD SCIENTIFIC PUBL CO PTE LTD, 2015, 0218-1967.
Další údaje
Originální jazyk angličtina
Typ výsledku Článek v odborném periodiku
Obor 10101 Pure mathematics
Stát vydavatele Singapur
Utajení není předmětem státního či obchodního tajemství
Impakt faktor Impact factor: 0.469
Kód RIV RIV/00216224:14310/15:00080942
Organizační jednotka Přírodovědecká fakulta
Doi http://dx.doi.org/10.1142/S021819671540010X
UT WoS 000351747900011
Klíčová slova anglicky Ordered semigroups; pseudovarieties; lower sets; power operator; inequalities; pseudoidentities
Štítky AKR, rivok
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnila: Ing. Andrea Mikešková, učo 137293. Změněno: 7. 4. 2016 14:59.
Anotace
Lower subsets of an ordered semigroup form in a natural way an ordered semigroup. This lower set operator gives an analogue of the power operator already studied in semigroup theory. We present a complete description of the lower set operator applied to varieties of ordered semigroups. We also obtain large families of fixed points for this operator applied to pseudovarieties of ordered semigroups, including all examples found in the literature. This is achieved by constructing six types of inequalities that are preserved by the lower set operator. These types of inequalities are shown to be independent in a certain sense. Several applications are also presented, including the preservation of the period for a pseudovariety of ordered semigroups whose image under the lower set operator is proper.
Návaznosti
GBP202/12/G061, projekt VaVNázev: Centrum excelence - Institut teoretické informatiky (CE-ITI) (Akronym: CE-ITI)
Investor: Grantová agentura ČR, Centrum excelence - Institut teoretické informatiky
VytisknoutZobrazeno: 19. 4. 2024 00:17