Showing 1–45 of 45 results for author: Klyachko, A

Equationally separable classes of groups

Authors: Alexander Buturlakin, Anton Klyachko, Denis Osin

Abstract: Over each nontrivial finite group $G$, there exists a finite system of equations having no solutions in larger finite groups but having a solution in a periodic group containing $G$. We prove several similar facts about amenable, orderable, locally indicable, solvable, nilpotent, and other classes of groups. As a byproduct, we also show that any amalgam of two countable periodic groups with finite… ▽ More Over each nontrivial finite group $G$, there exists a finite system of equations having no solutions in larger finite groups but having a solution in a periodic group containing $G$. We prove several similar facts about amenable, orderable, locally indicable, solvable, nilpotent, and other classes of groups. As a byproduct, we also show that any amalgam of two countable periodic groups with finite intersection embeds into a periodic group, thereby answering a 1960 question of B. Neumann in the countable case. △ Less

Submitted 2 March, 2025; v1 submitted 9 February, 2025; originally announced February 2025.

Comments: An inaccuracy in the proof of Theorem 5.1 (6) has been fixed

Forester's lattices and small non-Leighton complexes

Authors: Natalia S. Dergacheva, Anton A. Klyachko

Abstract: We construct two CW-complexes $K$ and $L$ admitting a common, but not finite common, covering, where $K$ is homeomorphic to a complex with a single 2-cell. We construct two CW-complexes $K$ and $L$ admitting a common, but not finite common, covering, where $K$ is homeomorphic to a complex with a single 2-cell. △ Less

Submitted 21 December, 2024; v1 submitted 9 July, 2024; originally announced July 2024.

Comments: 6 pages. A Russian version of this paper is at http://halgebra.math.msu.su/staff/klyachko/papers.htm . V3: details are added, an error and misprints are corrected --- thanks to an anonymous referee

Finite symmetric groups are strongly verbally closed

Authors: Olga K. Karimova, Anton A. Klyachko

Abstract: Answering a question of A. V. Vasil'ev, we show that each finite symmetric (or alternating) group $H$ is a retract of any group containing $H$ as a verbally closed subgroup. Answering a question of A. V. Vasil'ev, we show that each finite symmetric (or alternating) group $H$ is a retract of any group containing $H$ as a verbally closed subgroup. △ Less

Submitted 2 December, 2024; v1 submitted 2 May, 2024; originally announced May 2024.

Comments: 4 pages. A Russian version of this paper is at http://halgebra.math.msu.su/staff/klyachko/papers.htm . V2: An argument is simplified (thanks to A. Yu. Olshanskii)

Tiny non-Leighton complexes

Authors: Natalia S. Dergacheva, Anton A. Klyachko

Abstract: How complex must two finite 2-complexes be to admit a common, but not finite common, covering? We obtain an almost answer: the minimum possible number of triangles in a pseudo-simplicial triangulation of each complex is 3, 4, or 5. How complex must two finite 2-complexes be to admit a common, but not finite common, covering? We obtain an almost answer: the minimum possible number of triangles in a pseudo-simplicial triangulation of each complex is 3, 4, or 5. △ Less

Submitted 7 April, 2025; v1 submitted 14 March, 2024; originally announced March 2024.

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

Journal ref: Geometriae Dedicata, 219:3 (2025), 48

The centre of a finitely generated strongly verbally closed group is almost always pure

Authors: Filipp D. Denissov, Anton A. Klyachko

Abstract: The assertion in the title implies that many interesting groups (e.g., all non-abelian braid groups or ${\bf SL}_{100}(\mathbb Z)$) are not strongly verbally closed, i.e., they embed into some finitely generated groups as verbally closed subgroups, which are not retracts. The assertion in the title implies that many interesting groups (e.g., all non-abelian braid groups or ${\bf SL}_{100}(\mathbb Z)$) are not strongly verbally closed, i.e., they embed into some finitely generated groups as verbally closed subgroups, which are not retracts. △ Less

Submitted 2 August, 2024; v1 submitted 13 August, 2023; originally announced August 2023.

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: Quarterly Journal of Mathematics, 75:3 (2024), 1149-1156

Invariant systems of weighted representatives

Authors: Anton A. Klyachko, Mikhail S. Terekhov

Abstract: It is known that, if removing some $n$ edges from a graph $Γ$ destroys all subgraphs isomorphic to a given finite graph $K$, then all subgraphs isomorphic to $K$ can be destroyed by removing at most $|E(K)|\cdot n$ edges, which form a set invariant with respect to all automorphisms of $Γ$. We construct the first examples of (connected) graphs $K$ for which this estimate is not sharp. Our arguments… ▽ More It is known that, if removing some $n$ edges from a graph $Γ$ destroys all subgraphs isomorphic to a given finite graph $K$, then all subgraphs isomorphic to $K$ can be destroyed by removing at most $|E(K)|\cdot n$ edges, which form a set invariant with respect to all automorphisms of $Γ$. We construct the first examples of (connected) graphs $K$ for which this estimate is not sharp. Our arguments are based on a ``weighted analogue'' of an earlier known estimate for the cost of symmetry. △ Less

Submitted 19 January, 2025; v1 submitted 20 June, 2023; originally announced June 2023.

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

Journal ref: Journal of Algebraic Combinatorics, 61:3 (2025), 32

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

Finite and nilpotent strongly verbally closed groups

Authors: Anton A. Klyachko, Veronika Yu. Miroshnichenko, Alexander Yu. Olshanskii

Abstract: We show, in particular, that, if a finite group $H$ is a retract of any finite group containing $H$ as a verbally closed subgroup, then the centre of $H$ is a direct factor of $H$. We show, in particular, that, if a finite group $H$ is a retract of any finite group containing $H$ as a verbally closed subgroup, then the centre of $H$ is a direct factor of $H$. △ Less

Submitted 1 June, 2022; v1 submitted 25 September, 2021; originally announced September 2021.

