On the extension problem for partial permutations

DOI10.1090/S0002-9939-03-06860-6zbMath1027.20035MaRDI QIDQ4806416

Benjamin Steinberg, Karl Auinger

Publication date: 14 May 2003

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

finite groupsfinite semigroupsmembership problemextension problempseudovarietiespointlike setsfinite monoidsgroup identitiesundecidable problemsgroup kernels

Mathematics Subject Classification ID

Finite solvable groups, theory of formations, Schunck classes, Fitting classes, (pi)-length, ranks (20D10) Varieties and pseudovarieties of semigroups (20M07) Free semigroups, generators and relations, word problems (20M05) Semigroups in automata theory, linguistics, etc. (20M35) Quasivarieties and varieties of groups (20E10) Inverse semigroups (20M18) General theory for finite permutation groups (20B05)

Related Items

Reducibility of Joins Involving Some Locally Trivial Pseudovarieties, Pointlike sets and separation: a personal perspective, Pointlike sets for varieties determined by groups, Recognizing pro-\(\mathrm{R}\) closures of regular languages, The \(\kappa\)-word problem over \(\mathsf{DRH}\), The uniform word problem for groups and finite Rees quotients of \(E\)-unitary inverse semigroups, UNDECIDABILITY AND THE DEVELOPABILITY OF PERMUTOIDS AND RIGID PSEUDOGROUPS, On κ-reducibility of pseudovarieties of the form V ∗D, Pointlike sets with respect to R and J., TAMENESS OF JOINS INVOLVING THE PSEUDOVARIETY OF LOCAL SEMILATTICES, The word problem for \(\kappa \)-terms over the pseudovariety of local groups, ON THE DECIDABILITY OF MEMBERSHIP IN THE GLOBAL OF A MONOID PSEUDOVARIETY, STABLE PAIRS, On the power pseudovariety \(\mathbf{PCS}\)., On non-commuting sets in finite soluble CC-groups., A counterexample to a conjecture concerning concatenation hierarchies, Semidirect product with an order-computable pseudovariety and tameness., Representation theory of finite semigroups, semigroup radicals and formal language theory, Representations of relatively free profinite semigroups, irreducibility, and order primitivity, COMPLETE REDUCIBILITY OF THE PSEUDOVARIETY LS1, Varieties, Profinite topologies, Merge Decompositions, Two-sided Krohn–Rhodes, and Aperiodic Pointlikes, Tameness of pseudovariety joins involving R.