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

Let G be any abelian group and {a_sG_s}_{s=1}^k be a finite system of cosets of subgroups G_1,...,G_k. We show that if {a_sG_s}_{s=1}^k covers all the elements of G at least m times with the coset a_tG_t irredundant then [G:G_t]\le 2^{k-m}…

Let $G$ be a finite non-abelian $p$-group, where $p$ is a prime. Let $\mathrm{Aut}_c(G)$ and $\mathrm{Aut}_z(G)$ respectively denote the group of all class preserving and central automorphisms of $G$. We give a necessary condition for $G$…

Let G be a group of automorphisms of a compact K\"ahler manifold X of dimension n and N(G) the subset of null-entropy elements. Suppose G admits no non-abelian free subgroup. Improving the known Tits alternative, we obtain that, up to…

Let $d \geq 2$ be an integer. We conjecture that there is a finitely generated perfect group whose homomorphic images include all finite $d$-generated perfect groups. We prove a special case of this conjecture for the finite perfect groups…

Some properties of abnormal subgroups in generalized soluble groups will be considered. In particular, the transitivity of abnormality in metahypercentral groups is proven. Also it will be proven that a subgroup H of a radical group G is…

We formulate and prove a version of the Segal Conjecture for infinite groups. For finite groups it reduces to the original version. The condition that G is finite is replaced in our setting by the assumption that there exists a finite model…

A family of sets $\mathcal{A}$ is union-closed if it is finite and nonempty with member sets that are all finite and distinct (at least one of which is nonempty) and it satisfies the property $X, Y \in \mathcal{A} \implies X \cup Y \in…

Non-compact proofs are a class of reasoning that is used in mathematics but overlooked in the analysis of (un)provability of consistency. We focus on proofs of arithmetical statements (*) "for any natural number n, F(n)." A proof of (*) is…

An automorphism $\alpha$ of a group $G$ is normal if it fixes every normal subgroup of $G$ setwise. We give an algebraic description of normal automorphisms of relatively hyperbolic groups. In particular, we prove that for any relatively…

Let $G$ be a finite group and $M,N$ be two normal subgroups of $G$. Let $Aut_N^M(G)$ denote the group of all automorphisms of $G$ which fix $N$ element wise and act trivially on $G/M$. Let $n$ be a positive integer. In this article we have…

In this note, starting with any group homomorphism $f\colon\Gamma\to G$, which is surjective upon abelianization, we construct a universal central extension $u\colon U\twoheadrightarrow G,$ UNDER $\Gamma$ with the same surjective property,…

We let the central Fourier algebra, ZA(G), be the subalgebra of functions u in the Fourier algebra A(G) of a compact group, for which u(xyx^{-1})=u(y) for all x,y in G. We show that this algebra admits bounded point derivations whenever G…

Let $G$ be a finite $p$-group and let Aut$(G)$ denote the full automorphism group of $G$. In the recent past, there has been interest in finding necessary and sufficient conditions on $G$ such that certain subgroups of Aut$(G)$ are equal.…

The existence of invariant transversals for a normal subgroup $H$ in a group $G$ is investigated. This yields counterexamples to a conjecture in case $H$ is abelian and $G$ is finite.

In this paper, we describe the relationship between the quasi-component q(G) of a (perfectly) minimal pseudocompact abelian group G and the quasi-component q(\widetilde G) of its completion. Specifically, we characterize the pairs (C,A) of…

Let G be any additive abelian group with cyclic torsion subgroup, and let A, B and C be finite subsets of G with cardinality n>0. We show that there is a numbering {a_i}_{i=1}^n of the elements of A, a numbering {b_i}_{i=1}^n of the…

Let $G$ be a finite group and $\alpha(G)=\frac{|C(G)|}{|G|}$\,, where $C(G)$ denotes the set of cyclic subgroups of $G$. In this short note, we prove that $\alpha(G)\leq\alpha(Z(G))$ and we describe the groups $G$ for which the equality…

Suppose that a metacyclic Frobenius group $FH$, with kernel $F$ and complement $H$, acts by automorphisms on a finite group $G$, in such a way that $C_G(F)$ is trivial and $C_G(H)$ is nilpotent. It is known that $G$ is nilpotent and its…

A proof of G\"odel's incompleteness theorem is given. With this new proof a transfinite extension of G\"odel's theorem is considered. It is shown that if one assumes the set theory ZFC on the meta level as well as on the object level, a…

Let $\mathbb G = (G, +)$ be a group (either abelian or not). Given $X, Y \subseteq G$, we denote by $\langle Y \rangle$ the subsemigroup of $\mathbb G$ generated by $Y$, and we set $$\gamma(Y) := \sup_{y_0 \in Y} \inf_{y_0 \ne y \in Y} {\rm…