Related papers: Splitting the center of a Sylow subgroup
Let G=SL_3(Z/pZ), p a prime. Let A be a set of generators of G. Then A grows under the group operation. To be precise: denote by |S| the number of elements of a finite set S. Assume |A| < |G|^{1-\epsilon} for some \epsilon>0. Then |A\cdot…
We study the group of ends of a pro-p group G and prove a pro-p analog of Stallings' decomposition theorem.
Let $G$ be a free product of two groups with amalgamated subgroup, $\pi$ be either the set of all prime numbers or the one-element set \{$p$\} for some prime number $p$. Denote by $\Sigma$ the family of all cyclic subgroups of group $G$,…
We first give complete characterizations of the structure of finite group $G$ in which every subgroup (or non-nilpotent subgroup, or non-abelian subgroup) is a TI-subgroup or subnormal or has $p'$-order for a fixed prime divisor $p$ of…
It is proven that if a finite group $G$ has a normal subgroup $H$ with $p'$-index (where $p$ is a prime) and $G/H$ is solvable, then for a $p$-subgroup $P$ of $H$, if the Scott $kH$-module with vertex $P$ is Brauer indecomposable, then so…
We describe the groups that have the same holomorph as a finite perfect group. Our results are complete for centerless groups. When the center is non-trivial, some questions remain open. The peculiarities of the general case are illustrated…
In this note, we prove: \medskip \noindent {\bf Theorem A:} \emph{ There is a fixed constant $C$ such that for any positive integer $n$ and prime $p$, every finite subgroup $G$ of order coprime to $p$ of ${\rm GL}(n,\mathbb{C})$ has an…
A p-group G is p-central if the central quotient has exponent p. We prove that for a subset of finite p-central p-groups, the order of the group G divides the order of Aut(G).
We show that a rank two finite group G admits a finite G-CW-complex X homotopy equivalent to a sphere, with rank one prime power isotropy, if and only if G does not p'-involve Qd(p) for any odd prime p. This follows from a more general…
Let $D$ be a division ring with infinite center, $K$ a proper division subring of $D$ and $N$ an almost subnormal subgroup of the multiplicative group $D^*$ of $D$. The aim of this paper is to show that if $K$ is $N$-invariant and $N$ is…
Let C be the centralizer in a finite Weyl group of an elementary abelian 2-subgroup. We show that every complex representation of C can be realized over the field of rational numbers. The same holds for a Sylow 2-subgroup of C.
The spectrum $\omega(G)$ of a finite group $G$ is the set of orders of its elements. The following sufficient criterion of nonsolvability is proved: if among the prime divisors of the order of a group $G$, there are four different primes…
Given a $\Gamma$-semigroup $S$, we construct a semigroup $\Sigma$ in such a way that one sided ideals and quasi-ideals of $S$ can be regarded as one sided ideals and quasi-ideals respectively of $\Sigma$. This correspondence and other…
We show that if G is a finite group and A is a subset of G with no non-trivial solutions to xz=yy then |A| < |G|/(log log |G|)^c.
Let $p \geq 5$ be a prime number. We find all the possible subgroups $G$ of ${\rm GL}_2 ( \mathbb{Z} / p \mathbb{Z} )$ such that there exists a number field $k$ and an elliptic curve ${\mathcal{E}}$ defined over $k$ such that the ${\rm Gal}…
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}$),…
If $p$ is an odd prime, then we prove that $\e(H_2(G,\mathbb{Z})) \mid p\ \e(G)$ for $p$ groups of class 7. We prove the same for $p$ groups of class at most $p+1$ with $\e(Z(G))=p$. We also prove Schurs conjecture if $\e(G/Z(G))$ is $2,3$…
We compare four different types of realizability for saturated fusion systems over discrete $p$-toral groups. For example, when $G$ is a locally finite group all of whose $p$-subgroups are artinian (hence discrete $p$-toral), we show that…
The prime graph $\Gamma(G)$ of a finite group $G$ (also known as the Gruenberg-Kegel graph) has as its vertices the prime divisors of $|G|$, and $p\text-q$ is an edge in $\Gamma(G)$ if and only if $G$ has an element of order $pq$. Since…
Let $\sigma =\{\sigma_i |i\in I\}$ is some partition of all primes $\mathbb{P}$ and $G$ a finite group. A subgroup $H$ of $G$ is said to be $\sigma$-subnormal in $G$ if there exists a subgroup chain $H=H_0\leq H_1\leq \cdots \leq H_n=G$…