Related papers: On the converse of Gasch\"utz' complement theorem

Let $W,W'\subseteq G$ be nonempty subsets in an arbitrary group $G$. The set $W'$ is said to be a complement to $W$ if $WW'=G$ and it is minimal if no proper subset of $W'$ is a complement to $W$. We show that, if $W$ is finite then every…

Given a subset $W$ of an abelian group $G$, a subset $C$ is called an additive complement for $W$ if $W+C=G$; if, moreover, no proper subset of $C$ has this property, then we say that $C$ is a minimal complement for $W$. It is natural to…

Let $G$ be a finite abelian group and $s$ be a positive integer. A subset $A$ of $G$ is called a {\em perfect $s$-basis of $G$} if each element of $G$ can be written uniquely as the sum of at most $s$ (not-necessarily-distinct) elements of…

Let $G = H\times A$ be a group, where $H$ is a purely non-abelian subgroup of $G$ and $A$ is a non-trivial abelian factor of $G$. Then, for $n \geq 2$, we show that there exists an isomorphism $\phi : Aut_{Z(G)}^{\gamma_{n}(G)}(G)…

A corollary of Kneser's theorem, one sees that any finite non-empty subset $A$ of an abelian group $G = (G,+)$ with $|A + A| \leq (2-\eps) |A|$ can be covered by at most $\frac{2}{\eps}-1$ translates of a finite group $H$ of cardinality at…

A subgroup $H$ is said to be $nc$-supplemented in a group $G$ if there is a subgroup $K\leq G$ such that $HK\unlhd G$ and $H\cap K$ is contained in $H_G$, the core of $H$ in $G$. We characterize the solvability of finite groups $G$ with…

Let $G$ be a finite group, $N$ a nilpotent normal subgroup of $G$ and let $\mathrm{V}(\mathbb{\Z} G, N)$ denote the group formed by the units of the integral group ring $\mathbb{\Z} G$ of $G$ which map to the identity under the natural…

Let $G$ be an infinite abelian group with $|2G|=|G|$. We show that if $G$ is not the direct sum of a group of exponent 3 and the group of order 2, then $G$ possesses a perfect additive basis; that is, there is a subset $S\subseteq G$ such…

Let $n>0$ be an integer and $\mathcal{X}$ be a class of groups. We say that a group $G$ satisfies the condition $(\mathcal{X},n)$ whenever in every subset with $n+1$ elements of $G$ there exist distinct elements $x,y$ such that $<x,y>$ is…

In the present paper, the structure of a finite group $G$ having a nonnormal T.I. subgroup $H$ which is also a Hall $\pi$-subgroup is studied. As a generalization of a result due to Gow, we prove that $H$ is a Frobenius complement whenever…

We prove that if $G$ is a totally bounded abelian group \st\ its dual group $\widehat{G}_p$ equipped with the finite-open topology is a Baire group, then every compact subset of $G$ must be finite. This solves an open question by Chasco,…

Let $G$ be a finite group, and let $N(G)$ be the set of sizes of its conjugacy classes. We show that if a finite group $G$ has trivial center and $N(G)$ equals to $N(Alt_n)$ or $N(Sym_n)$ for $n\geq 23$, then $G$ has a composition factor…

Let $G$ be a finite group. Suppose $N$ is a normal subgroup of $G$. Recall that Gallagher's theorem states that if $\chi \in {\rm Irr} (G)$ satisfies $\chi_N$ is irreducible, then $\chi \beta$ is irreducible and distinct for all $\beta \in…

In this paper, we characterize finite group $G$ with unique proper non-abelian element centralizer. This improves \cite[Theorem 1.1]{nab}. Among other results, we have proved that if $C(a)$ is the proper non-abelian element centralizer of…

The Baer theorem states that for a group $G$ finiteness of $G/Z_i(G)$ implies finiteness of $\gamma_{i+1}(G)$. In this paper we show that if $G/Z(G)$ is finitely generated then the converse is true.

Zassenhaus conjectured that any unit of finite order in the integral group ring $\mathbb{Z}G$ of a finite group $G$ is conjugate in the rational group algebra of $G$ to an element in $\pm G$. We review the known weaker versions of this…

Baer characterized capable finite abelian groups (a group is capable if it is isomorphic to the quotient of some group by its center) by a condition on the size of the factors in the invariant factor decomposition (the group must be…

Let $G$ be a locally compact group. We show how complemented ideals in the Fourier algebra $A(G)$ of $G$ arise naturally from a class of thin sets known as Leinert sets. Moreover, we also present an explicit example of a closed ideal in…

Let $G$ be an arbitrary group such that $G/\Z(G)$ is finite, where $\Z(G)$ denotes the center of the group $G$. Then $\gamma_2(G)$, the commutator subgroup of $G$, is finite. This result is known as Shur's theorem (the Schur's theorem). In…

A subgroup $A$ of a group~$G$ is said to be {\sl NS-supplemented} in $G$, if there exists a subgroup~$B$ of $G$ such that $G=AB$ and whenever $X$~is a normal subgroup of~$A$ and $p\in \pi(B)$, there exists a Sylow $p$-subgroup~$B_p$ of~$B$…