Product decompositions of quasirandom groups and a Jordan type theorem

Nikolay Nikolov; László Pyber

Displaying similar documents to “Product decompositions of quasirandom groups and a Jordan type theorem”

Equalizers and coactions of groups

Martin Arkowitz, Mauricio Gutierrez (2002)

Fundamenta Mathematicae

Similarity:

If f:G → H is a group homomorphism and p,q are the projections from the free product G*H onto its factors G and H respectively, let the group $_{f} \subseteq G * H$ be the equalizer of fp and q:G*H → H. Then p restricts to an epimorphism $p_{f} {= p |}_{f} :_{f} \to G$ . A right inverse (section) $G \to_{f}$ of $p_{f}$ is called a coaction on G. In this paper we study $_{f}$ and the sections of $p_{f}$ . We consider the following topics: the structure of $_{f}$ as a free product, the restrictions on G resulting from the existence of a coaction, maps of coactions and...

The Ribes-Zalesskii property of some one relator groups

Gilbert Mantika, Narcisse Temate-Tangang, Daniel Tieudjo (2022)

Archivum Mathematicum

Similarity:

The profinite topology on any abstract group $G$ , is one such that the fundamental system of neighborhoods of the identity is given by all its subgroups of finite index. We say that a group $G$ has the Ribes-Zalesskii property of rank $k$ , or is RZ $_{k}$ with $k$ a natural number, if any product $H_{1} H_{2} \dots H_{k}$ of finitely generated subgroups $H_{1}, H_{2}, \dots, H_{k}$ is closed in the profinite topology on $G$ . And a group is said to have the Ribes-Zalesskii property or is RZ if it is RZ $_{k}$ for any natural number $k$ . In this paper we characterize...

Finite groups whose all proper subgroups are $𝒞$ -groups

Pengfei Guo, Jianjun Liu (2018)

Czechoslovak Mathematical Journal

Similarity:

A group $G$ is said to be a $𝒞$ -group if for every divisor $d$ of the order of $G$ , there exists a subgroup $H$ of $G$ of order $d$ such that $H$ is normal or abnormal in $G$ . We give a complete classification of those groups which are not $𝒞$ -groups but all of whose proper subgroups are $𝒞$ -groups.

A note on infinite $a S$ -groups

Reza Nikandish, Babak Miraftab (2015)

Czechoslovak Mathematical Journal

Similarity:

Let $G$ be a group. If every nontrivial subgroup of $G$ has a proper supplement, then $G$ is called an $a S$ -group. We study some properties of $a S$ -groups. For instance, it is shown that a nilpotent group $G$ is an $a S$ -group if and only if $G$ is a subdirect product of cyclic groups of prime orders. We prove that if $G$ is an $a S$ -group which satisfies the descending chain condition on subgroups, then $G$ is finite. Among other results, we characterize all abelian groups for which every nontrivial quotient group...

The unit groups of semisimple group algebras of some non-metabelian groups of order $144$

Gaurav Mittal, Rajendra K. Sharma (2023)

Mathematica Bohemica

Similarity:

We consider all the non-metabelian groups $G$ of order $144$ that have exponent either $36$ or $72$ and deduce the unit group $U (𝔽_{q} G)$ of semisimple group algebra $𝔽_{q} G$ . Here, $q$ denotes the power of a prime, i.e., $q = p^{r}$ for $p$ prime and a positive integer $r$ . Up to isomorphism, there are $6$ groups of order $144$ that have exponent either $36$ or $72$ . Additionally, we also discuss how to simply obtain the unit groups of the semisimple group algebras of those non-metabelian groups of order $144$ that are a direct product of two...

A note on normal generation and generation of groups

Andreas Thom (2015)

Communications in Mathematics

Similarity:

In this note we study sets of normal generators of finitely presented residually $p$ -finite groups. We show that if an infinite, finitely presented, residually $p$ -finite group $G$ is normally generated by $g_{1}, \dots, g_{k}$ with order $n_{1}, \dots, n_{k} \in {1, 2, \dots} \cup {\infty}$ , then $β_{1}^{(2)} (G) \leq k - 1 - \sum_{i = 1}^{k} \frac{1}{n_{i}},$ where $β_{1}^{(2)} (G)$ denotes the first $ℓ^{2}$ -Betti number of $G$ . We also show that any $k$ -generated group with $β_{1}^{(2)} (G) \geq k - 1 - ε$ must have girth greater than or equal $1 / ε$ .

