Primitive elements in $p$-divisible groups

Robert Kottwitz,Preston Wake

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

2015-10-09

Number Theory

Abstract:We introduce the notion of primitive elements in arbitrary truncated $p$-divisible groups. By design, the scheme of primitive elements is finite and locally free over the base. Primitive elements generalize the "points of exact order $N$," developed by Drinfeld and Katz-Mazur for elliptic curves.

What problem does this paper attempt to address?

Primitive prime divisor elements in finite classical groups

Cheryl E. Praeger

DOI: https://doi.org/10.1017/CB09780511666148.024

2014-12-02

Abstract:This is an essay about a certain family of elements in the general linear group GL(d,q) called primitive prime divisor elements, or ppd-elements. A classification of the subgroups of GL(d,q) which contain such elements is discussed, and the proportions of ppd-elements in GL(d,q) and the various classical groups are given. This study of ppd-elements was motivated by their importance for the design and analysis of algorithms for computing with matrix groups over finite fields. An algorithm for recognising classical matrix groups, in which ppd-elements play a central role is described.

Group Theory
$p$-elements in profinite groups

Andrea Lucchini,Nowras Otmen

2024-06-28

Abstract:We investigate some properties of the $p$-elements of a profinite group $G$. We prove that if $p$ is odd and the probability that a randomly chosen element of $G$ is a $p$-element is positive, then $G$ contains an open prosolvable subgroup. On the contrary, there exist groups that are not virtually prosolvable but in which the probability that a randomly chosen element of $G$ is a 2-element is arbitrarily close to 1. We prove also that if a profinite group $G$ has the property that, for every $p$-element $x$, it is positive the probability that a randomly chosen element $y$ of $G$ generates with $x$ a pro-$p$ group, then $G$ contains an open pro-$p$ subgroup.

Group Theory
Locally imprimitive points on elliptic curves

Nathan Jones,Francesco Pappalardi,Peter Stevenhagen

2023-04-08

Abstract:Under GRH, any element in the multiplicative group of a number field $K$ that is globally primitive (i.e., not a perfect power in $K^*$) is a primitive root modulo a set of primes of $K$ of positive density. For elliptic curves $E/K$ that are known to have infinitely many primes $\mathfrak p$ of cyclic reduction, possibly under GRH, a globally primitive point $P\in E(K)$ may fail to generate any of the point groups $E(k_{\mathfrak p})$. We describe this phenomenon in terms of an associated Galois representation $\rho_{E/K, P}:G_K\to\mathrm{GL}_3(\hat{\mathbf Z})$, and use it to construct non-trivial examples of global points on elliptic curves that are locally imprimitive.

Number Theory,Algebraic Geometry
Primitive Deformations of Quantum $p$-groups

Van C. Nguyen,Linhong Wang,Xingting Wang

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

2016-02-12

Abstract:For finite-dimensional Hopf algebras, their classification in characteristic $0$ (e.g. over $\mathbb{C}$) has been investigated for decades with many fruitful results, but their structures in positive characteristic have remained elusive. In this paper, working over an algebraically closed field $\mathbf{k}$ of prime characteristic $p$, we introduce the concept, called Primitive Deformation, to provide a structured technique to classify certain finite-dimensional connected Hopf algebras which are almost primitively generated; that is, these connected Hopf algebras are $p^{n+1}$-dimensional, whose primitive spaces are abelian restricted Lie algebras of dimension $n$. We illustrate this technique for the case $n=2$. Together with our preceding results in <a class="link-https" data-arxiv-id="1309.0286" href="https://arxiv.org/abs/1309.0286">arXiv:1309.0286</a>, we provide a complete classification of $p^3$-dimensional connected Hopf algebras over $\mathbf{k}$ of characteristic $p>2$.

Rings and Algebras
Elements of prime order in the upper central series of a group of prime-power order

A. Caranti,C. M. Scoppola,Gunnar Traustason

2024-06-05

Abstract:We investigate the occurrence of elements of order $p$ in the upper central series of a finite $p$-group.

Group Theory
A proof of the Erdős primitive set conjecture

Jared Duker Lichtman

DOI: https://doi.org/10.1017/fmp.2023.16

2023-06-06

