Related papers: Cyclotomic Swan subgroups and primitive roots

For $\Gamma$ a group of order $mp$ for $p$ prime where $gcd(p,m)=1$, we consider those regular subgroups $N\leq Perm(\Gamma)$ normalized by $\lambda(\Gamma)$, the left regular representation of $\Gamma$. These subgroups are in one-to-one…

Let $p$ be an odd prime, and define $$G_p(x)=\prod_{k=1}^{(p-1)/2}\left(x-e^{2\pi i k^2/p}\right).$$ In this paper we study values of $G_p(x)$ at roots of unity via Galois theory, and confirm some previous conjectures. For example, for any…

Let $\varphi_p(z)=(z-1)^p+2-\zeta_p$, where $\zeta_p\in\bar{\mathbb{Q}}$ is a primitive $p$-th root of unity for some odd prime $p$. Building on previous work, we show that the $n$-th iterate $\varphi_p^n(z)$ has Galois group $[C_p]^n$, an…

We study the set $\mathscr C$ of mean square values of the moduli of the conjugates of cyclotomic integers $\beta$. For its $k$th derived set $\mathscr C^{(k)}$, we show that $\mathscr C^{(k)}=(k+1)\mathscr C\,\, (k\ge 0)$, so that also…

Let p be an odd prime. Let K_p = \Q(zeta_p) be the p-cyclotomic field. We apply a Kummer and Stickelberger relation of K_p to some singular not primary numbers A of K_p connected to p-class group of K_p and prove they verify the congruence…

Multiplicative order of an element $a$ of group $G$ is the least positive integer $n$ such that $a^n=e$, where $e$ is the identity element of $G$. If the order of an element is equal to $|G|$, it is called generator or primitive root. This…

We prove a number of results on the structure and representation theory of the rational Cherednik algebra of the imprimitive reflection group $G(\ell,p,n)$. In particular, we: (1) show a relationship to the Coulomb branch construction of…

Let $p$ be an odd prime number, $E$ an elliptic curve defined over a number field. Suppose that $E$ has good reduction at any prime lying above $p$, and has supersingular reduction at some prime lying above $p$. In this paper, we construct…

Let $F$ be a local non-Archimedean field and $E$ a finite Galois extension of $F$, with Galois group $G$. If $\rho$ is a representation of $G$ on a complex vector space $V$, we may compose it with any tensor operation $R$ on $V$, and get…

Let $L_n$ be a simplest cubic field with Galois group $G=\rm{Gal} (L_n/\mathbb Q)$. The associated order is denoted as ${\cal A}_{L_n/\mathbb Q}:= \{ x\in {\mathbb Q} [G] \, |\, x \cdot \cal{O}_{L_n} \subset {\cal O}_{L_n } \}$, where…

Let $p$ be an odd prime number. Let $K$ be the $p$-th cyclotomic field and $F$ its maximal real subfield. We give general formulae of the root numbers of the Jacobian varieties of the Fermat curves $X^p+Y^p=\delta$ where $\delta$ is an…

We introduce the first provably efficient algorithm to check if a finitely generated subgroup of an almost simple semi-simple group over the rationals is Zariski-dense. We reduce this question to one of computing Galois groups, and to this…

We generalize the definition and properties of root systems to complex reflection groups - roots become rank one projective modules over the ring of integers of a number field k. In the irreducible case, we provide a classification of root…

Given an infinite set \Lambda of characters on a compact abelian group we show that \Lambda is a \Lambda(p)-set for all p>2 if and only if the limit order of the ideal of all \Lambda-summing operators coincides with that of the ideal of all…

Let T be an involution of the finite dimensional complex reductive Lie algebra g and g=k+p be the associated Cartan decomposition. Denote by K the adjoint group of k. The K-module p is the union of the subsets p^{(m)}={x | dim K.x =m},…

Let p > 2 be a prime number and let N be any rational integer. We consider the p-class groups Cl(L), Cl(M) of the fields $L:=Q(N^{1/p})$ and $M:=Q(N^{1/p},\mu_p)$, by comparison with the p-torsion groups T(L) and T(M) of the abelian…

Let $\mathit{k}=\mathbb{Q}(\sqrt[3]{d},\zeta_3)$, where $d>1$ is a cube-free positive integer, $\mathit{k}_0=\mathbb{Q}(\zeta_3)$ be the cyclotomic field containing a primitive cube root of unity $\zeta_3$, and…

A primitive root modulo an integer $n$ is the generator of the multiplicative group of integers modulo $n$. Gauss proved that for any prime number $p$ greater than $3$, the sum of its primitive roots is congruent to $1$ modulo $p$ while its…

$ $The aim of this thesis is to lower the bound on square-free primitive roots modulo primes. Let $g^{\Box}(p)$ be the least square-free primitive root modulo $p$. We have proven the following two theorems. Theorem 0.1. $$g^{\Box}(p) <…

Let $p$ be a sufficiently large prime number, $r$ be any given positive integer. Suppose that $a_1,\,\dots,\,a_r$ are pairwise distinct and not zero modulo $p$. Let $N(a_1,\,\dots,\,a_r;\,p)$ denote the number of…