Related papers: Solvable normal subgroups of 2-knot groups

This is a long overdue write up of the following: If the fundamental group of a normal complex algebraic variety (respectively Zariski open subset of a compact K\"ahler manifold) is a solvable group of matrices over Q (respectively…

We provide polynomial lower bounds for residual finiteness of residually finite, finitely generated solvable groups that admit infinite order elements in the Fitting subgroup of strict distortion at least exponential. For this class of…

We prove that the profinite completion of the fundamental group of a compact 3-manifold $M$ satisfies a Tits alternative: if a closed subgroup $H$ does not contain a free pro-$p$ subgroup for any $p$, then $H$ is virtually soluble, and…

A finite connected 2-complex K whose fundamental group is of cohomological dimension 2 is aspherical iff the subgroup \Sigma_K of H_2(K) consisting of spherical 2-cycles is zero. A finite connected subcomplex of an aspherical 2-complex is…

A subgroup $H$ of a finite group $G$ is said to be an NC-subgroup of $G$, if $ H^G N_G (H) =G$, where $H^G$ denotes the normal closure of $H$ in $G$. A finite group $G$ is called a PNC-group, if any subgroup of $G$ is an NC-subgroup of $G$,…

A finite group $G$ is called $\psi$-divisible if $\psi(H)|\psi(G)$ for any subgroup $H$ of $G$, where $\psi(H)$ and $\psi(G)$ are the sum of element orders of $H$ and $G$, respectively. In this paper, we extend a result provided in [10], by…

Let $p$ be a prime number and suppose that every maximal subgroup of a finite group is either $p$-nilpotent or has prime index. Such group need not be $p$-solvable, and we study its structure by proving that only one nonabelian simple group…

Fix a set of primes $\pi$. A finite group is said to satisfy $C_\pi$ or, in other words, to be a $C_\pi$-group, if it possesses exactly one class of conjugate $\pi$-Hall subgroups. The pronormality of $\pi$-Hall subgroups in $C_\pi$-groups…

Let $G$ be a finite group, and $\pi$ be a set of primes. The $\pi$-core $\mathbf{O}_\pi(G)$ is the unique maximal normal $\pi$-subgroup of $G$, and $b(G)$ is the largest irreducible character degree of $G$. In 2017, Qian and Yang proved…

We exhibit infinitely many natural numbers $n$ for which there exists at least one insolvable group of order $n$, and yet the holomorph of any solvable group of order $n$ has no insolvable regular subgroup. We also solve Problem 19.90 (d)…

Let $G$ be a finite group and $p\in \pi(G)$, and let Irr$(G)$ be the set of all irreducible complex characters of $G$. Let $\chi \in {\rm Irr}(G)$, we write ${\rm cod}(\chi)=|G:{\rm ker} \chi|/\chi(1)$, and called it the codegree of the…

A group is SimpHAtic if it acts geometrically on a simply connected simplicially hereditarily aspherical (SimpHAtic) complex. We show that finitely presented normal subgroups of the SimpHAtic groups are either: finite, or of finite index,…

The Torelli group $\mathcal T(X)$ of a closed smooth manifold $X$ is the subgroup of the mapping class group $\pi_0(\mathrm{Diff}^+(X))$ consisting of elements which act trivially on the integral cohomology of $X$. In this note we give…

Let $ H $ be a subgroup of a finite group $ G $. We say that $ H $ satisfies the $ \Pi $-property in $ G $ if $ | G/K : N_{G/K}((H \cap L)K/K)| $ is a $ \pi(( H \cap L)K/K ) $-number for any chief factor $ L/K $ of $ G $; and we call that $…

In this paper, we proved that a group $G$ is supersoluble if and only if for any prime $p\in \pi (G)$ there exists a supersoluble subgroup of index $p$.

The study of the complexity of the equation satisfiability problem in finite groups had been initiated by Goldmann and Russell (2002) where they showed that this problem is in polynomial time for nilpotent groups while it is NP-complete for…

Two subgroups H and K are 4-permutable in G if <H,K> = HKHK, and H is strong 4-quasinormal in G if H is 4-permutable with every subgroups K of G. A finite group G is called Sq4T-group if strong 4-quasinormality is transitive relation among…

We show that the Nichols algebra of a simple Yetter-Drinfeld module over a projective special linear group over a finite field whose support is a semisimple orbit has infinite dimension, provided that the elements of the orbit are…

A 2-covering for a finite group $G$ is a set of proper subgroups of $G$ such that every pair of elements of $G$ is contained in at least one subgroup in the set. The minimal number of subgroups needed to 2-cover a group $G$ is called the…

We study the problem of realizing families of subgroups as the set of stabilizers of configurations from a subshift of finite type (SFT). This problem generalizes both the existence of strongly and weakly aperiodic SFTs. We show that a…