Related papers: On Noether's rationality problem for cyclic groups…
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 $K$ be a number field and $p$ a prime number $\geq 5$. Let us denote by $\mu_p$ the group of the $p$th roots of unity. We define $p$ to be $K$-regular if $p$ does not divide the class number of the field $K(\mu_p)$. Under the assumption…
Let $k$ be any field, $G$ be a finite group. Let $G$ act on the rational function field $k(x_g:g\in G)$ by $k$-automorphisms defined by $h\cdot x_g=x_{hg}$ for any $g,h\in G$. Denote by $k(G)=k(x_g:g\in G)^G$ the fixed field. Noether's…
Let $k$ be a field, $G$ be a finite group, $k(x(g):g\in G)$ be the rational function field with the variables $x(g)$ where $g\in G$. The group $G$ acts on $k(x(g):g\in G)$ by $k$-automorphisms where $h\cdot x(g)=x(hg)$ for all $h,g\in G$.…
A group of order $p^n$ ($p$ prime) has an indecomposable polynomial invariant of degree at least $p^{n-1}$ if and only if the group has a cyclic subgroup of index at most $p$ or it is isomorphic to one of two particular groups of small…
We propose a simple criterion to know if an abelian variety $A$ defined over a finite field $\mathbb{F}_q$ is cyclic, i.e., it has a cyclic group of rational points; this criterion is based on the endomorphism ring End$_{\mathbb{F}_q}(A)$.…
We classify, up to isomorphism, the $\mathbb{Z}_pG$-modules of rank $1$ (i.e., the quotients of $\mathbb{Z}_pG$) for $G$ cyclic of order $p$, where $\mathbb{Z}_p$ is the ring of $p$-adic integers. This allows us in particular to determine…
For modular indecomposable representations of a cyclic group $G$ of prime order $p$ we propose a list of polynomial invariants of degree $\leq 3$ that, together with a simple invariant of degree $p$, separate generic orbits and generate the…
Let $k$ be any field, $G$ be a finite group acing on the rational function field $k(x_g:g\in G)$ by $h\cdot x_g=x_{hg}$ for any $h,g\in G$. Define $k(G)=k(x_g:g\in G)^G$. Noether's problem asks whether $k(G)$ is rational (= purely…
We determine all possible degrees of cyclic isogenies of non-CM elliptic curves with rational $j$-invariant over number fields of degree $p$, where $p$ is an odd prime. The question had been answered for $p=2$, so this paper completes the…
There are two outstanding questions about division algebras of prime degree $p$. The first is whether they are cyclic, or equivalently crossed products. The second is whether the center, $Z(F,p)$, of the generic division algebra $UD(F,p)$…
Let p be an odd prime. Let K = \Q(zeta) be the p-cyclotomic number field. Let v be a primitive root mod p and sigma : zeta --> zeta^v be a \Q-isomorphism of the extension K/\Q generating the Galois group G of K/\Q. For n in Z, the notation…
Let $p$ be an odd prime number, $D_p$ be the dihedral group of order $2p$, $h_p$ and $h^+_p$ be the class numbers of $\bm{Q}(\zeta_p)$ and $\bm{Q}(\zeta_p+ \zeta_p^{-1})$ respectively. Theorem. $h_p^+=1$ if and only if, for any field $k$…
Let $k$ be any field, $G$ be a finite group acting on the rational function field $k(x_g : g\in G)$ by $h\cdot x_g=x_{hg}$ for any $h,g\in G$. Define $k(G)=k(x_g : g\in G)^G$. Noether's problem asks whether $k(G)$ is rational (= purely…
We address the Noncommutative Noether's Problem on the invariants of Weyl fields for linear actions of finite groups. We prove that if the variety An(k)/G is rational then the Noncommutative Noether's Problem is positively solved for G and…
For any prime p and any positive integer n, let B(p,n) denote the n-th layer of the cyclotomic Z_p-extension over the rationals. Based on the heuristics of Cohen and Lenstra, and refined by new results on class numbers of particular B(p,n),…
We classify all $n$-dimensional reduced Cohen-Macaulay modular quotient variety $\mathbb{A}_\mathbb{F}^n/C_{2p}$ and study their singularities, where $p$ is a prime number and $C_{2p}$ denotes the cyclic group of order $2p$. In particular,…
We consider an analogue of Artin's primitive root conjecture for units in real quadratic fields. Given such a nontrivial unit, for a rational prime p which is inert in the field the maximal order of the unit modulo p is p+1. An extension of…
Let p be an odd prime. Let K_p = Q(zeta) be the p-cyclotomic field. Let pi be the prime ideal of K_p lying over p. Let G be the Galois group of K_p. Let v be a primitive root mod p. Let sigma be a Q-isomorphism of K_p. Let P(sigma) =…
Rationality problems of algebraic k-tori are closely related to rationality problems of the invariant field, also known as Noether's Problem. We describe how a function field of algebraic k-tori can be identified as an invariant field under…