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

DOI10.1142/S0218196797000022zbMath0892.20035MaRDI 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 semigroups; membership problem; labeled trees; Mal'cev products; rational languages; pseudovarieties of finite monoids; pseudovarieties of groups; free profinite \(\mathcal R\)-trivial monoids; labeled ordinals

Mathematics Subject Classification ID

20M07: Varieties and pseudovarieties of semigroups

20M05: Free semigroups, generators and relations, word problems

08A70: Applications of universal algebra in computer science

68Q70: Algebraic theory of languages and automata

20M35: Semigroups in automata theory, linguistics, etc.

08C15: Quasivarieties

Related Items

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