Related papers: A focal subgroup theorem for outer commutator word…

Let $\mathrm{WP}_G$ denote the word problem in a finitely generated group $G$. We consider the complexity of $\mathrm{WP}_G$ with respect to standard deterministic Turing machines. Let $\mathrm{DTIME}_k(t(n))$ be the complexity class of…

Let $M$ be a $\rm II_1$ factor and let $\mathcal{F}(M)$ denote the fundamental group of $M$. In this article, we study the following property of $M$: for arbitrary $\rm II_1$ factor $B$, we have $\mathcal{F}(M \overline{\otimes}…

A group-word w is called concise if whenever the set of w-values in a group G is finite it always follows that the verbal subgroup w(G) is finite. More generally, a word w is said to be concise in a class of groups X if whenever the set of…

Suppose that p is an odd prime and G is a finite group having no normal non-trivial p'-subgroup. We show that if a is an automorphism of G of p-power order centralizing a Sylow p-group of G, then a is inner. This answers a conjecture of…

We prove that, for a finitely generated residually finite group, having solvable word problem is not a sufficient condition to be a subgroup of a finitely presented residually finite group. The obstruction is given by a residually finite…

A $p$-subgroup $H$ of a finite group $G$ is said to satisfy partial $S$-$\Pi$-property in $G$ if $G$ has a chief series $\Gamma_{G}: 1=G_{0}<G_{1}<\cdots<G_{n}=G$ such that for every $G$-chief factor $G_{i}/G_{i-1}$ $(1\leqslant i\leqslant…

We consider the group $\mathfrak{X}(G)$ obtained from $G\ast G$ by forcing each element $g$ in the first free factor to commute with the copy of $g$ in the second free factor. Deceptively complicated finitely presented groups arise from…

The weak commutativity group $\chi(G)$ is generated by two isomorphic groups $G$ and $G^{\varphi }$ subject to the relations $[g,g^{\varphi}]=1$ for all $g \in G$. The group $\chi(G)$ is an extension of $D(G) = [G,G^{\varphi}]$ by $G \times…

Glauberman's $Z^*$-theorem and analogous statements for odd primes show that, for any prime $p$ and any finite group $G$ with Sylow $p$-subgroup $S$, the centre of $G/O_{p^\prime}(G)$ is determined by the fusion system $\mathcal{F}_S(G)$.…

Let p be an odd prime and S a finite p-group. B. Oliver's conjecture arises from an open problem in the theory of p-local finite groups. It is the claim that a certain characteristic subgroup X(S) of S always contains the Thompson subgroup.…

Let for a prime $p$, $\mathfrak{X}$ (respectively $\mathfrak{Y}$) be the class of all $p$-biprimitively finite (respectively periodic $p$-conjugatively biprimitively finite) groups and $G\in \mathfrak{X}$ (respectively $G\in \mathfrak{Y}$),…

Let $w$ be a finite word of length $n$. In this paper, we study the maximum possible number of distinct rational power factors in a finite word. A rational power is a word of the form $u=p^kp'$, where $p$ is a nonempty finite word, $k$ is…

We present a characterisation of groups $G$ of order $p^7$, $p$ prime, in which not all elements of the commutator subgroup $\gamma_2(G)$ of $G$ are commutators in $G$. On the way we obtain several structural results on groups of order…

It is proved that a profinite group $G$ has fewer than $2^{\aleph_0}$ conjugacy classes of $p$-elements for an odd prime $p$ if and only if its $p$-Sylow subgroups are finite. (Here, by a $p$-element one understands an element that either…

We show that for any finite group $G$ and for any $d$ there exists a word $w\in F_{d}$ such that a $d$-tuple in $G$ satisfies $w$ if and only if it generates a solvable subgroup. In particular, if $G$ itself is not solvable, then it cannot…

Let $G$ be a finite group and $\sigma=\{\sigma_{i}|i\in I\}$ be a partition of the set of all primes $\mathbb{P}$, that is, $\mathbb{P}=\bigcup_{i\in I}\sigma_{i}$ and $\sigma_{i}\cap \sigma_{j}=\emptyset$ for all $i\neq j$. A chief factor…

Let f be a function from the set of rational numbers into itself. We call f a global power map if f(n) = n^k for some integer exponent k. We call f a local power map at the prime number p if f induces a well-defined group homomorphism on…

We extend Gow's theorem on products of semisimple regular conjugacy classes to finite groups whose generalized Fitting subgroup is Z(G)S where S is a quasisimple group of Lie type in characteristic p and Z(G) has order prime to p.

We use the theory of reduced determinant functors from [24] to give a new, computationally useful, description of the relative $K_0$-groups of orders in finite dimensional separable algebras that need not be commutative. By combining this…

The subgroups $A$ and $B$ of a group~$G$ are called {\rm msp}-permutable, if the following statements hold: $AB$~is a subgroup of~$G$; the subgroups $P$ and $Q$ are mutually permutable, where $P$~is an arbitrary Sylow $p$-subgroup of~$A$…