群论

We show that the additively idempotent semiring $S_7^0$ has no finite basis for its equational theory. This answers an open problem posed by Jackson et al. (J. Algebra 611 (2022), 211--245).

Given a bi-invariant metric on a group, we construct a version of an asymptotic cone without using ultrafilters. The new construction, called the directional asymptotic cone, is a contractible topological group equipped with a complete…

For a finite group $G$, the representation dimension is the smallest integer realizable as the degree of a complex faithful representation of $G$. In this article, we compute representation dimension for some $p$-groups, their direct…

We prove that the virtually cyclic (geometric) dimension of the finite index congruence subgroup $\mathrm{IA}_N(3)$ of $\mathrm{Out}(F_N)$ is $2N-2$. From this we deduce the virtually cyclic dimension of $\mathrm{Out}(F_N)$ is finite. Along…

We observe that a function on a group equipped with a bi-invariant word metric is Lipschitz if and only if it is a partial quasimorphism bounded on the generating set. We also show that an undistorted element is always detected by an…

We study here the graphs with seven vertices in an effort to classify which of them appear as the prime character degree graphs of finite solvable groups. This classification is complete for the disconnected graphs. Of the 853…

It is known that a mixed abelian group G with torsion T is Bassian if, and only if, it has finite torsion-free rank and has finite p-torsion (i.e., each Tp is finite). It is also known that if G is generalized Bassian, then each pTp is…

Consider the following generalization of the bicyclic monoid. Let $\kappa$ be any infinite cardinal and let $\mathcal{IP\!F}\left(\sigma{\mathbb{N}^\kappa}\right)$ be the semigroup of all order isomorphisms between principal filters of the…

The target of this article is to discuss the concept of \textit{commuting probability} of finite groups which, in short, is a probabilistic measure of how abelian our group is. We shall compute the value of commuting probability for many…

In this note, we give a new proof of a result of Matthew Dyer stating that in an arbitrary Coxeter group $W$, every pair $t,t'$ of distinct reflections lie in a unique maximal dihedral reflection subgroup of $W$. Our proof only relies on…

We consider two variants of those Abelian groups with all proper strongly invariant subgroups isomorphic and give an in-depth study of their basic and specific properties in either parallel or contrast to the Abelian groups with all proper…

Fix a prime $p$ and an integer $n\geq 0$. Among the non-linear irreducible characters of the $p$-groups of order $p^n$, what is the minimum number of elements that take the value 0?

We prove that if $L=\mbox{}^2F_4(2^{2n+1})'$ and $x$ is a nonidentity automorphism of $L$ then $G=\langle L,x\rangle$ has four elements conjugate to $x$ that generate $G$. This result is used to study the following conjecture about the…

Let $\mathfrak{X}$ be a class of finite groups closed under subgroups, homomorphic images, and extensions. We study the question which goes back to the lectures of H. Wielandt in 1963-64: For a given $\mathfrak{X}$-subgroup $K$ and maximal…

In this paper we study intersection configurations -- which describe the behaviour of multiple (finite) intersections of subgroups with respect to finite generability -- in the realm of free and free times free-abelian (FTFA) groups. We say…

Let $\mathfrak{C}$ be some Cantor space. We study groups of homeomorphisms of $\mathfrak{C}$ which are vigorous, or, which are flawless, where we introduce both of these terms here. We say a group $G\leq \operatorname{Homeo}(\mathfrak{C})$…

A subgroup $H$ of a finite group $G$ is submodular in $G$ if there is a subgroup chain $H=H_0\leq\ldots\leq H_i\leq H_{i+1}\leq \ldots \leq H_n=G$ such that $H_i$ is a modular subgroup of $H_{i+1}$ for every $i$. We investigate finite…

The average order of a finite group G is denoted by o(G). In this note, we classify groups whose average orders are less than o(S4), where S4 is the symmetric group on four elements. Moreover, we prove that G \cong S4 if and only if o(G) =…

For a countable group G = <A | R> presented by its generators A and defining relations R we discuss a simple method to embed G into such a 2-generator group T that the images of generators from A are explicitly given in T, and the defining…

A recently fertile strand of research in Group Theory is developing non-abelian analogues of classical combinatorial results for arithmetic Cayley graphs, describing properties such as growth, expansion, mixing, diameter, etc. We consider…