On pure subrings of sp-groups

A.Amini,B.Amini,E.Momtahan

2024-01-15

Abstract:Let $G$ be a sp-group such that for every prime $p$, $G_p$ is elementary. %$\oplus \End_{\zz}(G_p) \leq \End_{\zz}(G) \leq \prod \End_{\zz}(G_p)$. Suppose that $\frac{G}{\oplus_{p\in \mathbb{P}} G_p}$ is torsion-free divisible.

Group Theory

What problem does this paper attempt to address?

On pure subrings of sp-groups

A. Amini,B. Amini,E. Momtahan

DOI: https://doi.org/10.1080/00927872.2024.2318657

2024-02-23

Communications in Algebra

Abstract:Let G be a sp-group such that for every prime p , G p is elementary. We show that EndZ(G) is a sp-group and every subring R of ∏EndZ(Gp) , containing ⊕EndZ(Gp) is pure if and only if R=MT={x∈∏p∈PEnd(Gp)|∃k∈N such that kx∈T}, where T is a subring of ∏p∈PEnd(Gp) . We observe that MT⊕p∈PEnd(Gp) is (ring) isomorphic with T⊗ZQ . Moreover, we conclude that a significant number of the examples around the topic can be easily obtained and described by choosing an appropriate subring T .

mathematics
Uniform boundedness of torsion subgroups of linear groups

Bin Yong Sun

DOI: https://doi.org/10.1007/s10114-007-1016-7

2008-01-01

Abstract:The torsion conjecture says: for any abelian variety A defined over a number field k , the order of the torsion subgroup of A ( k ) is bounded by a constant C ( k, d ) which depends only on the number field k and the dimension d of the abelian variety. The torsion conjecture remains open in general. However, in this paper, a short argument shows that the conjecture is true for more general fields if we consider linear groups instead of abelian varieties. If G is a connected linear algebraic group defined over a field k which is finitely generated over ℚ, Γ is a torsion subgroup of G ( k ). Then the order of Γ is bounded by a constant C ′( k, d ) which depends only on k and the dimension d of G .
On $p$-groups with a maximal elementary abelian normal subgroup of rank $k$

Zoltán Halasi,Károly Podoski,László Pyber,Endre Szabó

2023-09-20

Abstract:There are several results in the literature concerning $p$-groups $G$ with a maximal elementary abelian normal subgroup of rank $k$ due to Thompson, Mann and others. Following an idea of Sambale we obtain bounds for the number of generators etc. of a $2$-group $G$ in terms of $k$, which were previously known only for $p>2$. We also prove a theorem that is new even for odd primes. Namely, we show that if $G$ has a maximal elementary abelian normal subgroup of rank $k$, then for any abelian subgroup $A$ the Frattini subgroup $\Phi(A)$ can be generated by $2k$ elements ($3k$ when $p=2$). The proof of this rests upon the following result of independent interest: If $V$ is an $n$-dimensional vector space, then any commutative subalgebra of End$(V)$ contains a zero algebra of codimension at most $n$.

Group Theory
On separable abelian $p$-groups

Grigory Ryabov

DOI: https://doi.org/10.26493/1855-3974.1892.78f

2019-05-16

Abstract:An $S$-ring (a Schur ring) is said to be separable with respect to a class of groups $\mathcal{K}$ if every algebraic isomorphism from the $S$-ring in question to an $S$-ring over a group from $\mathcal{K}$ is induced by a combinatorial isomorphism. A finite group is said to be \emph{separable} with respect to $\mathcal{K}$ if every $S$-ring over this group is separable with respect to $\mathcal{K}$. We provide a complete classification of abelian $p$-groups separable with respect to the class of abelian groups.

Group Theory,Combinatorics
On Linear-Groups over Finite-Fields

PZ JI

DOI: https://doi.org/10.1090/s0002-9939-1990-1028297-1

IF: 0.9709

1990-01-01

Proceedings of the American Mathematical Society