Abstract:A set of integers greater than 1 is primitive if no member in the set divides another. Erdős proved in 1935 that the series $f(A) = \sum_{a\in A}1/(a \log a)$ is uniformly bounded over all choices of primitive sets $A$. In 1986 he asked if this bound is attained for the set of prime numbers. In this article we answer in the affirmative. As further applications of the method, we make progress towards a question of Erdős, Sárközy, and Szemerédi from 1968. We also refine the classical Davenport-Erdős theorem on infinite divisibility chains, and extend a result of Erdős, Sárközy, and Szemerédi from 1966.

Number Theory,Combinatorics,Probability
Some effectivity results for primitive divisors of elliptic divisibility sequences

Matteo Verzobio

DOI: https://doi.org/10.2140/pjm.2023.325.331

2023-11-15

Abstract:Let $P$ be a non-torsion point on an elliptic curve defined over a number field $K$ and consider the sequence $\{B_n\}_{n\in \mathbb{N}}$ of the denominators of $x(nP)$. We prove that every term of the sequence of the $B_n$ has a primitive divisor for $n$ greater than an effectively computable constant that we will explicitly compute. This constant will depend only on the model defining the curve.

Number Theory
Primitive algebraic points on curves

Maleeha Khawaja,Samir Siksek

2024-05-18

Abstract:A number field $K$ is primitive if $K$ and $\mathbb{Q}$ are the only subextensions of $K$. Let $C$ be a curve defined over $\mathbb{Q}$. We call an algebraic point $P\in C(\overline{\mathbb{Q}})$ primitive if the number field $\mathbb{Q}(P)$ is primitive. We present several sets of sufficient conditions for a curve $C$ to have finitely many primitive points of a given degree $d$. For example, let $C/\mathbb{Q}$ be a hyperelliptic curve of genus $g$, and let $3 \le d \le g-1$. Suppose that the Jacobian $J$ of $C$ is simple. We show that $C$ has only finitely many primitive degree $d$ points, and in particular it has only finitely many degree $d$ points with Galois group $S_d$ or $A_d$. However, for any even $d \ge 4$, a hyperelliptic curve $C/\mathbb{Q}$ has infinitely many imprimitive degree $d$ points whose Galois group is a subgroup of $S_2 \wr S_{d/2}$.

Number Theory
Algorithmic constructions and primitive elements in the free group of rank 2

Adam Piggott

DOI: https://doi.org/10.48550/arXiv.math/0504401

2005-04-26

Abstract:The centrepiece of this paper is a normal form for primitive elements which facilitates the use of induction arguments to prove properties of primitive elements. The normal form arises from an elementary algorithm for constructing a primitive element p in F(x, y) with a given exponent sum pair (X, Y), if such an element p exists. Several results concerning the primitive elements of F(x, y) are recast as applications of the algorithm and the normal form.

Group Theory
Annihilating class groups in $p$-elementary extensions

Dominik Bullach,Daniel Macias Castillo

2023-10-16

