On positive and constructive groups
Fix a countable group \(G\) and an enumeration \(f\), that is, a surjective map \(f : \omega \to G\). The group \(G\), or more accurately the pair \((G, f)\) is said to be constructive if the set \(\{(m, n, k) \in \omega^3 : f(m)\cdot f(n) = f(k)\}\) is computable; the group is positive if this set is only computably enumerable. The article deals with the following problem. Given a fixed constructive (resp. positive) group \((G, f)\) and a computably enumerable normal subgroup \(H \leq G\), is there \textit{another} constructive (resp. positive) enumeration \(f'\) of \(G\) such that \(H\) is computable and some set of representatives for \(G/H\) is computably enumerable? The article provides some positive answers in specific cases; it is in particular required that \(G\) has unique roots (the maps \(g\mapsto g^n\) are all injective), and that \(G/H\) is torsion-free abelian. Analogous results have been obtained in the nilpotent case by the same author [Sib. Mat. Zh. 50, No. 1, 222--230 (2009); translation in Sib. Math. J. 50, No. 1, 181--187 (2009; Zbl 1212.20065)].
- On the computability of the terms and quotient groups by them in the upper and lower central series of the computable groups
- scientific article; zbMATH DE number 3973173
- scientific article; zbMATH DE number 4039876
- The Friedman embedding theorem.
- scientific article; zbMATH DE number 1923097
- On Constructive Nilpotent Groups
- Torsion-free constructive nilpotent R_p-groups.
- Computable permutations and word problems
- On subgroup distortion in finitely presented groups
- scientific article; zbMATH DE number 1936752
- Constructible Matrix Groups
- Constructive Matrix and Orderable Groups
- Hierarchies of torsion-free Abelian groups
- scientific article; zbMATH DE number 5379348 (Why is no real title available?)
- scientific article; zbMATH DE number 52254 (Why is no real title available?)
- scientific article; zbMATH DE number 3250559 (Why is no real title available?)
- scientific article; zbMATH DE number 3411010 (Why is no real title available?)
- Nilpotent groups of finite algorithmic dimension
- On the integral homology of finitely presented groups
- Positive definite nilpotent groups.
- The arithmetic hierarchy of torsion-free nilpotent groups
- Torsion-free constructive nilpotent R_p-groups.
- On new examples of hypocritical groups
- Uniform \(m\)-equivalencies and numberings of classical systems
- scientific article; zbMATH DE number 3973173 (Why is no real title available?)
- Computable torsion-free nilpotent groups of finite dimension.
- Torsion-free constructive nilpotent R_p-groups.
- scientific article; zbMATH DE number 6304243 (Why is no real title available?)
This page was built for publication: On positive and constructive groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1937754)