On the $r$ -free values of the polynomial $x^{2} + y^{2} + z^{2} + k$

Gongrui Chen, Wenxiao Wang (2023)

Czechoslovak Mathematical Journal

Similarity:

Let $k$ be a fixed integer. We study the asymptotic formula of $R (H, r, k)$ , which is the number of positive integer solutions $1 \leq x, y, z \leq H$ such that the polynomial $x^{2} + y^{2} + z^{2} + k$ is $r$ -free. We obtained the asymptotic formula of $R (H, r, k)$ for all $r \geq 2$ . Our result is new even in the case $r = 2$ . We proved that $R (H, 2, k) = c_{k} H^{3} + O (H^{9 / 4 + ε})$ , where $c_{k} > 0$ is a constant depending on $k$ . This improves upon the error term $O (H^{7 / 3 + ε})$ obtained by G.-L. Zhou, Y. Ding (2022).

Consecutive square-free values of the type $x^{2} + y^{2} + z^{2} + k$ , $x^{2} + y^{2} + z^{2} + k + 1$

Ya-Fang Feng (2023)

Czechoslovak Mathematical Journal

Similarity:

We show that for any given integer $k$ there exist infinitely many consecutive square-free numbers of the type $x^{2} + y^{2} + z^{2} + k$ , $x^{2} + y^{2} + z^{2} + k + 1$ . We also establish an asymptotic formula for $1 \leq x, y, z \leq H$ such that $x^{2} + y^{2} + z^{2} + k$ , $x^{2} + y^{2} + z^{2} + k + 1$ are square-free. The method we used in this paper is due to Tolev.

Continuous images of Lindelöf $p$ -groups, $σ$ -compact groups, and related results

Aleksander V. Arhangel'skii (2019)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

It is shown that there exists a $σ$ -compact topological group which cannot be represented as a continuous image of a Lindelöf $p$ -group, see Example 2.8. This result is based on an inequality for the cardinality of continuous images of Lindelöf $p$ -groups (Theorem 2.1). A closely related result is Corollary 4.4: if a space $Y$ is a continuous image of a Lindelöf $p$ -group, then there exists a covering $γ$ of $Y$ by dyadic compacta such that $| γ | \leq 2^{ω}$ . We also show that if a homogeneous compact space $Y$ is...

Recognizability of finite groups by Suzuki group

Alireza Khalili Asboei, Seyed Sadegh Salehi Amiri (2019)

Archivum Mathematicum

Similarity:

Let $G$ be a finite group. The main supergraph $𝒮 (G)$ is a graph with vertex set $G$ in which two vertices $x$ and $y$ are adjacent if and only if $o (x) ∣ o (y)$ or $o (y) ∣ o (x)$ . In this paper, we will show that $G ≅ S z (q)$ if and only if $𝒮 (G) ≅ 𝒮 (S z (q))$ , where $q = 2^{2 m + 1} \geq 8$ .

Permutability of centre-by-finite groups

Brunetto Piochi (1989)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Let $G$ be a group and $m$ be an integer greater than or equal to $2$ . $G$ is said to be $m$ -permutable if every product of $m$ elements can be reordered at least in one way. We prove that, if $G$ has a centre of finite index $z$ , then $G$ is $(1+[z/2])$ -permutable. More bounds are given on the least $m$ such that $G$ is $m$ -permutable.

On $k$ -free numbers over Beatty sequences

Wei Zhang (2023)

Czechoslovak Mathematical Journal

Similarity:

We consider $k$ -free numbers over Beatty sequences. New results are given. In particular, for a fixed irrational number $α > 1$ of finite type $τ < \infty$ and any constant $ε > 0$ , we can show that $\sum_{\binom{1 \leq n \leq x}{[α n + β] \in 𝒬_{k}}} 1 - \frac{x}{ζ (k)} ≪ x^{k / (2 k - 1) + ε} + x^{1 - 1 / (τ + 1) + ε},$ where $𝒬_{k}$ is the set of positive $k$ -free integers and the implied constant depends only on $α,$ $ε,$ $k$ and $β .$ This improves previous results. The main new ingredient of our idea is employing double exponential sums of the type $\sum_{1 \leq h \leq H} \sum_{\binom{1 \leq n \leq x}{n \in 𝒬_{k}}} e (ϑ h n) .$