群论
We investigate the properties of word lengths of elements from a three-reflection symmetric generating set of the dihedral group $D_n$. Specifically, we provide the upper bound $\lambda_1(D_n,S) \leq \lfloor\frac{n}{2}\rfloor + 1$ for a…
We study the finite basis problem for $4$-element additively idempotent semirings whose additive reducts have two minimal elements and one coatom. Up to isomorphism, there are $112$ such algebras. We show that $106$ of them are finitely…
In this paper, we introduce the periodic tiling (PT) property for finite abelian groups. A finite abelian group is said to have the PT property if every non-periodic set that tiles the group by translation admits a periodic tiling…
We examine the computational complexity of problems in which we are given generators for a partial bijection semigroup and asked to check properties of the generated semigroup. We prove that the following problems are in AC$^0$: (1)…
The structure groups and monoids of set-theoretic solutions to the Yang-Baxter Equation can be regarded as deformations of free abelian groups resp. monoids. In this work, we obtain explicit formulae for the growth series of the structure…
The principal left ideal graph of a semigroup is a simple graph whose vertices are the non-zero elements of the semigroup, and two vertices are adjacent if their principal left ideals intersect non-trivially. In this paper, we study the…
We explore the notion of sectional number of a group homomorphism, leading to a generalization of the covering number of a group, and present several characterizations when the sectional number is finite, providing estimates for computing…
Kiselman's semigroup $K_n$ was studied by Kudryavtseva and Mazorchuk, who posed the question of whether it is possible to classify all endomorphisms of $K_n$. In this paper, we provide a complete classification of endomorphisms of $K_n$ and…
We show that the intersection of the rational derived series of a one-relator group is rationally perfect and is normally generated by a single element. As a corollary, we characterise precisely when a one-relator group is residually…
A countable, bounded degree graph is almost finite if it has a tiling with isomorphic copies of finitely many F\o lner sets, and we call it strongly almost finite, if the tiling can be randomized so that the probability that a vertex is on…
Let $G$ be a hyperbolic group that splits as a graph of free groups with cyclic edge groups, and which is not isomorphic to a free product of free and surface groups. We show that $G$ admits an exhausting, nested sequence of finite-index…
In this paper, we consider the relationship between the Fitting subgroup and the Camina kernel of a Camina pair.
Based on the notions of conciseness and semiconciseness, we show that these properties are not equivalent by proving that a word originally presented by Ol'shanskii is semiconcise but not concise. We further establish that every…
We prove that any compact $R$-analytic group is linear when $R$ is a pro-$p$ domain of characteristic zero.
We study groups of isometries on non-alternating symmetric bilinear forms on vector spaces of characteristic two, and actions of these groups on exterior powers of the space, viewed as modules over algebras generated by Hodge operators.
We prove that every word is strongly concise in the class of compact $R$-analytic groups.
We prove the blockwise Navarro Alperin weight conjecture for double covers of symmetric and alternating groups.
We show that if $X$ is a compact nonpositively curved cube complex which is a non-product, then $\pi_1 X$ has a proper quotient that is $\pi_1$ of a cube complex with these same properties.
We consider a non-elementary group action $G \curvearrowright X$ of a locally compact second countable group $G$ on a possibly exotic non-discrete affine building $X$ of type $\tilde{A}_2$. We prove that if $\mu$ is an admissible symmetric…
We prove that Brinkmann's problems are decidable for endomorphisms of $F_n\times F_m$: given $(x,y),(z,w)\in F_n\times F_m$ and $\Phi\in \text{End}(F_n\times F_m)$, it is decidable whether there is some $k\in \mathbb{N}$ such that…