Defining Relations and the Algebraic Structure of the Group SL2 over Integral Hamilton Quaternions

DOI10.1142/S0218196797000022zbMath0892.20035OpenAlexW1968912257MaRDI QIDQ4354230

Pascal Weil, Jorge Almeida

Publication date: 15 September 1997

Published in: International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0218196797000022

zbMATH Keywords

pseudovarieties of semigroupsmembership problemlabeled treesMal'cev productsrational languagespseudovarieties of finite monoidspseudovarieties of groupsfree profinite \(\mathcal R\)-trivial monoidslabeled ordinals

Mathematics Subject Classification ID

Varieties and pseudovarieties of semigroups (20M07) Free semigroups, generators and relations, word problems (20M05) Applications of universal algebra in computer science (08A70) Algebraic theory of languages and automata (68Q70) Semigroups in automata theory, linguistics, etc. (20M35) Quasivarieties (08C15)

Related Items

Monoids respecting \(n\)-chains of intervals, An automata-theoretic approach to the word problem for \(\omega\)-terms over R, Some reducibility properties for pseudovarieties of the form DRH, Recognizing pro-\(\mathrm{R}\) closures of regular languages, The \(\kappa\)-word problem over \(\mathsf{DRH}\), Complete κ-reducibility of pseudovarieties of the form DRH, Closures of regular languages for profinite topologies., Pointlike sets with respect to R and J., Free profinite locally idempotent and locally commutative semigroups, Profinite topologies, Free profinite \(\mathcal R\)-trivial, locally idempotent and locally commutative semigroups, A conjecture on the concatenation product