Global Primitive Roots of Unity

Wayne Lewis

2024-11-25

Abstract:A B{é}zout domain, a valuation domain, a discrete field, and a valued field, each defined as an ultraproduct, provide a natural setting to exhibit an infinite set of primes $q\in\p$ -- relative to which a non-perfect-power integer $m > 1$ is a primitive root of unity $\mahd q)$ -- as an element of the ultrafilter $\mfu$ on $\p$ underlying the ultraproducts.

Number Theory

What problem does this paper attempt to address?

Abelian ideals and amazing roots

Dmitri I. Panyushev

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

2017-11-11

Abstract:Let $\mathfrak g$ be a simple Lie algebra with a Borel subalgebra $\mathfrak b$. To any long positive root $\gamma$, one associates two ideals of $\mathfrak b$: the abelian ideal $I(\gamma)_{max}$ and not necessarily abelian ideal $I\langle{\succcurlyeq}\gamma\rangle$. It is known that $I(\gamma)_{max} \subset I\langle{\succcurlyeq}\gamma\rangle$, and $\gamma$ is said to be amazing if the equality holds. The set of amazing roots, $\mathcal A$, is closed under the operation `$\vee$' in $\Delta^+$, and $\gamma\in\mathcal A$ is said to be primitive, if it cannot be written as $\gamma_1\vee\gamma_2$ with incomparable amazing roots $\gamma_1,\gamma_2$. We classify the amazing roots and notice that the number of primitive roots equals $\mathsf{rk}(\mathfrak g)$. Moreover, if $\Pi$ (resp. $\mathcal A_{\sf pr}$) is the set of simple (resp. primitive) roots, then there is a natural bijection $\Pi\longleftrightarrow \mathcal A_{\sf pr}$. We also describe the set $\mathcal A\cap{\mathcal H}$, where ${\mathcal H}$ is the Heisenberg subset of $\Delta^+$.

Representation Theory
Primitive words and roots of words

Gerhard Lischke

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

2011-04-22

Formal Languages and Automata Theory

Abstract:In the algebraic theory of codes and formal languages, the set $Q$ of all primitive words over some alphabet $\zi $ has received special interest. With this survey article we give an overview about relevant research to this topic during the last twenty years including own investigations and some new results. In Section 1 after recalling the most important notions from formal language theory we illustrate the connection between coding theory and primitive words by some facts. We define primitive words as words having only a trivial representation as the power of another word. Nonprimitive words (without the empty word) are exactly the periodic words. Every nonempty word is a power of an uniquely determined primitive word which is called the root of the former one. The set of all roots of nonempty words of a language is called the root of the language. The primitive words have interesting combinatorial properties which we consider in Section 2. In Section 3 we investigate the relationship between the set $Q$ of all primitive words over some fixed alphabet and the language classes of the Chomsky Hierarchy and the contextual languages over the same alphabet. The computational complexity of the set $Q$ and of the roots of languages are considered in Section 4. The set of all powers of the same degree of all words from a language is the power of this language. We examine the powers of languages for different sets of exponents, and especially their regularity and context-freeness, in Section 5, and the decidability of appropriate questions in Section 6. Section 7 is dedicated to several generalizations of the notions of periodicity and primitivity of words.
Universally defining Z in Q with 10 quantifiers

Nicolas Daans

DOI: https://doi.org/10.1112/jlms.12864

2024-02-02

Journal of the London Mathematical Society

Abstract:Abstract We show that for a global field , every ring of ‐integers has a universal first‐order definition in with 10 quantifiers. We also give a proof that every finite intersection of valuation rings of has an existential first‐order definition in with 3 quantifiers.

mathematics
Notes on Primitive Roots Modulo Primes

Zhi-Wei Sun

2014-01-01

Abstract:We make many new observations on primitive roots modulo primes. For an odd prime $p$ and an integer $c$, we establish a theorem concerning $\sum_g(\frac{g+c}p)$, where $g$ runs over all the primitive roots modulo $p$ among $1,\ldots,p-1$, and $(\frac{\cdot}p)$ denotes the Legendre symbol. On the basis of our numerical computations, we formulate 35 conjectures involving primitive roots modulo primes. For example, we conjecture that for any prime $p$ there is a primitive root $g 3$ there is a prime $q 3$ there exists a Fibonacci number $F_k 3$.
$p$-adic multiple zeta values at roots of unity and $p$-adic pro-unipotent harmonic actions - IV-1 : $p$-adic multiple zeta values at roots of unity extended to sequences of integers of any sign

David Jarossay

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

2017-12-29

Abstract:This work is a study of $p$-adic multiple zeta values at roots of unity ($p$MZV$\mu_{N}$'s), the $p$-adic periods of the crystalline pro-unipotent fundamental groupoid of $(\mathbb{P}^{1} - \{0,\mu_{N},\infty\})/ \mathbb{F}_{q}$. The main tool is new objects which we call $p$-adic pro-unipotent harmonic actions. In this part IV we define and study $p$-adic analogues of some elementary complex analytic functions which interpolate multiple zeta values at roots of unity such as the multiple zeta functions. The indices of $p$MZV$\mu_{N}$'s involve sequences of positive integers ; in this IV-1, by considering an operation which we call localization (inverting certain integration operators) in the pro-unipotent fundamental groupoid of $\mathbb{P}^{1} - \{0,\mu_{N},\infty\}$, and by using $p$-adic pro-unipotent harmonic actions, we extend the definition of $p$MZV$\mu_{N}$'s to indices for which these integers can be negative, and we study these generalized $p$MZV$\mu_{N}$'s.

Number Theory
Prime ideals in infinite products of commutative rings

Carmelo A. Finocchiaro,Sophie Frisch,Daniel Windisch

2023-08-24

Abstract:We describe the prime ideals and, in particular, the maximal ideals in products $R = \prod D_\lambda$ of families $(D_\lambda)_{\lambda \in \Lambda}$ of commutative rings. We show that every maximal ideal is induced by an ultrafilter on the Boolean algebra $\prod \mathcal{P}(\max(D_\lambda))$, where $\max(D_\lambda)$ is the spectrum of maximal ideals of $D_\lambda$, and $\mathcal{P}$ denotes the power set. If every $D_\lambda$ is in a certain class of rings including finite character domains and one-dimensional domains, we completely characterize the maximal ideals of $R$. If every $D_\lambda$ is a Prüfer domain, we completely characterize all prime ideals of $R$.

Commutative Algebra
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.
Roots of unity and projective equivalence

David Hubbard

2024-10-23

Abstract:Existing results of Fu show that, if two finite sets of roots of unity are projectively equivalent by a projective automorphism that does not act bijectively on the set of all roots of unity, then these sets consist of at most 14 points. Moreover, Fu constructs the two possible maximal sets, which are unique up to projective equivalence. In this article, we given an elementary proof that the cardinality of two such sets is at most 18 using the methods of Beukers and Smyth. Moreover, we show precisely how their method fails to give the tightest bound in the maximal cases of Fu.

Algebraic Geometry
Universal characters twisted by roots of unity

Seamus P. Albion

DOI: https://doi.org/10.5802/alco.320

2024-02-14

Abstract:A classical result of Littlewood gives a factorisation for the Schur function at a set of variables "twisted" by a primitive $t$-th root of unity, characterised by the core and quotient of the indexing partition. While somewhat neglected, it has proved to be an important tool in the character theory of the symmetric group, the cyclic sieving phenomenon, plethysms of symmetric functions and more. Recently, similar factorisations for the characters of the groups $\mathrm{O}(2n,\mathbb{C})$, $\mathrm{Sp}(2n,\mathbb{C})$ and $\mathrm{SO}(2n+1,\mathbb{C})$ were obtained by Ayyer and Kumari. We lift these results to the level of universal characters, which has the benefit of making the proofs simpler and the structure of the factorisations more transparent. Our approach also allows for universal character extensions of some factorisations of a different nature originally discovered by Ciucu and Krattenthaler, and generalised by Ayyer and Behrend.

Combinatorics,Representation Theory
Universally defining $\mathbb{Z}$ in $\mathbb{Q}$ with $10$ quantifiers

Nicolas Daans

DOI: https://doi.org/10.1112/jlms.12864

2024-02-01

Abstract:We show that for a global field $K$, every ring of $S$-integers has a universal first-order definition in $K$ with $10$ quantifiers. We also give a proof that every finite intersection of valuation rings of $K$ has an existential first-order definition in $K$ with $3$ quantifiers.

Number 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
NEW OBSERVATIONS ON PRIMITIVE ROOTS MODULO PRIMES

Zhi-Wei Sun

DOI: https://doi.org/10.3969/j.issn.0469-5097.2019.02.01

2019-01-01

Abstract:We make many new observations on primitive roots modulo primes.For an odd prime p and an integer c,we establish a theorem concerning ∑g(g+c/p),where g runs over all the primitive roots modulo p among 1,…,p-1,and (·/p) denotes the Legendre symbol.On the basis of our numerical computations,we formulate 35 conjectures involving primitive roots modulo primes.For example,we conjecture that for any prime p there is a primitive root g ＜ p modulo p with g-1 a square,and that for any prime p ＞ 3 there is a prime q ＜ p with the Bernoulli number Bq-1 a primitive root modulo p.We also make related observations on quadratic nonresidues modulo primes and primitive prime divisors of some combinatorial sequences.For example,based on heuristic arguments we conjecture that for any prime p ＞ 3 there exists a Fibonacci number Fk ＜ p/2 which is a quadratic nonresidue modulo p;this implies that there is a deterministic polynomial time algorithm to find square roots of quadratic residues modulo a prime p ＞ 3.
Simultaneous Primitive Root Values Of Polynomials

N. A. Carella

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

2022-04-04

Abstract:Let $z\ne \pm1,w^2$ be a fixed integer, and let $f(t)\ne g(t)^2$ be a fixed polynomial over the integers. It is shown that the subset of primes $p\geq 2$ such that $z$ and $f(z)$ is a pair of simultaneous primitive roots modulo $p$ has nonzero density in the set of primes. The same analysis generalizes to \textit{admissible} $k$-tuple of polynomials $z$, $f_1(z)$, $f_2(z), \ldots$, $f_k(z)$, such that $f_i(z)\ne g_i(z)^2$, and $k\ll \log p$ is a small integer.

General Mathematics
A note on quadratic cyclotomic extensions

Sophie Marques,Elizabeth Mrema

2024-07-29

Abstract:This paper provides two characterizations of the primitive roots of unity in quadratic cyclotomic extensions over arbitrary fields. Firstly, we introduce a mapping from $\mathbb{N}$ to $\mathbb{N}$ crucial for describing these roots, closely tied to their order over the field. Secondly, for any prime $p$, we determine the maximal natural number $n$ such that $\zeta_{p^n}$ defines a quadratic cyclotomic extension over the field $F$. This characterization is uniform across different fields, regardless of their characteristic, and applies to both odd and even primes.

Number Theory
Generalizations of the primitive and normal basis theorems

Shahram Biglari

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

2007-01-31

Abstract:Using a Zariski topology associated to a finite field extensions, we give new proofs and generalize the primitive and normal basis theorems.

Rings and Algebras,Number Theory
Tame and wild primes in direct products of commutative rings

Abolfazl Tarizadeh,Nemat Shirmohammadi

2023-10-19

Abstract:In this article, new advances in understanding the structure of prime ideals of an infinite direct product of rings are obtained. We observe that in a direct product ring there are two types of prime ideals, tame primes and wild primes. Among the main results, we prove that the set of tame primes is an open subscheme of the prime spectrum, and this scheme is non-affine if and only if the index set is infinite. As an application, it is shown that a prime ideal is a wild prime if and only if it contains the direct sum ideal. Next we show that an uncountable number of wild primes (but not all) of an infinite direct product ring can be described in terms of the non-principal ultrafilters of the index set. As an application, it is shown that if a direct product ring has at least a wild prime, then the set of wild primes is infinite (uncountable). We also prove that if all of the factors of a direct product ring are local rings then this ring modulo the direct sum ideal is canonically isomorphic to a certain localization of the ring. Finally, the connected components of the prime spectrum of an infinite direct product ring are investigated. We observe that, like the prime ideals, there are two types of connected components, tame ones and wild ones.

Commutative Algebra,Algebraic Geometry
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
Primitive elements in infinitesimal bialgebras

Dalia Artenstein,Ana González,María Ronco

2024-01-04

Abstract:For any set S, the free magmatic algebra spanned by card(S) binary products is the vector space spanned by the set of all planar rooted binary trees with the internal nodes colored by the elements of S, graded by the number of leaves of a tree. We show that it has a unique structure of coassociative coalgebra such that the coproduct satisfies the unital infinitesimal condition with each magmatic product, and prove an analog of Aguiar-Sottile formula in this context, describing the coproduct in terms of the Moebius basis for the Tamari order. The last result allows us to compute the subspace of primitive elements of any unital infinitesimal S-magmatic bialgebra. As an example, we construct a set of generators of the dual of Pilaud and Pons bialgebra of integer relations and compute an explicit basis of its subspace of primitive elements.

Combinatorics,Rings and Algebras
Perfectoid pure singularities

Bhargav Bhatt,Linquan Ma,Zsolt Patakfalvi,Karl Schwede,Kevin Tucker,Joe Waldron,Jakub Witaszek

2024-09-26

Abstract:Fix a prime number $p$. Inspired by the notion of $F$-pure or $F$-split singularities, we study the condition that a Noetherian ring with $p$ in its Jacobson radical is pure inside some perfectoid (classical) ring, a condition we call \emph{perfectoid pure}. We also study a related a priori weaker condition which asks that $R$ is pure in its absolute perfectoidization, a condition we call \emph{lim-perfectoid pure}. We show that both these notions coincide when $R$ is LCI. Mixed characteristic analogs of $F$-injective and Du Bois singularities are also explored. We study these notions of singularity, proving that they are weakly normal and that they are Du Bois after inverting $p$. We also explore the behavior of perfectoid singularities under finite covers and their relation to log canonical singularities. Finally, we prove an inversion of adjunction result in the LCI setting, and use it to prove that many common examples are perfectoid pure.

Algebraic Geometry,Commutative Algebra,Number Theory
New foundations for geometry

Shai Haran

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

2015-08-19

Abstract:We shall describe a simple generalization of commutative rings. The category GR of such "rings", contains the ordinary commutative rings (fully faithfully), but also the "integers" and "residue field" at a real or complex place of a field ; the "field with one element" (the initial object of GR ); the "arithmetical surface" ( the sum in the category GR of the integers with them self: Z(x)Z ) . We shall show that this geometry "see" the real and complex places of a number field (there is an Ostrowski theorem that the valuation sub-GR of a number field correspond to the finite and infinite primes; there is a compactification of the spectrum of the integers ). One can develop algebraic geometry using GR following Grothendieck paradigm . Quillen's homotopical algebra replaces homological algebra . There is an analogue of Quillen's cotangent bundle - in particular there is a theory of non-additive derivations, with modules of Kahler differentials which satisfy all the usual exact sequences - we compute explicitly the differentials of the integers Z over the initial object F1 . Finally we associate with any topological compact valuation GR a meromorphic function - its "zeta" : for the p-adic integers we get the p-local factor of zeta, for the "real integers" we get the gamma factor.

Algebraic Geometry

Global Primitive Roots of Unity

Abelian ideals and amazing roots

Primitive words and roots of words

Universally defining Z in Q with 10 quantifiers

Notes on Primitive Roots Modulo Primes

$p$-adic multiple zeta values at roots of unity and $p$-adic pro-unipotent harmonic actions - IV-1 : $p$-adic multiple zeta values at roots of unity extended to sequences of integers of any sign

Prime ideals in infinite products of commutative rings

Primitive elements in $p$-divisible groups

Roots of unity and projective equivalence

Universal characters twisted by roots of unity

Universally defining $\mathbb{Z}$ in $\mathbb{Q}$ with $10$ quantifiers

Primitive Complete Normal Bases for Regular Extensions: Exceptional Cyclotomic Modules

NEW OBSERVATIONS ON PRIMITIVE ROOTS MODULO PRIMES

Simultaneous Primitive Root Values Of Polynomials

A note on quadratic cyclotomic extensions

Generalizations of the primitive and normal basis theorems

Tame and wild primes in direct products of commutative rings

A proof of the Erdős primitive set conjecture

Primitive elements in infinitesimal bialgebras

Perfectoid pure singularities

New foundations for geometry