Related papers: Subgroup separability in integral group rings

We restrict the type of $2 \times 2$-matrices which can occur as simple components in the Wedderburn decomposition of the rational group algebra of a finite group. This results in a description up to commensurability of the group of units…

Let $\mathcal{Z}(\mathcal{U}(\mathbb{Z}[G]))$ denote the group of central units in the integral group ring $\mathbb{Z}[G]$ of a finite group $G$. A bound on the index of the subgroup generated by a virtual basis in…

We prove that if $G$ is a finite simple group which is the unit group of a ring, then $G$ is isomorphic to either (a) a cyclic group of order 2; (b) a cyclic group of prime order $2^k -1$ for some $k$; or (c) a projective special linear…

When considering the unit group of $\mathcal{O}_F G$ ($\mathcal{O}_F$ the ring of integers of an abelian number field $F$ and a finite group $G$) certain components in the Wedderburn decomposition of $FG$ cause problems for known generic…

We study the number of cylic subgroups in finite groups and get that $G$ has $|G|-3$ cyclic subgroups if and only if $G \cong D_{10}$ or $Q_8$.

A subgroup H of a group G is called inert if for each $g\in G$ the index of $H\cap H^g$ in $H$ is finite. We give a classification of soluble-by-finite groups $G$ in which subnormal subgroups are inert in the cases where $G$ has no…

If F is a surface with boundary, then a finitely generated subgroup without peripheral elements of G = {\pi}_1(F) can be separated from finitely many other elements of G by a finite index subgroup of G corresponding to a finite cover F'…

Let G be a finitely generated linear group over a field of characteristic 0. Suppose that every solvable subgroup of G is polycyclic. Then the claim is made that any solvable subgroup of G is separable. This is proven for G=SL_n(Z).…

In this paper we describe some properties of groups $G$ that contain a solvable subgroup of finite prime-power index (Theorem 1 and Corollaries 2--3). We prove that if $G$ is a non-solvable group that contains a solvable subgroup of index…

For a prime $p$, a $p$-subgroup of a finite group $G$ is said to be large if and only if $Q= F^*(N_G(Q))$ and, for all $1 \neq U \le Z(Q)$, $N_G(U) \le N_G(Q)$. In this article we determine those groups $G$ which have a large subgroup and…

We know that any finite abelian group $G$ appears as a subgroup of infinitely many multiplicative groups $\mathbb{Z}_n^\times$ (the abelian groups of size $\phi(n)$ that are the multiplicative groups of units in the rings…

In this paper, we study the question of when the symmetric units in an integral group ring ZG form a multiplicative group. When G is periodic, necessary and sufficient conditions are given for this to occur.

It is shown that in the units of augmentation one of an integral group ring $\mathbb{Z} G$ of a finite group $G$, a noncyclic subgroup of order $p^{2}$, for some odd prime $p$, exists only if such a subgroup exists in $G$. The corresponding…

An $integral$ of a group $G$ is a group $H$ whose commutator subgroup is isomorphic to $G$. This paper continues the investigation on integrals of groups started in the work arXiv:1803.10179. We study: (1) A sufficient condition for a bound…

It is proved that all finitely generated subgroups of generalized free product of two groups are finitely separable provided that free factors have this property and amalgamated subgroups are normal in corresponding factors and satisfy the…

A closed subgroup of a semisimple algebraic group is called irreducible if it lies in no proper parabolic subgroup. In this paper we classify all irreducible $A_1$ subgroups of exceptional algebraic groups $G$. Consequences are given…

We prove that every free metabelian non--cyclic group has a finitely generated isolated subgroup which is not separable in the class of nilpotent groups. As a corollary we prove that for every prime number $p$ an arbitrary free metabelian…

For any finite group Q not of prime power order, we construct a group G that is virtually of type F, contains infinitely many conjugacy classes of subgroups isomorphic to Q, and contains only finitely many conjugacy classes of other finite…

A Schur ring (S-ring) over a group $G$ is called separable if every of its similaritities is induced by isomorphism. We establish a criterion for an S-ring to be separable in the case when the group $G$ is cyclic. Using this criterion, we…

We prove that the finitely presentable subgroups of residually free groups are separable and that the subgroups of type $\mathrm{FP}_\infty$ are virtual retracts. We describe a uniform solution to the membership problem for finitely…