Showing 1–5 of 5 results for author: Mikheenko, M A

Unimodular equations which do not preserve the derived length of a group

Authors: Mikhail A. Mikheenko

Abstract: It is a known fact that any unimodular equation over an abelian group has a solution in that group itself. It is also known that for metabelian groups this does not hold; moreover, there is a unimodular equation over some metabelian group which has no solutions in any larger metabelian group. Here we present the proof of an analagous fact for solvable groups of higher derived lengths. It is a known fact that any unimodular equation over an abelian group has a solution in that group itself. It is also known that for metabelian groups this does not hold; moreover, there is a unimodular equation over some metabelian group which has no solutions in any larger metabelian group. Here we present the proof of an analagous fact for solvable groups of higher derived lengths. △ Less

Submitted 19 May, 2025; originally announced May 2025.

Comments: 6 pages

MSC Class: 20F70 (Primary); 20F16 (Secondary)

Infinite systems of equations in abelian and nilpotent groups

Authors: Mikhail A. Mikheenko

Abstract: Every abelian (and even every nilpotent) group contains a solution of any finite unimodular system of equations over itself. However, this is not true for infinite systems. We deduced a criterion for a periodic abelian group to contain a solution of any infinite unimodular system of equations over itself. Using this criterion, we show that nilpotent groups of bounded period also contain solutions… ▽ More Every abelian (and even every nilpotent) group contains a solution of any finite unimodular system of equations over itself. However, this is not true for infinite systems. We deduced a criterion for a periodic abelian group to contain a solution of any infinite unimodular system of equations over itself. Using this criterion, we show that nilpotent groups of bounded period also contain solutions of all infinite unimodular systems of equations over themselves. Solvability of every nonsingular infinite system of equations in each divisible nilpotent group is shown as well. △ Less

Submitted 1 July, 2025; v1 submitted 28 October, 2024; originally announced October 2024.

Comments: 12 pages; v2: some misprints corrected, added thanks to Anton Klyachko for the example from Question 1; v3: minor changes done, thanks to an anonymous referee

MSC Class: 20F70 (Primary); 20K10; 20F18 (Secondary)

On $p$-nonsingular systems of equations over solvable groups

Authors: Mikhail A. Mikheenko

Abstract: Any group that has a subnormal series, in which all factors are abelian and all except the last one are $p'$-torsion-free, can be embedded into a group with a subnormal series of the same length, with the same properties and such that any $p$-nonsingular system of equations over this group is solvable in this group itself. This helps us to prove that the minimal order of a metabelian group, over w… ▽ More Any group that has a subnormal series, in which all factors are abelian and all except the last one are $p'$-torsion-free, can be embedded into a group with a subnormal series of the same length, with the same properties and such that any $p$-nonsingular system of equations over this group is solvable in this group itself. This helps us to prove that the minimal order of a metabelian group, over which there is a unimodular equation that is unsolvable in metabelian groups, is 42. △ Less

Submitted 23 January, 2024; v1 submitted 16 September, 2023; originally announced September 2023.

Comments: 12 pages, 1 table. v3: the beginning of introduction rewritten; inaccuracies in Section 2 corrected (as well as some other minor inaccuracies) - the results remain the same; a shorter proof for Section 3 presented, thanks to an anonymous referee; Table 1 addeed; a new reference added

MSC Class: 20F70 (Primary); 16S34; 16S50 (Secondary)

Equations over solvable groups

Authors: Anton A. Klyachko, Mikhail A. Mikheenko, Vitaly A. Roman'kov

Abstract: Not any nonsingular equation over a metabelian group has solution in a larger metabelian group. However, any nonsingular equation over a solvable group with a subnormal series with abelian torsion-free quotients has a solution in a larger group with a similar subnormal series of the same length (and an analogous fact is valid for systems of equations). Not any nonsingular equation over a metabelian group has solution in a larger metabelian group. However, any nonsingular equation over a solvable group with a subnormal series with abelian torsion-free quotients has a solution in a larger group with a similar subnormal series of the same length (and an analogous fact is valid for systems of equations). △ Less

Submitted 19 October, 2023; v1 submitted 23 March, 2023; originally announced March 2023.

Comments: 7 pages. A Russian version of this paper is at http://halgebra.math.msu.su/staff/klyachko/papers.htm . V3: misprints corrected

Journal ref: Journal of Algebra, 638 (2024), 739-750

Yet another Freiheitssatz: Mating finite groups with locally indicable ones

Authors: Anton A. Klyachko, Mikhail A. Mikheenko

Abstract: The main result includes as special cases on the one hand, the Gerstenhaber--Rothaus theorem (1962) and its generalisation due to Nitsche and Thom (2022) and, on the other hand, the Brodskii--Howie--Short theorem (1980--1984) generalising Magnus's Freiheitssatz (1930). The main result includes as special cases on the one hand, the Gerstenhaber--Rothaus theorem (1962) and its generalisation due to Nitsche and Thom (2022) and, on the other hand, the Brodskii--Howie--Short theorem (1980--1984) generalising Magnus's Freiheitssatz (1930). △ Less

Submitted 17 November, 2022; v1 submitted 3 April, 2022; originally announced April 2022.

Comments: 6 pages. A Russian version of this paper is at http://halgebra.math.msu.su/staff/klyachko/papers.htm V4: minor misprint corrections

Journal ref: Glasgow Mathematical Journal, 65:2 (2023), 337-344