Related papers: On a rationality problem for fields of cross-ratio…

Let $k$ be a field, $x_1, \dots, x_n$ be independent variables and $L_n = k(x_1, \dots, x_n)$. The symmetric group $\Sigma_n$ acts on $L_n$ by permuting the variables, and the projective linear group $\text{PGL}_2$ acts by \[…

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},\cdots,x_{n})$ via $k$-automorphisms defined by $\sigma\cdot x_{i}:=x_{\sigma\cdot i}$ for…

Let $G$ be a finite group and $k$ be a field. Let $G$ act on the rational function field $k(x_g:g\in G)$ by $k$-automorphisms defined by $g\cdot x_h=x_{gh}$ for any $g,h\in G$. Noether's problem asks whether the fixed field $k(G)=k(x_g:g\in…

Let $G$ be a finite group and $k$ be a field. Let $G$ act on the rational function field $k(x_g:g\in G)$ by $k$-automorphisms defined by $g\cdot x_h=x_{gh}$ for any $g,h\in G$. Noether's problem asks whether the fixed field $k(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, $G$ be a finite group and $k(x_g:g\in G)$ be the rational function field over $k$, on which $G$ acts by $k$-automorphisms defined by $h\cdot x_g=x_{hg}$ for any $g,h\in G$. Noether's problem asks whether the fixed…

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 $K$ be any field and $G$ be a finite group. Let $G$ act on the rational function field $K(x_g:g\in G)$ by $K$-automorphisms defined by $g\cdot x_h=x_{gh}$ for any $g,h\in G$. Noether's problem asks whether the fixed field…

Let K be any field and G be a finite group. Noether's problem asks whether the fixed field is rational (=purely transcendental) over K. We will prove that if G is a non-abelian p-group of order p^n containing a cyclic subgroup of index p…

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$.…

Let $K$ be a field and $G$ be a finite group. Let $G$ act on the rational function field $K(x(g):g\in G)$ by $K$ automorphisms defined by $g\cdot x(h)=x(gh)$ for any $g,h\in G$. Denote by $K(G)$ the fixed field $K(x(g):g\in G)^G$. Noether's…

Let $G$ be a finite group, $k$ be a field and $G\to GL(V_{\rm reg})$ be the regular representation of $G$ over $k$. Then $G$ acts naturally on the rational function field $k(V_{\rm reg})$ by $k$-automorphisms. Define $k(G)$ to be the fixed…

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 a field, $G$ a finite group. Let $G$ act on the function field $L = K(x_{\sigma} : \sigma \in G)$ by $\tau \cdot x_{\sigma} = x_{\tau\sigma}$ for any $\sigma, \tau \in G$. Denote the fixed field of the action by $K(G) = L^{G} =…

Let $k$ be any field, $p>3$ be any prime number and $G$ be a nonabelian $p$-group of order $p^{5}$. Consider the action of $G$ on the rational function field $k(x_{h}:h\in G)$ by $g\cdot x_{h}=x_{gh}$ for all $g,h\in G$. Let $e$ be the…

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…

For any field K and any transitive subgroup G of S_8, let G acts naturally on K(x_1, . . ., x_8) by permutations of the variables, we prove that under some minor conditions K(x_1, . . ., x_8)^G is always K-rational except G is A_8 or G is…

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 S_n denote the symmetric group on n letters. We consider the S_n-root lattice A_{n-1} = {(z1,...,zn) in Z^n | z1+...+zn = 0}, where S_n acts on Z^n by permuting the coordinates, and its tensor, symmetric, and exterior squares. For odd…

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…