Related papers: Noether's problem for the groups with a cyclic sub…
Let K be any field and G be a finite group. We will prove that, if K is any field, p an odd prime number, and G is a non-abelian group of exponent p with |G|=p^3 or p^4 satisfying [K(\zeta_p):K] <= 2, then K(G) is rational over K. We will…
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…
Let $p$ be a prime number and $\zeta_p$ be a primitive $p$-th root of unity in $\bm{C}$. Let $k$ be a field and $k(x_0,\ldots,x_{p-1})$ be the rational function field of $p$ variables over $k$. Suppose that $G=\langle\sigma\rangle \simeq…
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…
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…
Let $G$ be a finite group acting on the rational function field $\mathbb{C}(x_g : g\in G)$ by $\mathbb{C}$-automorphisms $h(x_g)=x_{hg}$ for any $g,h\in G$. Noether's problem asks whether the invariant field $\mathbb{C}(G)=k(x_g : g\in…
In 1918, Noether published a paper where she studied such a problem, now called Noether's problem on rationality: Let $L=K\left( t_{1},t_{2},\cdots ,t_{n}\right) $ be a purely transcendental extension over a field $K$ and $G$ a finite…
Let $k$ be a field, $n \geqslant 5$ be an integer, $x_1, \dots, x_n$ be independent variables and $L_n = k(x_1, \dots, x_n)$. The symmetric group $S_n$ acts on $L_n$ by permuting the variables, and the projective linear group ${\rm PGL}_2$…
Let $K$ be a field of characteristic not two and $K(x,y,z)$ the rational function field over $K$ with three variables $x,y,z$. Let $G$ be a finite group of acting on $K(x,y,z)$ by monomial $K$-automorphisms. We consider the rationality…
Let $G$ be a subgroup of $S_n$, the symmetric group of degree $n$. For any field $k$, $G$ acts naturally on the rational function field $k(x_1,x_2,\ldots,x_n)$ via $k$-automorphisms defined by $\sigma\cdot x_i=x_{\sigma(i)}$ for any…
Let $k$ be an infinite field. The notion of retract $k$-rationality was introduced by Saltman in the study of Noether's problem and other rationality problems. We will investigate the retract rationality of a field in this paper. Theorem 1.…
Motivated by the classical Noether's problem, J. Alev and F. Dumas proposed the following question, commonly referred to as the noncommutative Noether's problem: Let a finite group $G$ act linearly on $\mathbb{C}^n,$ inducing the action on…
Let $G$ be a finite subgroup of $GL_4(\bm{Q})$. The group $G$ induces an action on $\bm{Q}(x_1,x_2,x_3,x_4)$, the rational function field of four variables over $\bm{Q}$. Theorem. The fixed subfield…
Noether's problem asks whether, for a given field K and finite group G, the fixed field L := K(x_h : h \in G)^G is a purely transcendental extension of K, where G acts on the x_h by gx_h = x_gh. The field L is naturally the function field…
We study the groups $G$ with the curious property that there exists an element $k\in G$ and a function $f\colon G\to G$ such that $f(xk)=xf(x)$ holds for all $x\in G$. This property arose from the study of near-rings and input-output…
For any prime number $p$ and field $k$, we characterize the $p$-retract rationality of an algebraic $k$-torus in terms of its character lattice. We show that a $k$-torus is retract rational if and only if it is $p$-retract rational for…
Let $G$ be a finite 2-group and $K$ be a field satisfying that (i) $\fn{char}K\ne 2$, and (ii) $\sqrt{a}\in K$ for any $a\in K$. If $G$ acts on the rational function field $K(x,y,z)$ by monomial $K$-automorphisms, then the fixed field…
Let $G$ be a finite group and $K$ a field containing an element of multiplicative order $|G|$. It is shown that if $G$ has a cyclic subgroup of index at most $2$, then the separating Noether number over $K$ of $G$ coincides with the Noether…
Let $G$ be a finite group acting on $k(x_1,...,x_n)$, the rational function field of $n$ variables over a field $k$. The action is called a purely monomial action if $\sigma...x_j=\prod_{1\le i\le n} x_i^{a_{ij}}$ for all $\sigma \in G$,…
Let $G$ be a subgroup of $S_6$, the symmetric group of degree 6. For any field $k$, $G$ acts naturally on the rational function field $k(x_1,...,x_6)$ via $k$-automorphisms defined by $\sigma\cdot x_i=x_{\sigma(i)}$ for any $\sigma\in G$,…