群论

Our purpose is to visualize the pronilpotent completion of a finitely generated free group as a certain subgroup in the free Lie group.

We study groups, exponential groups and ordered groups equipped with valuations. We investigate algebraic and topological features of such valued structures, and apply our findings in order to solve regular equations over groups using…

We give a criterion for separability of subgroups of certain outer automorphism groups. This answers questions of Hagen and Sisto, by strengthening and generalizing a result of theirs on mapping class groups.

The Abels-Margulis-Soifer lemma states that if a semigroup $\Gamma$ acts strongly irreducibly by linear transformations on a finite-dimensional real vector space, then any element of $\Gamma$ can be multiplied by an element of some fixed…

In this article, we construct infinite families $(G_n)_{n \in \mathbb{N}}$ of finite simple groups $G_n$ of Lie type, such that the rank of $G_n$ strictly increases as $n$ tends to infinity, and such that each $G_n$ is a quotient of the…

A description of finitely generated left nilpotent braces of class at most two is presented in this paper. The description heavily depends on the fact that if $B$ is left nilpotent of class at most $2$, that is $B^3 = 0$, then $B$ is right…

A string group generated by involutions, or SGGI, is a pair $\Gamma=(G, S)$, where $G$ is a group and $S=\{\rho_0,\ldots, \rho_{r-1}\}$ is an ordered set of involutions generating $G$ and satisfying the commuting property: $$\forall…

Let $G$ be a finite group, $N$ a normal subgroup of $G$ and $x\in G-N$. We discuss when the coset $Nx$ is contained in the union of two conjugacy classes, $K$ and $D$, of $G$. We show that $N$ need not be solvable, and can even be…

In this sequel paper, we continue the analysis of the prime order element graph $\Gamma(G)$ of a finite group $G$, where vertices are elements of $G$ and edges connect distinct elements $x, y$ satisfying $\circ(xy) = p$ for some prime $p$.…

Suppose that $A,B \in {\rm PSL}(2,\mathbb{R})$ generate a discrete and free group of rank 2, and let $m,n\ge 1$. We consider subgroups $\langle R,S\rangle$ of ${\rm PSL}(2,\mathbb{R})$ generated by roots of $A$ and $B$, i.e., by elements…

We classify all finite 2-groups that have a cyclic or dihedral maximal subgroup and determine their automorphism groups. Based on this result, we classify all pairs $ (G,\mathcal{M}) $, such that $ G $ is a finite 2-group and $ \mathcal{M}…

By strengthening known results about primitivity-blocking words in free groups, we prove that for any nontrivial element w of a free group of finite rank, there are words that cannot be subwords of any cyclically reduced automorphic image…

The problems that we consider in this paper are as follows. Let A and B be 2x2 matrices (over reals). Let w(A, B) be a word of length n. After evaluating w(A, B) as a product of matrices, we get a 2x2 matrix, call it W. What is the largest…

The probability that a symmetric random walk in a hyperbolic group reaches a proper power has the same exponential rate of decay as the probability of return to the identity.

Suppose $C(G)$ denotes the set of all cyclic subgroups of a finite group $G$, and $\mathcal{O}_{2}(G)$ denotes the number of elements of order $2$ in $G$. In [Marius T., Finite groups with a certain number of cyclic subgroups. The American…

We produce an example of an irreducible discrete subgroup in the product $SL(2,\R)\times SL(2,\R)$ which is not a lattice. This answers a question asked in [15].

We determine the structure of the finite groups with the property that every cyclic subgroup is the intersection of maximal subgroups, comparing this property with the one where all proper subgroups are intersections of maximal subgroups.

In this article, we solve the twisted conjugacy problem for solvable Baumslag--Solitar groups $BS(n,1)$, i.e., we propose an algorithm which, given two elements $u,v \in BS(n,1)$ and an automorphism $\varphi \in \Aut(BS(n,1))$, decides…

Let $S$ be an inverse semigroup with zero and let $Z(S)^\times$ be its set of non-zero divisors with respect to the natural partial order $\le $ on $S$, that is, $a \in Z(S)^\times $ if there exists $b\in S\setminus\{0\}$ with $\omega(a, b)…

The past few years have seen Hopf--Galois structures on extensions of squarefree degree studied in various contexts. The Galois case was fully explored by Alabdali and Byott in 2020, followed by a first attempt at generalising these results…