Comments: 13 pages. A Russian version of this paper is at http://halgebra.math.msu.su/staff/klyachko/papers.htm . V2: Results concerning strong retracts are improved slightly. V3: minor errors in the last section are corrected. V4: misprints are corrected

Journal ref: Journal of Algebra and Its Applications, 22:09 (2023), 2350188

Small non-Leighton two-complexes

Authors: Natalia S. Dergacheva, Anton A. Klyachko

Abstract: How many two-cells must two finite CW-complexes have to admit a common, but not finite common, covering? Leighton's theorem says that both complexes must have two-cells. We construct an almost (?) minimal example with two two-cells in each complex. How many two-cells must two finite CW-complexes have to admit a common, but not finite common, covering? Leighton's theorem says that both complexes must have two-cells. We construct an almost (?) minimal example with two two-cells in each complex. △ Less

Submitted 24 July, 2022; v1 submitted 3 August, 2021; originally announced August 2021.

Comments: 5 pages. A Russian version of this paper is at http://halgebra.math.msu.su/staff/klyachko/papers.htm . V.4: Some details were added

Journal ref: Math. Proc. Cambridge Philos. Soc., 174:2 (2023), 385-391

An analogue of the strengthened Hanna Neumann conjecture for virtually free groups and virtually free products

Authors: Anton A. Klyachko, Alexander O. Zakharov

Abstract: The Friedman--Mineyev theorem, earlier known as the (strengthened) Hanna Neumann conjecture, gives a sharp estimate for the rank of the intersection of two subgroups in a free group. We obtain an analogue of this inequality for any two subgroups in a virtually free group (or, more generally, in a group containing a free product of left-orderable groups as a finite-index subgroup). The Friedman--Mineyev theorem, earlier known as the (strengthened) Hanna Neumann conjecture, gives a sharp estimate for the rank of the intersection of two subgroups in a free group. We obtain an analogue of this inequality for any two subgroups in a virtually free group (or, more generally, in a group containing a free product of left-orderable groups as a finite-index subgroup). △ Less

Submitted 1 June, 2023; v1 submitted 10 June, 2021; originally announced June 2021.

Comments: 6 pages. A Russian version of this paper is at http://halgebra.math.msu.su/staff/klyachko/papers.htm . V4: misprints corrected, grants updated

Journal ref: Michigan Mathematical Journal, 74:2 (2024), 347-356

On the number of epi-, mono-, and homomorphisms of groups

Authors: Elena K. Brusyanskaya, Anton A. Klyachko