Abstract:Let $G$ be a finite group with an Abelian Sylow $p$-subgroup $P$ $(p > 5)$, and $F$, a finite field of characteristic $p$. Set $H = {O^{pâ}}(G)$. If $G$ has a faithful FG-module $M$ such that ${\dim _F}M < p - 2$, then one of the following is true: (a) $P$ is normal in $G$, (b) $H/Z(H) \approx { \oplus _{i \leq t}}{L_2}({p^{{n_i}}})$, where ${n_i}$ and $t$ are positive integers and $2t < p - 2$, (c) $p = 7{\text {or}}11$ and $H \approx 2.{A_7}$ or ${J_1}$, respectively, ${\dim _F}M \geq p - 4$.
On Finite Groups Factorised by Submodular Subgroups

Victor S. Monakhov,Irina L. Sokhor

DOI: https://doi.org/10.1007/s00025-024-02173-9

2024-04-27

Results in Mathematics

Abstract:A subgroup H of a finite group G is submodular in G if there is a subgroup chain such that is a modular subgroup of for every i . We investigate finite factorised groups with submodular primary (cyclic primary) subgroups in factors. We indicate a general approach to the description of finite groups factorised by supersolvable submodular subgroups.

mathematics, applied
Multiplicity free and completely reducible tensor products for $\mathrm{SL}_3(\Bbbk)$ and $\mathrm{Sp}_4(\Bbbk)$

Jonathan Gruber,Gaëtan Mancini

2024-09-23

Abstract:Let $G$ be a simple algebraic group over an algebraically closed field $\Bbbk$ of positive characteristic. We consider the questions of when the tensor product of two simple $G$-modules is multiplicity free or completely reducible. We develop tools for answering these questions in general, and we use them to provide complete answers for the groups $G = \mathrm{SL}_3(\Bbbk)$ and $G = \mathrm{Sp}_4(\Bbbk)$.

Representation Theory
On subgroups with narrow Schreier graphs

Pénélope Azuelos

2024-08-26

Abstract:We study finitely generated pairs of groups $H \leq G$ such that the Schreier graph of $H$ has at least two ends and is \emph{narrow}. Examples of narrow Schreier graphs include those that are quasi-isometric to finitely ended trees or have linear growth. Under this hypothesis, we show that $H$ is a virtual fiber subgroup if and only if $G$ contains infinitely many double cosets of $H$. Along the way, we prove that if a group acts essentially on a finite dimensional CAT(0) cube complex with no facing triples then it virtually surjects onto the integers with kernel commensurable to a hyperplane stabiliser.

Group Theory
On endomorphism algebras of Gelfand-Graev representations II

Tzu-Jan Li,Jack Shotton

DOI: https://doi.org/10.1112/blms.12899

2023-08-22

Abstract:Let $G$ be a connected reductive group defined over a finite field $\mathbb{F}_q$ of characteristic $p$, with Deligne--Lusztig dual $G^\ast$. We show that, over $\overline{\mathbb{Z}}[1/pM]$ where $M$ is the product of all bad primes for $G$, the endomorphism ring of a Gelfand--Graev representation of $G(\mathbb{F}_q)$ is isomorphic to the Grothendieck ring of the category of finite-dimensional $\overline{\mathbb{F}}_q$-representations of $G^\ast(\mathbb{F}_q)$.

Representation Theory
Finite subgroups of automorphisms of free products

Ioannis Papavasileiou,Dionysios Syrigos

2024-11-07

Abstract:We study finite subgroups of outer automorphisms of free products. We give upper bounds for the orders of these finite subgroups as well as bounds for the orders of individual torsion outer automorphisms under some (necessary) conditions for the free factors.

Group Theory
Small doublings in abelian groups of prime power torsion

Yifan Jing,Souktik Roy

DOI: https://doi.org/10.48550/arXiv.1901.05606

2019-01-30

