On Minimal Degrees Of Quotient Groups

IBRAHIM ALOTAIBI

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

2024-10-16

Bulletin of the Australian Mathematical Society

Abstract://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0004972724000856/resource/name/firstPage-pdf-S0004972724000856a.jpg

mathematics

What problem does this paper attempt to address?

Quotients of Locally Minimal Groups

Dekui Peng,Dikran Dikranjan,Wei He,Zhiqiang Xiao,Wenfei Xi

DOI: https://doi.org/10.1016/j.jmaa.2019.03.010

IF: 1.417

2019-01-01

Journal of Mathematical Analysis and Applications

Abstract:A topological group G is called locally minimal if there exists a neighbourhood V of 1 in G such that if H is a Hausdorff group and f:G→H is a continuous isomorphism such that f(V) is a neighbourhood of 1 in H, then f is open. This paper is focused on the study of quotients of locally minimal groups.A topological group G is called locally q-minimal if there exists a neighbourhood V of the identity of G such that whenever H is a Hausdorff group and f:G→H is a continuous surjective homomorphism such that f(V) is a neighbourhood of 1 in H, then f is open. We find a close connection between locally q-minimality and divisibility, by showing that a dense subgroup of Rn is locally q-minimal if and only if it is divisible. A description of the locally q-minimal subgroups of the n-dimensional torus Tn is also given.Two weaker versions of local q-minimality are proposed – a topological group G is:(a)locally t-minimal, if all Hausdorff quotients of G are locally minimal;(b)locally q⁎-minimal, if there exists a neighbourhood V of 1 in G such that whenever H is a Hausdorff group and f:G→H is a continuous surjective homomorphism such that f(V) is a neighbourhood of 1 in H and ker⁡f⊆V, then f is open.While local q-minimality and local t-minimality are preserved by taking quotients, local q⁎-minimality fails to have this property (so does not coincide with local t-minimality), yet it has a relevant advantage. By means of an appropriate notion of local t-density, one can show that a dense subgroup H of a Hausdorff group G is locally q⁎-minimal if and only if G is locally q⁎-minimal and H is locally t-dense in G. Similar criterion for local q-minimality is not available (examples are given to show that a topological group with a dense locally q-minimal subgroup need not be locally q-minimal). The interrelations of these three versions of local minimality, as well as their prominence properties are studied in detail.
The Minimal Denominator Function and Geometric Generalizations

Albert Artiles

2023-08-16

Abstract:We provide a geometric interpretation for a normalized version of the minimal denominator function, $$q_{\min}(x,\delta)=\min\left\{q\in \mathbb{N}: \text{ there exists } p\in\mathbb{Z} \text{ such that } \frac{p}{q}\in (x-\delta,x+\delta)\right\},$$ introduced by Chen and Haynes. We use this interpretation to compute the limiting distribution of a suitably normalized version of $q_{\min}(x,\delta)$ as a function of $x$, and give generalizations of the idea of minimal denominators to higher-dimensional unimodular lattices, linear forms, and translation surfaces. The key idea is to turn this circle of problems into equidistribution problems for translates of unipotent orbits of a Lie group action on an appropriate moduli space.

Dynamical Systems,Number Theory
Influence Ofs-Quasinormality Condition on Almost Minimal Subgroups of a Finite Group

Zhang Jiping

DOI: https://doi.org/10.1007/bf02565025

1987-01-01

Acta Mathematica Sinica English Series

Abstract:Let r be a positive rational integer, and G a finite group. A subgroup H of‘is called a r-minimal （r-maximal） subgroup if there exists a subgroup chain 1=H 0 ≤H 1 …≤H r =H(H=H 0 ≤H 1 ≤H r =G}, where H i is maximal in H i+ 1 , we
On minimal epimorphic subgroups in simple algebraic groups of rank $2$

Iulian I. Simion,Donna M. Testerman

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

2023-06-29

Abstract:The category of linear algebraic groups admits non-surjective epimorphisms. For simple algebraic groups of rank $2$ defined over algebraically closed fields, we show that the minimal dimension of a closed epimorphic subgroup is $3$.

Group Theory
On arithmetic quotients of the group SL 2 over a quaternion division k -algebra

Sophie Koch,Joachim Schwermer

DOI: https://doi.org/10.1515/forum-2023-0422

2024-03-27

Forum Mathematicum