Abstract:We derive new cases of conjectures of Rubin and of Burns--Kurihara--Sano concerning derivatives of Dirichlet $L$-series at $s = 0$ in $p$-elementary extensions of number fields for arbitrary prime numbers $p$. In naturally arising examples of such extensions one therefore obtains annihilators of class groups from $S$-truncated Dirichlet $L$-series for `large-enough' sets of places $S$.

Number Theory
Varieties of elements of given order in simple algebraic groups

Claude Marion

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

2017-06-06

Abstract:Given a positive integer $u$ and a simple algebraic group $G$ defined over an algebraically closed field $K$ of characteristic $p$, we derive properties about the subvariety $G_{[u]}$ of $G$ consisting of elements of $G$ of order dividing $u$. In particular, we determine the dimension of $G_{[u]}$, completing results of Lawther [7] in the special case where $G$ is of adjoint type. We also apply our results to the study of finite simple quotients of triangle groups, giving further insight on a conjecture we proposed in [10] as well as proving that some finite quasisimple groups are not quotients of certain triangle groups.

Group Theory
On the classification of extremely primitive affine groups

Timothy C. Burness,Melissa Lee

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

2022-01-14

Abstract:Let $G$ be a finite non-regular primitive permutation group on a set $\Omega$ with point stabiliser $G_{\alpha}$. Then $G$ is said to be extremely primitive if $G_{\alpha}$ acts primitively on each of its orbits in $\Omega \setminus \{\alpha\}$, which is a notion dating back to work of Manning in the 1920s. By a theorem of Mann, Praeger and Seress, it is known that every extremely primitive group is either almost simple or affine, and all the almost simple examples have subsequently been determined. Similarly, Mann et al. have classified all of the affine extremely primitive groups up to a finite, but undetermined, collection of groups. Moreover, if one assumes Wall's conjecture on the number of maximal subgroups of an almost simple group, then there is an explicit list of candidates, each of which has been eliminated in a recent paper by Burness and Thomas. So, modulo Wall's conjecture, the classification of extremely primitive groups is complete. In this paper we adopt a different approach, which allows us to complete this classification in full generality, independent of the veracity or otherwise of Wall's conjecture in the almost simple setting. Our method relies on recent work of Fawcett, Lee and others on the existence of regular orbits of almost simple groups acting on irreducible modules.

Group Theory
Semi-primitive roots and irreducible quadratic forms

Marc Wolf,François Wolf

2024-07-25

Abstract:Modulo a prime number, we define semi-primitive roots as the square of primitive roots. We present a method for calculating primitive roots from quadratic residues, including semi-primitive roots. We then present progressions that generate primitive and semi-primitive roots, and deduce an algorithm to obtain the full set of primitive roots without any GCD calculation. Next, we present a method for determining irreducible quadratic forms with arbitrarily large conjectured asymptotic density of primes (after Shanks, [1][2]). To this end, we propose an algorithm for calculating the square root modulo p, based on the Tonelli-Shanks algorithm [4].

General Mathematics
Test elements in pro-$p$ groups with applications in discrete groups

Ilir Snopce,Slobodan Tanushevski

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

2015-09-05

Abstract:Let $G$ be a group. An element $g \in G$ is called a test element of $G$ if for every endomorphism $\varphi:G \to G$, $\varphi(g)=g$ implies that $\varphi$ is an automorphism. We prove that for a finitely generated profinite group $G$, $g \in G$ is a test element of $G$ if and only if it is not contained in a proper retract of $G$. Using this result we prove that an endomorphism of a free pro-$p$ group of finite rank which preserves an automorphic orbit of a non-trivial element must be an automorphism. We give numerous explicit examples of test elements in free pro-$p$ groups and Demushkin groups. By relating test elements in finitely generated residually finite-$p$ Turner groups to test elements in their pro-$p$ completions, we provide new examples of test elements in free discrete groups and surface groups. Moreover, we prove that the set of test elements of a free discrete group of finite rank is dense in the profinite topology.

Group Theory
Erdős inequality for primitive sets

Petr Kucheriaviy

2024-06-10

Abstract:A set of natural numbers $A$ is called primitive if no element of $A$ divides any other. Let $\Omega(n)$ be the number of prime divisors of $n$ counted with multiplicity. Let $f_z(A) = \sum_{a \in A}\frac{z^{\Omega(a)}}{a (\log a)^z}$, where $z \in \mathbb{R}_{> 0}$. Erdős proved in 1935 that $f_1(A) = \sum_{a \in A}\frac{1}{a \log a}$ is uniformly bounded over all choices of primitive sets $A$. We prove the same fact for $f_z(A)$, when $z \in (0, 2)$. Also we discuss the $\lim_{z \to 0} f_z(A)$. Some other results about primitive sets are generalized. In particular we study the asymptotic of $f_z(\mathbb{P}_k)$, where $\mathbb{P}_k = \{ n : \Omega(n) = k \}$. In case of $z = 1$ we find the next term in asymptotic expansion of $f_1(\mathbb{P}_k)$ compared to the recent result of Gorodetsky, Lichtman, Wong.

Number Theory
Deformation subspaces of p-divisible groups as formal Lie groups associated to p-divisible groups

Adrian Vasiu

DOI: https://doi.org/10.1090/S1056-3911-2010-00571-1

2010-06-15

Abstract:Let $k$ be an algebraically closed field of characteristic $p>0$. Let $D$ be a $p$-divisible group over $k$ which is not isoclinic. Let $\scrD$ (resp. $\scrD_k$) be the formal deformation space of $D$ over $\Spf(W(k))$ (resp. over $\Spf(k)$). We use axioms to construct formal subschemes $\scrG_k$ of $\scrD_k$ that: (i) have canonical structures of formal Lie groups over $\Spf(k)$ associated to $p$-divisible groups over $k$, and (ii) give birth, via all geometric points $\Spf(K)\to\scrG_k$, to $p$-divisible groups over $K$ that are isomorphic to $D_K$. We also identify when there exist formal subschemes $\scrG$ of $\scrD$ which lift $\scrG_k$ and which have natural structures of formal Lie groups over $\Spf(W(k))$ associated to $p$-divisible groups over $W(k)$. Applications to Traverso (ultimate) stratifications are included as well.

Number Theory,Algebraic Geometry
Finite simple groups have many classes of $p$-elements

Michael Giudici,Luke Morgan,Cheryl E. Praeger

2024-11-28

Abstract:For an element $x$ of a finite group $T$, the $\mathrm{Aut}(T)$-class of $x$ is the set $\{ x^\sigma\mid \sigma\in \mathrm{Aut}(T)\}$. We prove that the order $|T|$ of a finite nonabelian simple group $T$ is bounded above by a function of the parameter $m(T)$, where $m(T)$ is the maximum, over all primes $p$, of the number of $\mathrm{Aut}(T)$-classes of elements of $T$ of $p$-power order. This bound is a substantial generalisation of results of Pyber, and of Héthelyi and Külshammer, and it has implications for relative Brauer groups of finite extensions of global fields.

Group Theory
Primitive Complete Normal Bases for Regular Extensions: Exceptional Cyclotomic Modules

Dirk Hachenberger

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

2019-12-11

Abstract:A primitive completely normal element for an extension $\mathbb{F}_{q^n}/\mathbb{F}_{q}$ of Galois fields is a generator of the multiplicative group of $\mathbb{F}_{q^n}$, which simultaneously is normal over every intermediate field of that extension. We are going to prove that such a generator exists when $\mathbb{F}_{q^n}/\mathbb{F}_{q}$ is an 'exceptional' regular extension. In combination with [6] our investigations altogether settle the existence of primitive completely normal bases for any regular extension. An important feature of the class of regular extensions is that they comprise every extension of prime power degree.

Number Theory,Combinatorics
Derangements in Cosets of Primitive Permutation Groups

Andrei Pavelescu

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

2013-12-05

Abstract:Motivated by questions arising in connection with branched coverings of connected smooth projective curves over finite fields, we study the proportion of fixed point free elements (derangements) in cosets of normal subgroups of primitive permutations groups. Using the Aschbacher-O'Nan-Scott theorem for primitive groups to partition the problem, we provide complete answers for affine groups and groups which contain a regular normal nonabelian subgroup.

Group Theory
Dynamics of primitive elements under group actions

Pratyush Mishra

2024-06-13

Abstract:We investigate group actions in which certain primitive elements fix a point, while not all group elements possess this property when acting upon some space. Using similar dynamical tools, we introduce the notion of Nielsen girth and prove the existence of groups with infinite girth but having finite Nielsen girth.

Group Theory,Dynamical Systems

Primitive elements in $p$-divisible groups

Primitive prime divisor elements in finite classical groups

$p$-elements in profinite groups

Locally imprimitive points on elliptic curves

Primitive Deformations of Quantum $p$-groups

Elements of prime order in the upper central series of a group of prime-power order

A proof of the Erdős primitive set conjecture

Some effectivity results for primitive divisors of elliptic divisibility sequences

Primitive algebraic points on curves

Algorithmic constructions and primitive elements in the free group of rank 2

Annihilating class groups in $p$-elementary extensions

Varieties of elements of given order in simple algebraic groups

On the classification of extremely primitive affine groups

Semi-primitive roots and irreducible quadratic forms

Test elements in pro-$p$ groups with applications in discrete groups

Erdős inequality for primitive sets

Deformation subspaces of p-divisible groups as formal Lie groups associated to p-divisible groups

Finite simple groups have many classes of $p$-elements

Primitive Complete Normal Bases for Regular Extensions: Exceptional Cyclotomic Modules

Derangements in Cosets of Primitive Permutation Groups

Dynamics of primitive elements under group actions