Abstract: It is known that the number of homomorphisms from a group $F$ to a group $G$ is divisible by the greatest common divisor of the order of $G$ and the exponent of $F/[F,F]$. We investigate the number of homomorphisms satisfying some natural conditions such as injectivity or surjectivity. The simplest nontrivial corollary of our results is the following fact: {\it in any finite group, the number of g… ▽ More It is known that the number of homomorphisms from a group $F$ to a group $G$ is divisible by the greatest common divisor of the order of $G$ and the exponent of $F/[F,F]$. We investigate the number of homomorphisms satisfying some natural conditions such as injectivity or surjectivity. The simplest nontrivial corollary of our results is the following fact: {\it in any finite group, the number of generating pairs $(x,y)$ such that $x^3=1=y^5$, is a multiple of the greatest common divisor of 15 and the order of the group $[G,G]\cdot\{g^{15}\;|\;g\in G\}$. △ Less

Submitted 27 March, 2021; v1 submitted 5 December, 2020; originally announced December 2020.

Comments: 5 pages. A Russian version of this paper is at http://halgebra.math.msu.su/staff/klyachko/papers.htm . V2: minor corrections. arXiv admin note: text overlap with arXiv:1806.08870

Journal ref: Izvestiya: Mathematics, 86:2 (2022), 243-251

Commutator length of powers in free products of groups

Authors: Vadim Yu. Bereznyuk, Anton A. Klyachko

Abstract: Given groups $A$ and $B$, what is the minimal commutator length of the 2020th (for instance) power of an element $g\in A*B$ not conjugate to elements of the free factors? The exhaustive answer to this question is still unknown, but we can give an almost answer: this minimum is one of two numbers (simply depending on $A$ and $B$). Other similar problems are also considered. Given groups $A$ and $B$, what is the minimal commutator length of the 2020th (for instance) power of an element $g\in A*B$ not conjugate to elements of the free factors? The exhaustive answer to this question is still unknown, but we can give an almost answer: this minimum is one of two numbers (simply depending on $A$ and $B$). Other similar problems are also considered. △ Less

Submitted 27 December, 2021; v1 submitted 6 August, 2020; originally announced August 2020.

Comments: 11 pages, 4 figures. A Russian version of this paper is at http://halgebra.math.msu.su/staff/klyachko/papers.htm . V2: misprints corrected. V3: several corrections in the proofs --- the results remain unchanged. V4: A misprint is corrected

Journal ref: Proc. Edinburgh Math. Soc., 65:1 (2022), 102-119

The Klein bottle group is not strongly verbally closed, though awfully close to being so

Authors: Anton A. Klyachko

Abstract: According to Mazhuga's theorem, the fundamental group $H$ of any connected surface, possibly except for the Klein bottle, is a retract of each finitely generated group containing $H$ as a verbally closed subgroup. We prove that the Klein bottle group is indeed an exception but has a very close property. According to Mazhuga's theorem, the fundamental group $H$ of any connected surface, possibly except for the Klein bottle, is a retract of each finitely generated group containing $H$ as a verbally closed subgroup. We prove that the Klein bottle group is indeed an exception but has a very close property. △ Less

Submitted 27 July, 2020; v1 submitted 28 June, 2020; originally announced June 2020.

Comments: 4 pages. V.2: A misprint corrected, thanks to the referee. A Russian version of this paper is at http://halgebra.math.msu.su/staff/klyachko/papers.htm

Journal ref: Canadian Mathematical Bulletin, 64:2 (2021), 491-497

Invariant systems of representatives, or The cost of symmetry

Authors: Anton A. Klyachko, Natalia M. Luneva

Abstract: Suppose that one can destroy all 100-gons in a graph by removing 2019 edges. How many edges must be removed to destroy all 100-gons in such a way that the set of removed edges is invariant with respect to all automorphisms the initial graph? This paper contains solutions to such kind of problems. Several open questions are raised. Suppose that one can destroy all 100-gons in a graph by removing 2019 edges. How many edges must be removed to destroy all 100-gons in such a way that the set of removed edges is invariant with respect to all automorphisms the initial graph? This paper contains solutions to such kind of problems. Several open questions are raised. △ Less

Submitted 20 January, 2021; v1 submitted 9 August, 2019; originally announced August 2019.

Comments: 11 pages, 9 figures. A Russian version of this paper is at http://halgebra.math.msu.su/staff/klyachko/papers.htm . V3: some misprints corrected and details added

Journal ref: Discrete Mathematics, 344:6 (2021), 112361

Elements of mathematics in problems. Through olympiads and circles to profession

Authors: M. Berstein, A. Blinkov, V. Bragin, Yu. Burman, S. Dorichenko, A. Gavriliuk, A. Kanel-Belov, A. Klyachko, P. Kozhevnikov, O. Malinovskaya, D. Permiakov, V. Protasov, A. Shapovalov, F. Sharov, A. Skopenkov, M. Skopenkov, A. Zaslavsky

Abstract: This is a collection of teaching materials used in several Russian universities, schools, and mathematical circles. Most problems are chosen in such a way that in the course of the solution and discussion a reader learns important mathematical ideas and theories. The materials can be used by pupils and students for self-study, and by teachers. This is an abridged pre-copyedit version of the publ… ▽ More This is a collection of teaching materials used in several Russian universities, schools, and mathematical circles. Most problems are chosen in such a way that in the course of the solution and discussion a reader learns important mathematical ideas and theories. The materials can be used by pupils and students for self-study, and by teachers. This is an abridged pre-copyedit version of the published book submitted with the permission of the publisher. Each included individual material is self-contained and ready-for-use. Solutions to problems are not included intentionally. This collection consolidates updates of several arXiv submissions, e.g., arXiv:1305.2598. △ Less

Submitted 24 May, 2019; originally announced May 2019.

Comments: Edited by A. Skopenkov, M. Skopenkov, A. Zaslavsky. In Russian. Optimized for printing on A5 paper. Moscow Center for Continuous Mathematical Education, 2018, 592pp (in Russian)

Journal ref: Math. via problems. Part 1. Algebra. MSRI Math. Circl Libr 25. AMS; Berkeley, CA: MSRI, 2021, 196 pp

Intersections of subgroups in virtually free groups and virtually free products

Authors: Anton A. Klyachko, Anastasia N. Ponfilenko

Abstract: This note contains a (short) proof of the following generalisation of the Friedman--Mineyev theorem (earlier known as the Hanna Neumann conjecture): if $A$ and $B$ are nontrivial free subgroups of a virtually free group containing a free subgroup of index $n$, then $rank(A\cap B)-1\leqslant n\cdot(rank(A)-1)\cdot(rank(B)-1)$. In addition, we obtain a virtually-free-product analogue of this result. This note contains a (short) proof of the following generalisation of the Friedman--Mineyev theorem (earlier known as the Hanna Neumann conjecture): if $A$ and $B$ are nontrivial free subgroups of a virtually free group containing a free subgroup of index $n$, then $rank(A\cap B)-1\leqslant n\cdot(rank(A)-1)\cdot(rank(B)-1)$. In addition, we obtain a virtually-free-product analogue of this result. △ Less

Submitted 17 April, 2019; v1 submitted 15 April, 2019; originally announced April 2019.

Comments: 3 pages. A Russian version of this paper is at http://halgebra.math.msu.su/staff/klyachko/papers.htm . V.2: minor corrections and refinements

Journal ref: Bull. Austral. Math. Soc., 101:2 (2020), 266-271

The dimension of solution sets to systems of equations in algebraic groups

Authors: Anton A. Klyachko, Maria A. Ryabtseva

Abstract: The Gordon--Rodriguez-Villegas theorem says that, in a finite group, the number of solutions to a system of coefficient-free equations is divisible by the order of the group if the rank of the matrix composed of the exponent sums of $j$-th unknown in $i$-th equation is less than the number unknowns. We obtain analogues of this and similar facts for algebraic groups. In particular, our results impl… ▽ More The Gordon--Rodriguez-Villegas theorem says that, in a finite group, the number of solutions to a system of coefficient-free equations is divisible by the order of the group if the rank of the matrix composed of the exponent sums of $j$-th unknown in $i$-th equation is less than the number unknowns. We obtain analogues of this and similar facts for algebraic groups. In particular, our results imply that the dimension of each irreducible component of the variety of homomorphisms from a finitely generated group with infinite abelianisation into an algebraic group $G$ is at least $\dim G$. △ Less

Submitted 29 March, 2020; v1 submitted 12 March, 2019; originally announced March 2019.

Comments: 6 pages. A Russian version of this paper is at http://halgebra.math.msu.su/staff/klyachko/papers.htm . V.2: An open question added, misprints corrected. V.3: misprints corrected

Journal ref: Israel Journal of Mathematics, 237:1 (2020), 141-154

What do Frobenius's, Solomon's, and Iwasaki's theorems on divisibility in groups have in common?

Authors: Elena K. Brusyanskaya, Anton A. Klyachko, Andrey V. Vasil'ev

Abstract: Our result contains as special cases the Frobenius theorem (1895) on the number of solutions to the equation $x^n=1$ in a group, the Solomon theorem (1969) on the number of solutions in a group to a system of equations having fewer equations than unknowns, and the Iwasaki theorem (1985) on roots of subgroups. There are other curious corollaries on groups and rings. Our result contains as special cases the Frobenius theorem (1895) on the number of solutions to the equation $x^n=1$ in a group, the Solomon theorem (1969) on the number of solutions in a group to a system of equations having fewer equations than unknowns, and the Iwasaki theorem (1985) on roots of subgroups. There are other curious corollaries on groups and rings. △ Less

Submitted 7 November, 2019; v1 submitted 22 June, 2018; originally announced June 2018.

Comments: 9 pages. A Russian version of this paper is at http://halgebra.math.msu.su/staff/klyachko/papers.htm . V2: misprints corrected, an acknowledgement added. V3: misprints corrected

Journal ref: Pacific J. Math. 302 (2019) 437-452

Virtually free finite-normal-subgroup-free groups are strongly verbally closed

Authors: Anton A. Klyachko, Andrey M. Mazhuga, Veronika Yu. Miroshnichenko

Abstract: Any virtually free group $H$ containing no non-trivial finite normal subgroup (e.g., the infinite dihedral group) is a retract of any finitely generated group containing $H$ as a verbally closed subgroup. Any virtually free group $H$ containing no non-trivial finite normal subgroup (e.g., the infinite dihedral group) is a retract of any finitely generated group containing $H$ as a verbally closed subgroup. △ Less

Submitted 22 June, 2018; v1 submitted 9 December, 2017; originally announced December 2017.

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

Journal ref: Journal of Algebra, 510 (2018), 319-330

Verbally closed virtually free subgroups

Authors: Anton A. Klyachko, Andrey M. Mazhuga

Abstract: A theorem of Myasnikov and Roman'kov says that any verbally closed subgroup of a finitely generated free group is a retract. We prove that all free (and many virtually free) verbally closed subgroups are retracts in any finitely generated group. A theorem of Myasnikov and Roman'kov says that any verbally closed subgroup of a finitely generated free group is a retract. We prove that all free (and many virtually free) verbally closed subgroups are retracts in any finitely generated group. △ Less

Submitted 12 February, 2023; v1 submitted 24 February, 2017; originally announced February 2017.

Comments: 5 pages. A Russian version of this paper is at http://halgebra.math.msu.su/staff/klyachko/papers.htm . V.5: An error in an example is corrected (Section 2); thanks to Mikhail Mikheenko

Journal ref: Sbornik: Mathematics, 209:6 (2018), 850-856

Quasiperiodic and mixed commutator factorizations in free products of groups

Authors: S. V. Ivanov, Anton A. Klyachko

Abstract: It is well known that a nontrivial commutator in a free group is never a proper power. We prove a theorem that generalizes this fact and has several worthwhile corollaries. For example, an equation $[ x_1, y_1] \ldots [ x_k, y_k] = z^n$, where $n \ge 2k$, in a free product $\mathcal{F}$ of groups without nontrivial elements of order $\le n$ implies that $z$ is conjugate to an element of a free fac… ▽ More It is well known that a nontrivial commutator in a free group is never a proper power. We prove a theorem that generalizes this fact and has several worthwhile corollaries. For example, an equation $[ x_1, y_1] \ldots [ x_k, y_k] = z^n$, where $n \ge 2k$, in a free product $\mathcal{F}$ of groups without nontrivial elements of order $\le n$ implies that $z$ is conjugate to an element of a free factor of $\mathcal{F}$. If a nontrivial commutator in a free group factors into a product of elements which are conjugate to each other then all these elements are distinct. △ Less

Submitted 23 May, 2018; v1 submitted 5 February, 2017; originally announced February 2017.

Comments: 14 pages, 5 figures. V3: minor corrections

MSC Class: 20E06; 20F06; 20F70; 57M07

Journal ref: Bull. London Math. Soc., 50:5 (2018), 832-844

Balanced factorisations in some algebras

Authors: Anton A. Klyachko, Andrey M. Mazhuga, Anastasia N. Ponfilenko

Abstract: We prove that, in any field of characteristic not two and not three except the five-element field, each element decomposes into a product of four factors whose sum vanishes. We also find all $k,n,q$ such that every $n\times n$ matrix over the $q$-element field decomposes into a product of $k$ commuting matrices whose sum vanishes. We prove that, in any field of characteristic not two and not three except the five-element field, each element decomposes into a product of four factors whose sum vanishes. We also find all $k,n,q$ such that every $n\times n$ matrix over the $q$-element field decomposes into a product of $k$ commuting matrices whose sum vanishes. △ Less

Submitted 7 July, 2016; originally announced July 2016.

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

Journal ref: Matematicheskoe Prosveshchenie , 21 (2017), 136-144 (in Russian)

New topological methods to solve equations over groups

Authors: Anton Klyachko, Andreas Thom

Abstract: We show that the equation associated with a group word $w \in G \ast {\mathbf F}_2$ can be solved over a hyperlinear group $G$ if its content - that is its augmentation in ${\mathbf F}_2$ - does not lie in the second term of the lower central series of ${\mathbf F}_2$. Moreover, if $G$ is finite, then a solution can be found in a finite extension of $G$. The method of proof extends techniques deve… ▽ More We show that the equation associated with a group word $w \in G \ast {\mathbf F}_2$ can be solved over a hyperlinear group $G$ if its content - that is its augmentation in ${\mathbf F}_2$ - does not lie in the second term of the lower central series of ${\mathbf F}_2$. Moreover, if $G$ is finite, then a solution can be found in a finite extension of $G$. The method of proof extends techniques developed by Gerstenhaber and Rothaus, and uses computations in $p$-local homotopy theory and cohomology of compact Lie groups. △ Less

Submitted 17 February, 2016; v1 submitted 4 September, 2015; originally announced September 2015.

Comments: 17 pages, no figures; v2 contains corrections according to referee report

Journal ref: Algebraic and Geometric Topology 17 (2017) 331-353

Strange divisibility in groups and rings

Authors: Anton A. Klyachko, Anna A. Mkrtchyan

Abstract: We prove a general divisibility theorem that implies, e.g., that, in any group, the number of generating pairs (as well as triples, etc.) is a multiple of the order of the commutator subgroup. Another corollary says that, in any associative ring, the number of Pythagorean triples (as well as four-tuples, etc.) of invertible elements is a multiple of the order of the multiplicative group. We prove a general divisibility theorem that implies, e.g., that, in any group, the number of generating pairs (as well as triples, etc.) is a multiple of the order of the commutator subgroup. Another corollary says that, in any associative ring, the number of Pythagorean triples (as well as four-tuples, etc.) of invertible elements is a multiple of the order of the multiplicative group. △ Less

Submitted 1 May, 2017; v1 submitted 30 June, 2015; originally announced June 2015.

Comments: 7 pages. A Russian version of this paper is at http://halgebra.math.msu.su/staff/klyachko/papers.htm . V.2: misprints corrected, some applications generalised. V.3: minor additions and corrections. V.4: Some corrections and generalisations (see Theorem on Monomorphisms and Subgroups). V.5: A reference is added

Journal ref: Archiv der Mathematik, 108:5 (2017), 441-451

Balanced factorisations

Authors: Anton A. Klyachko, Anton N. Vassilyev

Abstract: Any rational number can be factored into a product of several rationals whose sum vanishes. This simple but nontrivial fact was suggested as a problem on a maths olympiad for high-school students. We completely solve similar questions in all finite fields and in some other rings, e.g., in the complex and real matrix algebras. Also, we state several open questions. Any rational number can be factored into a product of several rationals whose sum vanishes. This simple but nontrivial fact was suggested as a problem on a maths olympiad for high-school students. We completely solve similar questions in all finite fields and in some other rings, e.g., in the complex and real matrix algebras. Also, we state several open questions. △ Less

Submitted 9 July, 2016; v1 submitted 4 June, 2015; originally announced June 2015.

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

Journal ref: American Mathematical Monthly, 123:10 (2016), 989-1000

Residually finite algorithmically finite groups, their subgroups and direct products

Authors: Anton A. Klyachko, Ayrana K. Mongush

Abstract: We construct an infinite finitely generated recursively presented residually finite algorithmically finite group $G$ answering thereby a question of Myasnikov and Osin. Moreover, $G$ is "very infinite" and "very algorithmically finite" in the sense that $G$ contains an infinite abelian normal subgroup while all finite Cartesian powers of $G$ are algorithmically finite (i.e., for any positive integ… ▽ More We construct an infinite finitely generated recursively presented residually finite algorithmically finite group $G$ answering thereby a question of Myasnikov and Osin. Moreover, $G$ is "very infinite" and "very algorithmically finite" in the sense that $G$ contains an infinite abelian normal subgroup while all finite Cartesian powers of $G$ are algorithmically finite (i.e., for any positive integer $n$, there is no algorithm which writes out an infinite sequence of pairwise different elements of $G^n$). We also state several related problems. △ Less

Submitted 7 March, 2014; v1 submitted 4 February, 2014; originally announced February 2014.

Comments: 4 pages. A Russian version of this paper is at http://halgebra.math.msu.su/staff/klyachko/papers.htm . V2: a reference added; minor correction

Journal ref: Russian original: Mat. Zametki, 98:3 (2015), 372-377; English translation: Math. Notes, 98:3 (2015), 414-418

Large and symmetric: The Khukhro--Makarenko theorem on laws --- without laws

Authors: Anton A. Klyachko, Maria V. Milentyeva

Abstract: We prove a generalisation of the Khukhro--Makarenko theorem on large characteristic subgroups with laws. This general fact implies new results on groups, algebras, and even graphs and other structures. Concerning groups, we obtain, e.g., a fact in a sense dual to the Khukhro--Makarenko theorem. A graph-theoretic corollary is an analogue of this theorem in which planarity plays the role of a multil… ▽ More We prove a generalisation of the Khukhro--Makarenko theorem on large characteristic subgroups with laws. This general fact implies new results on groups, algebras, and even graphs and other structures. Concerning groups, we obtain, e.g., a fact in a sense dual to the Khukhro--Makarenko theorem. A graph-theoretic corollary is an analogue of this theorem in which planarity plays the role of a multilinear identity. We answer also a question of Makarenko and Shumyatsky. △ Less

Submitted 25 October, 2014; v1 submitted 2 September, 2013; originally announced September 2013.

Comments: 12 pages, 3 figures. A Russian version of this paper is at http://halgebra.math.msu.su/staff/klyachko/papers.htm . V4: misprints corrected

Journal ref: Journal of Algebra, 2015, 424, 222-241

Commutators cannot be proper powers in metric small-cancellation torsion-free groups

Authors: Elizaveta Frenkel, Anton A. Klyachko

Abstract: A nontrivial commutator cannot be a proper power in a torsion-free group satisfying C'(λ) small cancellation condition with sufficiently small λ. A nontrivial commutator cannot be a proper power in a torsion-free group satisfying C'(λ) small cancellation condition with sufficiently small λ. △ Less

Submitted 13 September, 2013; v1 submitted 30 October, 2012; originally announced October 2012.

Comments: 14 pages, 13 figures. A Russian version of this paper is at http://halgebra.math.msu.su/staff/klyachko/papers.htm . V2: a minor correction of the proof of Lemma 3 made and an acknowledgement added. V3: minor corrections in Lemma 2 and the far-from-junction-collision lemma

On topologizable and non-topologizable groups

Authors: A. A. Klyachko, A. Yu. Olshanskii, D. V. Osin

Abstract: A group $G$ is called hereditarily non-topologizable if, for every $H\le G$, no quotient of $H$ admits a non-discrete Hausdorff topology. We construct first examples of infinite hereditarily non-topologizable groups. This allows us to prove that c-compactness does not imply compactness for topological groups. We also answer several other open questions about c-compact groups asked by Dikranjan and… ▽ More A group $G$ is called hereditarily non-topologizable if, for every $H\le G$, no quotient of $H$ admits a non-discrete Hausdorff topology. We construct first examples of infinite hereditarily non-topologizable groups. This allows us to prove that c-compactness does not imply compactness for topological groups. We also answer several other open questions about c-compact groups asked by Dikranjan and Uspenskij. On the other hand, we suggest a method of constructing topologizable groups based on generic properties in the space of marked $k$-generated groups. As an application, we show that there exist non-discrete quasi-cyclic groups of finite exponent; this answers a question of Morris and Obraztsov. △ Less

Submitted 9 August, 2013; v1 submitted 29 October, 2012; originally announced October 2012.

Journal ref: Topology and its Applications, 2013, 160:16, 2104-2120

How many tuples of group elements have a given property?

Authors: Anton A. Klyachko, Anna A. Mkrtchyan

Abstract: Generalising Solomon's theorem, C. Gordon and F. Rodriguez-Villegas have proven recently that, in any group, the number of solutions to a system of coefficient-free equations is divisible by the order of this group whenever the rank of the matrix composed of the exponent sums of i-th unknown in j-th equation is less than the number of unknowns. We generalise this result in two directions: first, w… ▽ More Generalising Solomon's theorem, C. Gordon and F. Rodriguez-Villegas have proven recently that, in any group, the number of solutions to a system of coefficient-free equations is divisible by the order of this group whenever the rank of the matrix composed of the exponent sums of i-th unknown in j-th equation is less than the number of unknowns. We generalise this result in two directions: first, we consider equations with coefficients, and secondly, we consider not only systems of equations but also any first-order formulae in the group language (with constants). Our theorem implies some amusing facts; for example, the number of group elements whose squares lie in a given subgroup is divisible by the order this subgroup. △ Less

Submitted 1 May, 2017; v1 submitted 12 May, 2012; originally announced May 2012.

Comments: With an appendix by D. V. Trushin, 9 pages. A Russian version of this paper is at http://mech.math.msu.su/department/algebra/staff/klyachko/papers.htm V3: a reference to Mathoverflow is added. V4: Corollary 5 is strengthened; the construction of the matrix $A(φ)$ is clarified slightly. V5: The main theorem is strengthened; a corollary is added. V6: misprint correction. V7: A reference added

MSC Class: 20D60; 20F70; 20F10

Journal ref: International Journal of Algebra and Computation, 2014, 24:4, 413-428

When Any Group of N Elements is Cyclic?

Authors: V. Bragin, Ant. Klyachko, A. Skopenkov

Abstract: We give a simple proof of the well-known fact: any group of n elements is cyclic if and only if n and φ(n) are coprime. This note is accessible for students familiar with permutations and basic number theory. No knowledge of abstract group theory is required; a few necessary notions are introduced in the course of the proof. The note could also be an interesting easy reading for mature mathematici… ▽ More We give a simple proof of the well-known fact: any group of n elements is cyclic if and only if n and φ(n) are coprime. This note is accessible for students familiar with permutations and basic number theory. No knowledge of abstract group theory is required; a few necessary notions are introduced in the course of the proof. The note could also be an interesting easy reading for mature mathematicians. △ Less

Submitted 25 October, 2015; v1 submitted 26 August, 2011; originally announced August 2011.

Comments: 3+13 pages, 4 figures, in English and in Russian, Russian version extended

MSC Class: 20E99

The identities of additive binary arithmetics

Authors: Anton A. Klyachko, Ekaterina V. Menshova

Abstract: Operations of arbitrary arity expressible via addition modulo 2^n and bitwise addition modulo 2 admit a simple description. The identities connecting these two additions have finite basis. Moreover, the universal algebra with these two operations is rationally equivalent to a nilpotent ring and, therefore, generates a Specht variety. Operations of arbitrary arity expressible via addition modulo 2^n and bitwise addition modulo 2 admit a simple description. The identities connecting these two additions have finite basis. Moreover, the universal algebra with these two operations is rationally equivalent to a nilpotent ring and, therefore, generates a Specht variety. △ Less

Submitted 22 January, 2012; v1 submitted 27 February, 2011; originally announced February 2011.

Comments: 6 pages. A Russian version of this paper is at http://mech.math.msu.su/department/algebra/staff/klyachko/papers.htm . V3: the easier direction of the proof of the main theorem is corrected and some minor changes are done

MSC Class: 08A70

Journal ref: Electronic Journal of Combinatorics, 19:1 (2012), #P40

Economical adjunction of square roots to groups

Authors: Dmitrii V. Baranov, Anton A. Klyachko

Abstract: How large must an overgroup of a given group be in order to contain a square root of any element of the initial group? We give an almost exact answer to this question (the obtained estimate is at most twice worse than the best possible) and state several related open questions. How large must an overgroup of a given group be in order to contain a square root of any element of the initial group? We give an almost exact answer to this question (the obtained estimate is at most twice worse than the best possible) and state several related open questions. △ Less

Submitted 15 May, 2011; v1 submitted 15 January, 2011; originally announced January 2011.

Comments: 5 pages. A Russian version of this paper is at http://mech.math.msu.su/department/algebra/staff/klyachko/papers.htm V2: minor corrections

MSC Class: 20D99; 20E22

Journal ref: Sibirskii Matematicheskii Zhurnal, 53:2 (2012), 250-257

Relative hyperbolicity and similar properties of one-generator one-relator relative presentations with powered unimodular relator

Authors: Anton A. Klyachko, Denis E. Lurye

Abstract: A group obtained from a nontrivial group by adding one generator and one relator which is a proper power of a word in which the exponent-sum of the additional generator is one contains the free square of the initial group and almost always (with one obvious exception) contains a non-abelian free subgroup. If the initial group is involution-free or the relator is at least third power, then the obta… ▽ More A group obtained from a nontrivial group by adding one generator and one relator which is a proper power of a word in which the exponent-sum of the additional generator is one contains the free square of the initial group and almost always (with one obvious exception) contains a non-abelian free subgroup. If the initial group is involution-free or the relator is at least third power, then the obtained group is SQ-universal and relatively hyperbolic with respect to the initial group. △ Less

Submitted 24 May, 2011; v1 submitted 20 October, 2010; originally announced October 2010.

Comments: 11 pages. A Russian version of this paper is at http://mech.math.msu.su/department/algebra/staff/klyachko/papers.htm V3: revised following referee's comments

MSC Class: 20E06; 20F05; 20F06; 20F67; 20F70

Journal ref: J. Pure Appl. Algebra, Volume 216, Issue 3, 2012, Pages 524-534

Automorphism invariance and identities

Authors: Evgenii I. Khukhro, Anton A. Klyachko, Natalia Yu. Makarenko, Yulia B. Melnikova

Abstract: If an outer (multilinear) commutator identity holds in a large subgroup of a group, then it holds also in a large characteristic subgroup. Similar assertions are valid for algebras and their ideals or subspaces. Varying the meaning of the word "large", we obtain many interesting facts. These results cannot be extended to arbitrary (non-multilinear) identities. As an application, we give a sharp es… ▽ More If an outer (multilinear) commutator identity holds in a large subgroup of a group, then it holds also in a large characteristic subgroup. Similar assertions are valid for algebras and their ideals or subspaces. Varying the meaning of the word "large", we obtain many interesting facts. These results cannot be extended to arbitrary (non-multilinear) identities. As an application, we give a sharp estimate for the `virtual derived length' of (virtually solvable)-by-(virtually solvable) groups. △ Less

Submitted 31 August, 2010; v1 submitted 7 December, 2008; originally announced December 2008.

Comments: 8 pages. A Russian version of this paper is at http://mech.math.msu.su/department/algebra/staff/klyachko/papers.htm V2: A reference added

MSC Class: 20e36; 20e10; 17a30; 17a36

Journal ref: Bull. London Math. Soc. 2009 41(5):804-816

A short proof of the Khukhro--Makarenko theorem on large characteristic subgroups with laws

Authors: Anton A. Klyachko, Yulia B. Melnikova

Abstract: We give a short proof and some strengthening of the Khukhro--Makarenko theorem that each group virtually satisfying an outer commutator identity contains a finite-index characteristic subgroup satisfying this identity. An estimate for the index of this characteristic subgroup is obtained. We give a short proof and some strengthening of the Khukhro--Makarenko theorem that each group virtually satisfying an outer commutator identity contains a finite-index characteristic subgroup satisfying this identity. An estimate for the index of this characteristic subgroup is obtained. △ Less

Submitted 20 May, 2008; v1 submitted 18 May, 2008; originally announced May 2008.

Comments: 2 pages. A Russian version of this paper is at http://mech.math.msu.su/department/algebra/staff/klyachko/papers.htm . V2: the bound is corrected

MSC Class: 20e36; 20f12; 20f16; 20f18; 20f19; 20e10

Journal ref: Matem. Sbornik, 200:5 (2009), 33-36

Automorphisms and isomorphisms of Chevalley groups and algebras

Authors: Anton A. Klyachko

Abstract: An adjoint Chevalley group of rank at least 2 over a rational algebra (or a similar ring), its elementary subgroup, and the corresponding Lie ring have the same automorphism group. These automorphisms are explicitly described. An adjoint Chevalley group of rank at least 2 over a rational algebra (or a similar ring), its elementary subgroup, and the corresponding Lie ring have the same automorphism group. These automorphisms are explicitly described. △ Less

Submitted 2 August, 2009; v1 submitted 16 August, 2007; originally announced August 2007.

Comments: 8 pages. A Russian version of this paper is at http://mech.math.msu.su/department/algebra/staff/klyachko/papers.htm . V4: minor changes in Introduction and References

MSC Class: 20g35; 20f28; 20f40; 17b20; 17b40

Journal ref: Journal of Algebra, 2010, 324:10, 2608-2619

The structure of one-relator relative presentations and their centres

Authors: Anton A. Klyachko

Abstract: Suppose that G is a nontrivial torsion-free group and w is a word in the alphabet G\cup\{x_1^{\pm1},...,x_n^{\pm1}\} such that the word w' obtained from w by erasing all letters belonging to G is not a proper power in the free group F(x_1,...,x_n). We show how to reduce the study of the relative presentation Ĝ=<G,x_1,x_2,...,x_n | w=1> to the case n=1. It turns out that an "n-variable" group Ĝ c… ▽ More Suppose that G is a nontrivial torsion-free group and w is a word in the alphabet G\cup\{x_1^{\pm1},...,x_n^{\pm1}\} such that the word w' obtained from w by erasing all letters belonging to G is not a proper power in the free group F(x_1,...,x_n). We show how to reduce the study of the relative presentation Ĝ=<G,x_1,x_2,...,x_n | w=1> to the case n=1. It turns out that an "n-variable" group Ĝ can be constructed from similar "one-variable" groups using an explicit construction similar to wreath product. As an illustration, we prove that, for n>1, the centre of Ĝ is always trivial. For n=1, the centre of Ĝ is also almost always trivial; there are several exceptions, and all of them are known. △ Less

Submitted 30 June, 2008; v1 submitted 10 January, 2007; originally announced January 2007.

Comments: 15 pages. A Russian version of this paper is at http://mech.math.msu.su/department/algebra/staff/klyachko/papers.htm . V4: the intoduction is rewritten; Section 1 is extended; a short introduction to Secton 5 is added; some misprints are corrected and some cosmetic improvements are made

MSC Class: 20F05; 20F06; 20E06; 20E22

Journal ref: Journal of Group Theory, 2009, 12:6, 923-947

The SQ-universality of one-relator relative presentations

Authors: Anton A. Klyachko

Abstract: Adding two generators and one arbitrary relator to a nontrivial torsion-free group, we always obtain an SQ-universal group. In the course of the proof of this theorem, we obtain some other results of independent interest. For instance, adding one generator and one relator in which the exponent sum of the additional generator is one to a free product of two nontrivial torsion-free groups, we also… ▽ More Adding two generators and one arbitrary relator to a nontrivial torsion-free group, we always obtain an SQ-universal group. In the course of the proof of this theorem, we obtain some other results of independent interest. For instance, adding one generator and one relator in which the exponent sum of the additional generator is one to a free product of two nontrivial torsion-free groups, we also obtain an SQ-universal group. Key words: relative presentations, one-relator groups, SQ-universality, equations over groups. △ Less

Submitted 12 October, 2006; v1 submitted 19 March, 2006; originally announced March 2006.

Comments: 15 pages. V2: Section 5 is re-written. Russian version of this paper is at http://mech.math.msu.su/department/algebra/staff/klyachko/papers.htm

MSC Class: 20E06; 20F05; 20F06

Journal ref: Mat. Sb., 2006, 197:10, 87-108

Free subgroups of one-relator relative presentations

Authors: Anton A. Klyachko

Abstract: Suppose that G is a nontrivial torsion-free group and w is a word over the alphabet G\cup\{x_1^{\pm1},...,x_n^{\pm1}\}. It is proved that for n\ge2 the group G=<G,x_1,x_2,...,x_n | w=1> always contains a nonabelian free subgroup. For n=1 the question about the existence of nonabelian free subgroups in G is answered completely in the unimodular case (i.e., when the exponent sum of x_1 in w is one… ▽ More Suppose that G is a nontrivial torsion-free group and w is a word over the alphabet G\cup\{x_1^{\pm1},...,x_n^{\pm1}\}. It is proved that for n\ge2 the group G=<G,x_1,x_2,...,x_n | w=1> always contains a nonabelian free subgroup. For n=1 the question about the existence of nonabelian free subgroups in G is answered completely in the unimodular case (i.e., when the exponent sum of x_1 in w is one). Some generalisations of these results are discussed. △ Less

Submitted 14 March, 2006; v1 submitted 26 October, 2005; originally announced October 2005.

Comments: V3: A small correction in the last phrase of the proof of Theorem 1. 4 pages

MSC Class: 20F05; 20E06; 20E07

Journal ref: Algebra i Logika, 2007, 46:3, 290-298

The number of non-solutions to an equation in a group and non-topologizable torsion-free groups

Authors: Anton A. Klyachko, Anton V. Trofimov

Abstract: It is shown that, for any pair of cardinals with infinite sum, there exist a group and an equation over this group such that the first cardinal is the number of solutions to this equation and the second cardinal is the number of non-solutions to this equation. A countable torsion-free non-topologizable group is constructed. It is shown that, for any pair of cardinals with infinite sum, there exist a group and an equation over this group such that the first cardinal is the number of solutions to this equation and the second cardinal is the number of non-solutions to this equation. A countable torsion-free non-topologizable group is constructed. △ Less

Submitted 10 November, 2004; v1 submitted 7 November, 2004; originally announced November 2004.

Comments: 5 pages; minor changes in the introduction and references

MSC Class: 20F05; 20F06; 22A05; 54H11

Journal ref: Journal of Group Theory, Volume: 8 (2005), Issue: 6 Pages: 747-754 (under the title "The number of non-solutions of an equation in a group")

The Kervaire-Laudenbach conjecture and presentations of simple groups

Authors: Anton A. Klyachko

Abstract: The statement ``no nonabelian simple group can be obtained from a nonsimple group by adding one generator and one relator" 1) is equivalent to the Kervaire--Laudenbach conjecture; 2) becomes true under the additional assumption that the initial nonsimple group is either finite or torsion-free. Key words: Kervaire--Laudenbach conjecture, relative presentations, simple groups, car motion, cocar… ▽ More The statement ``no nonabelian simple group can be obtained from a nonsimple group by adding one generator and one relator" 1) is equivalent to the Kervaire--Laudenbach conjecture; 2) becomes true under the additional assumption that the initial nonsimple group is either finite or torsion-free. Key words: Kervaire--Laudenbach conjecture, relative presentations, simple groups, car motion, cocar comotion. AMS MSC: 20E32, 20F05, 20F06. △ Less

Submitted 9 September, 2004; originally announced September 2004.

Comments: 20 pages, 13 figures

MSC Class: 20e32; 20f05; 20f06

Journal ref: Algebra and Logic Volume 44 (2005), Number 4, pp. 219 - 242. Translated from Algebra i Logika, Vol. 44 (2005), No. 4, pp. 399-437.

How to generalize known results on equations over groups

Authors: Anton A. Klyachko

Abstract: The known facts about solvability of equations over groups are considered from a more general point of view. A generalized version of the theorem about solvability of unimodular equations over torsion-free groups is proved. In a special case, this generalized version become a multivariable variant of this theorem. For unimodular equations over torsion free groups, we prove an analogue of Magnus'… ▽ More The known facts about solvability of equations over groups are considered from a more general point of view. A generalized version of the theorem about solvability of unimodular equations over torsion-free groups is proved. In a special case, this generalized version become a multivariable variant of this theorem. For unimodular equations over torsion free groups, we prove an analogue of Magnus's Freiheitssatz, which asserts that there exists a solution with good behavior with respect to free factors of the initial group. △ Less

Submitted 12 October, 2006; v1 submitted 18 June, 2004; originally announced June 2004.

Comments: 9 pages. V.4: minor corrections in the proof of the main theorem (p.5). Russian version of this paper is at http://mech.math.msu.su/department/algebra/staff/klyachko/papers.htm

MSC Class: 20e06;20f05

Journal ref: Mathematical Notes, 2006, 79:3, 377-386. Translated from Matematicheskie Zametki, 2006, 79:3, 409-419

Vector bundles, linear representations, and spectral problems

Authors: Alexander Klyachko

Abstract: This paper is based on my talk at ICM on recent progress in a number of classical problems of linear algebra and representation theory, based on new approach, originated from geometry of stable bundles and geometric invariant theory. This paper is based on my talk at ICM on recent progress in a number of classical problems of linear algebra and representation theory, based on new approach, originated from geometry of stable bundles and geometric invariant theory. △ Less

Submitted 22 April, 2003; originally announced April 2003.

MSC Class: 14F05; 14M15; 14M17; 14M25; 15A42

Journal ref: Proceedings of the ICM, Beijing 2002, vol. 2, 599--614