Abstract:Given a totally real algebraic number field k of degree s , we consider locally symmetric spaces X G / őď associated with arithmetic subgroups őď of the special linear algebraic k -group G = SL M 2 ‚ĀĘ ( D ) , attached to a quaternion division k -algebra D . The group G is k -simple, of k -rank one, and non-split over k . Using reduction theory, one can construct an open subset Y őď ‚äā X G / őď such that its closure Y ¬Į őď is a compact manifold with boundary ‚ąā ‚Ā° Y ¬Į őď , and the inclusion Y ¬Į őď ‚Üí X G / őď is a homotopy equivalence. The connected components Y [ P ] of the boundary ‚ąā ‚Ā° Y ¬Į őď are in one-to-one correspondence with the finite set of őď-conjugacy classes of minimal parabolic k -subgroups of G . We show that each boundary component carries the natural structure of a torus bundle. Firstly, if the quaternion division k -algebra D is totally definite, that is, D ramifies at all archimedean places of k , we prove that the basis of this bundle is homeomorphic to the torus T s - 1 of dimension s - 1 , has the compact fibre T 4 ‚ĀĘ s , and its structure group is SL 4 ‚ĀĘ s ‚ĀĘ ( ‚Ą§ ) . We determine the cohomology of Y [ P ] . Secondly, if the quaternion division k -algebra D is indefinite, thus, there exists at least one archimedean place v ‚ąą V k , ‚ąě at which D v splits over ‚ĄĚ , that is, D v ‚ČÖ M 2 ‚ĀĘ ( ‚ĄĚ ) , the fibre is homeomorphic to T 4 ‚ĀĘ s , but the base space of the bundle is more complicated.

mathematics, applied
Quotient gradings and the intrinsic fundamental group

Yuval Ginosar,Ofir Schnabel

2023-07-28

Abstract:Quotient grading classes are essential participants in the computation of the intrinsic fundamental group $\pi_1(A)$ of an algebra $A$. In order to study quotient gradings of a finite-dimensional semisimple complex algebra $A$ it is sufficient to understand the quotient gradings of twisted gradings. We establish the graded structure of such quotients using Mackey's obstruction class. Then, for matrix algebras $A=M_n(\mathbb{C})$ we tie up the concepts of braces, group-theoretic Lagrangians and elementary crossed products. We also manage to compute the intrinsic fundamental group of the diagonal algebras $A=\mathbb{C} ^4$ and $A=\mathbb{C} ^5$.

Rings and Algebras
On the minimal dimension of a finite simple group (with an appendix by T.C. Burness and R.M. Guralnick)

Timothy C. Burness,Martino Garonzi,Andrea Lucchini

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

2019-11-09

Abstract:Let $G$ be a finite group and let $\mathcal{M}$ be a set of maximal subgroups of $G$. We say that $\mathcal{M}$ is irredundant if the intersection of the subgroups in $\mathcal{M}$ is not equal to the intersection of any proper subset. The minimal dimension of $G$, denoted ${\rm Mindim}(G)$, is the minimal size of a maximal irredundant set of maximal subgroups of $G$. This invariant was recently introduced by Garonzi and Lucchini and they computed the minimal dimension of the alternating groups. In this paper, we prove that ${\rm Mindim}(G) \leqslant 3$ for all finite simple groups, which is best possible, and we compute the exact value for all non-classical simple groups. We also introduce and study two closely related invariants denoted by $\alpha(G)$ and $\beta(G)$. Here $\alpha(G)$ (respectively $\beta(G)$) is the minimal size of a set of maximal subgroups (respectively, conjugate maximal subgroups) of $G$ whose intersection coincides with the Frattini subgroup of $G.$ Evidently, ${\rm Mindim}(G) \leqslant \alpha(G) \leqslant \beta(G)$. For a simple group $G$ we show that $\beta(G) \leqslant 4$ and $\beta(G) - \alpha(G) \leqslant 1$, and both upper bounds are best possible.

Group Theory
A Singleton Of Minimal Arithmetic Degree

PETER M. GERDES

DOI: https://doi.org/10.1017/jsl.2024.23

2024-04-09

Journal of Symbolic Logic

Abstract://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0022481224000239/resource/name/firstPage-pdf-S0022481224000239a.jpg

mathematics,logic
On non-abelian dp-minimal groups

Atticus Stonestrom

2023-10-01

Abstract:Let $G$ be a dp-minimal group; we prove some consequences of several different hypotheses on $G$. First, if $G$ is torsion-free, then it is abelian. Second, if $G$ admits a distal f-generic type, then it is virtually nilpotent; we prove this by equipping the quotient of $G$ by its FC-center in this case with a valued group structure. Finally, if $G$ has the uniform chain condition, for example if $G$ is stable, then $G$ is virtually solvable.

Logic,Group Theory
Quotients of permutation groups by nonabelian minimal normal subgroups

Derek Holt

2024-05-30

Abstract:We prove that a quotient G/N of a subgroup G of Sym(n) by a nonabelian minimal normal subgroup N of G embeds into Sym(m) for some $m<n$. Furthermore, if G is transitive then we can take m \le 2n/5.

Group Theory
Density of quotient orders in groups and applications to locally-transitive graphs

Marston Conder,Gabriel Verret,Darius Young

2024-10-23

Abstract:We prove that the set of orders of finite quotients of a finitely generated group has natural density 0, 1/2 or 1, and characterise when each of these cases occurs. We apply this to show that the sets of orders of various families of symmetric graphs have natural density 0.

Group Theory,Combinatorics
Minimal varieties of graded PI‐algebras over abelian groups

Sebastiano Argenti,Onofrio Mario Di Vincenzo

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

IF: 1.036

2024-05-29

Bulletin of the London Mathematical Society