Abstract:Let $A$ be a subset of $G$, where $G$ is a finite abelian group of torsion $r$. It was conjectured by Ruzsa that if $|A+A|\leq K|A|$, then $A$ is contained in a coset of $G$ of size at most $r^{CK}|A|$ for some constant $C$. The case $r=2$ received considerable attention in a sequence of papers, and was resolved by Green and Tao. Recently, Even-Zohar and Lovett settled the case when $r$ is a prime. In this paper, we confirm the conjecture when $r$ is a power of prime. In particular, the bound we obtain is tight.

Combinatorics,Number Theory
The fundamental group of the $p$-subgroup complex

Elias Gabriel Minian,Kevin Ivan Piterman

DOI: https://doi.org/10.48550/arXiv.1903.03549

2019-04-08

Abstract:We study the fundamental group of the $p$-subgroup complex of a finite group $G$. We show first that $\pi_1(A_3(A_{10}))$ is not a free group (here $A_{10}$ is the alternating group on $10$ letters). This is the first concrete example in the literature of a $p$-subgroup complex with non-free fundamental group. We prove that, modulo a well-known conjecture of M. Aschbacher, $\pi_1(A_p(G)) = \pi_1(A_p(S_G)) * F$, where $F$ is a free group and $\pi_1(A_p(S_G))$ is free if $S_G$ is not almost simple. Here $S_G = \Omega_1(G)/O_{p'}(\Omega_1(G))$. This result essentially reduces the study of the fundamental group of $p$-subgroup complexes to the almost simple case. We also exhibit various families of almost simple groups whose $p$-subgroup complexes have free fundamental group.

Group Theory,Algebraic Topology
On the cardinality of sumsets in torsion-free groups

Károly J. Böröczky,Péter P. Pálfy,Oriol Serra

DOI: https://doi.org/10.1112/blms/bds032

IF: 1.036

2012-04-03

Bulletin of the London Mathematical Society

Abstract:Let A, B be finite subsets of a torsion‐free group G. We prove that, for every positive integer k, there is a c(k) such that if |B| ⩾ c(k), then the inequality |AB| ⩾ |A|+|B|+k holds unless a left translate of A is contained in a cyclic subgroup. We obtain c(k) < c0k6 for arbitrary torsion‐free groups, and c(k)<c0k3 for groups with the unique product property, where c0 is an absolute constant. We give examples to show that c(k) is at least quadratic in k.

mathematics
Some torsion-free solvable groups with few subquotients

Adrien Le Boudec,Nicolás Matte Bon

2023-08-29

Abstract:We construct finitely generated torsion-free solvable groups $G$ that have infinite rank, but such that all finitely generated torsion-free metabelian subquotients of $G$ are virtually abelian. In particular all finitely generated metabelian subgroups of $G$ are virtually abelian. The existence of such groups shows that there is no "torsion-free version" of P. Kropholler's theorem, which characterises solvable groups of infinite rank via their metabelian subquotients.

Group Theory
On Finite Groups that are the Product of Two Subnormal Supersoluble Subgroups

John Cossey,Yang Ming Li

DOI: https://doi.org/10.1007/s10114-023-0557-8

2023-02-28

Abstract:Denote the class of finite groups that are the product of two normal supersoluble subgroups and the class of groups that are the product of two subnormal supersoluble subgroups by and , respectively. In this paper, a characterisation of groups in or in is given. By applying this new characterisation, some new properties of ( ) and new proofs of many known results about or are obtained. Further, closure properties of and are discussed.

mathematics, applied
On -Subnormal Subgroups of Finite Groups

Wenbin Guo,Inna N. Safonova,Alexander N. Skiba

2021-01-01

Southeast Asian Bulletin of Mathematics

Abstract:Throughout this paper, all groups are finite and sigma is some partition of the set of all primes P (that is, sigma = {sigma(i) vertical bar i is an element of I}, where P = boolean OR(i is an element of I)sigma(i) and sigma(i) boolean AND sigma(j) = empty set for all i not equal j). A subgroup A of a group G is said to be sigma-subnormal in G if there is a subgroup chain A = A(0) <= A(1) <= . . . <= A(n) = G such that either A(i-1) >= A(i) or A(i)/(A(i-1))A(i) is a sigma(j)-group for some j = j(i) for all i = 1, . . ., n. In this review, we discuss some known results of the theory of sigma-subnormal subgroups and also some open questions in this line research.
From pure braid groups to hyperbolic groups

Lei Chen

DOI: https://doi.org/10.48550/arXiv.2007.15178

2020-07-30

Abstract:In this note we show that any homomorphism from a pure surface braid group to a torsion-free hyperbolic group either has a cyclic image or factors through a forgetful map. This extends and gives a new proof of an earlier result of the author which works only when the target is a free group or a surface group. We also prove a similar rigidity result for the pure braid group of the disk.

Geometric Topology
On the lattice of $\unicode[stix]{x1d6f1}_\mathfrak{i}$ -subnormal subgroups of a finite group

Wenbin Guo,Alexander N. Skiba

DOI: https://doi.org/10.1017/S0004972717000259

2017-01-01

Bulletin of the Australian Mathematical Society

Abstract:Let sigma = {sigma(i) | i is an element of I} g be a partition of the set of all primes P. Let sigma(0) is an element of Pi subset of sigma and let I be a class of finite sigma(0)-groups which is closed under extensions, epimorphic images and subgroups. We say that a finite group G is Pi(I)-primary provided G is either an I-group or sigma(i)-group for some sigma(i) is an element of Pi \ {sigma(0)} and we say that a subgroup A of an arbitrary group G* is Pi(I)-subnormal in G* if there is a subgroup chain A = A(0) <= A(1) <= ... <= A(t) = G* such that either A(i-1) (sic) A(i) or A(i)/(A(i-1))(Ai) is Pi(I)-primary for all i = 1,...,t. We prove that the set L-Pi I (G) of all Pi(I)-subnormal subgroups of G forms a sublattice of the lattice of all subgroups of G and we describe the conditions under which the lattice L-Pi I (G) is modular.
On totally semipermutable products of finite groups

A. Ballester-Bolinches,J. Cossey,S. Y. Madanha,M. C. Pedraza-Aguilera

DOI: https://doi.org/10.1007/s10474-024-01392-4

2024-02-01

Acta Mathematica Hungarica

Abstract:We say a group G = AB is the totally semipermutable product of subgroups A and B if every Sylow subgroup P of A is totally permutable with every Sylow subgroup Q of B whenever . Products of pairwise totally semipermutable subgroups are studied in this article. Let denote the class of supersoluble groups and denote the formation of all groups which have an ordered Sylow tower of supersoluble type. We obtain the -residual of the product from the -residuals of the pairwise totally semipermutable subgroups when is a subgroup-closed saturated formation such that .

mathematics

On pure subrings of sp-groups

On pure subrings of sp-groups

Uniform boundedness of torsion subgroups of linear groups

On $p$-groups with a maximal elementary abelian normal subgroup of rank $k$

On separable abelian $p$-groups

On Linear-Groups over Finite-Fields

On Finite Groups Factorised by Submodular Subgroups

Multiplicity free and completely reducible tensor products for $\mathrm{SL}_3(\Bbbk)$ and $\mathrm{Sp}_4(\Bbbk)$

On subgroups with narrow Schreier graphs

On endomorphism algebras of Gelfand-Graev representations II

Finite subgroups of automorphisms of free products

Small doublings in abelian groups of prime power torsion

The fundamental group of the $p$-subgroup complex

On the cardinality of sumsets in torsion-free groups

Some torsion-free solvable groups with few subquotients

On Finite Groups that are the Product of Two Subnormal Supersoluble Subgroups

On -Subnormal Subgroups of Finite Groups

From pure braid groups to hyperbolic groups

On the lattice of $\unicode[stix]{x1d6f1}_\mathfrak{i}$ -subnormal subgroups of a finite group

On totally semipermutable products of finite groups