Abstract:Let F be a field of characteristic zero and G a finite abelian group. In this paper, we prove that an affine variety of G ‐graded PI‐algebras is minimal if and only if it is generated by a graded algebra UT(A1,⋯,Am;γ) of upper block triangular matrices where A1,⋯,Am are finite‐dimensional G ‐simple algebras.

mathematics
Minimal Faithful Quasi-Permutation Representation Degree of p-Groups with Cyclic Center

Sunil Kumar Prajapati,Ayush Udeep

2023-06-05

Abstract:For a finite group G, we denote by $\mu(G)$, and c(G), the minimal degree of faithful permutation representation of G, and the minimal degree of faithful representation of G by quasi-permutation matrices over the complex field C, respectively. In this article, we study $\mu(G)$, and c(G) for various classes of finite non-abelian p-groups with cyclic center. We prove a result for normally monomial p-groups with cyclic center which generalizes a result of Behravesh for finite p-groups of nilpotency class 2 with cyclic center [5, Theorem 4.12]. We also compute minimal degrees for some classes of metabelian p-groups.

Group Theory,Representation Theory
Minimal Triangular Structures on Abelian Extensions

Zhou, Kun

DOI: https://doi.org/10.1007/s10468-023-10250-w

2024-01-13

Algebras and Representation Theory

Abstract:We study minimal triangular structures on abelian extensions. In particular, we construct a family of minimal triangular semisimple Hopf algebras and prove that the Hopf algebra in the semisimple Hopf algebras of dimension 16 classified by Y. Kashina in 2000 is minimal triangular Hopf algebra with smallest dimension among non-trivial semisimple triangular Hopf algebras (i.e. not group algebras or their dual).

mathematics
The class group of a minimal model of a quotient singularity

Johannes Schmitt

2024-05-02

Abstract:Let $V$ be a finite-dimensional vector space over the complex numbers and let $G\leq \operatorname{SL}(V)$ be a finite group. We describe the class group of a minimal model (that is, $\mathbb Q$-factorial terminalization) of the linear quotient $V/G$. We prove that such a class group is completely controlled by the junior elements contained in $G$.

Algebraic Geometry
On the exponent of a certain quotient of Whitehead groups of division algebras

Mehran Motiee

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

2024-04-14

Communications in Algebra

Abstract:Let D be an F -central division algebra. In this paper, we investigated the exponent of the group G(D)=D*/NrdD(D*)D′ , where D* is the group of units of D , NrdD(D*) is the image of D* under the reduced norm map and D′ is the commutator subgroup of D* . We show that if exp (G(D)) , then D and F satisfy strong conditions. In particular, we observe that if D is a sum cyclic algebras in Br(F) , then exp (G(D)) if and only if F is euclidean and D is a tensor product of an ordinary quaternion algebra and a division algebra of odd index.

mathematics
A Minimal left ideal description of Geometric structures in dimensions $6$, $7$, and $8$

Ricardo Suarez

2023-09-19

Abstract:In this paper we relate minimal left ideals on Clifford algebras with special geometric structures in dimensions $6,7,$ and $8$.

Differential Geometry
Quotient sets in nonabelian groups

Vsevolod F. Lev

2024-04-10

Abstract:We show that for a finite, nonempty subset $A$ of a group, the quotient set $A^{-1}A:=\{a_1^{-1}a_2\colon a_1,a_2\in A\}$ has size $|A^{-1}A|\ge\frac53\,|A|$, unless $A$ is densely contained in a coset, or in a union of two cosets of a finite subgroup.

Group Theory,Combinatorics,Number Theory
Minimal degrees for faithful permutation representations of groups of order where p is an odd prime

E. A. O’Brien,Sunil Kumar Prajapati,Ayush Udeep

DOI: https://doi.org/10.1007/s10801-024-01331-0

2024-06-24

Journal of Algebraic Combinatorics

Abstract:We determine the minimal degree of a faithful permutation representation for each group of order where p is an odd prime. We also record how to obtain such a representation.

mathematics

On Minimal Degrees Of Quotient Groups

Quotients of Locally Minimal Groups

The Minimal Denominator Function and Geometric Generalizations

Influence Ofs-Quasinormality Condition on Almost Minimal Subgroups of a Finite Group

On minimal epimorphic subgroups in simple algebraic groups of rank $2$

On arithmetic quotients of the group SL 2 over a quaternion division k -algebra

Quotient gradings and the intrinsic fundamental group

On the minimal dimension of a finite simple group (with an appendix by T.C. Burness and R.M. Guralnick)

A Singleton Of Minimal Arithmetic Degree

On non-abelian dp-minimal groups

Quotients of permutation groups by nonabelian minimal normal subgroups

Density of quotient orders in groups and applications to locally-transitive graphs

Minimal varieties of graded PI‐algebras over abelian groups

Minimal Faithful Quasi-Permutation Representation Degree of p-Groups with Cyclic Center

Minimal Triangular Structures on Abelian Extensions

The class group of a minimal model of a quotient singularity

On the exponent of a certain quotient of Whitehead groups of division algebras

A Minimal left ideal description of Geometric structures in dimensions $6$, $7$, and $8$

Quotient sets in nonabelian groups

Minimal degrees for faithful permutation representations of groups of order where p is an odd prime