arXiv2026
Let $k$ be a field, $K/k$ be a separable field extension of degree $n$ and $L/k$ be the Galois closure of $K/k$. Let $G={\rm Gal}(L/k)$ and $H={\rm Gal}(L/K)\lneq G$ with $[G:H]=n$. Then $H$ is core-free in $G$, i.e. $\bigcap_{σ\in G} σ^{-1}Hσ=\{1\}$. Let $T=R^{(1)}_{K/k}(\mathbb{G}_m)$ be the norm one torus of $K/k$ with ${\rm dim}\, T=n-1$. We fix $G$ as an abstract group and let $H$ range over all core-free subgroups of $G$ up to conjugacy. For each of the following $15$ groups $G\simeq S_3$, $S_4$, $S_5$, $S_6$, $A_4$, $A_5$, $A_6$, ${\rm GL}_2(\mathbb{F}_q)$ $(q=3,4,5)$, ${\rm SL}_2(\mathbb{F}_q)$ $(q=3,5,7)$, ${\rm PSL}_2(\mathbb{F}_q)$ $(q=7,8)$, by using GAP computations with the aid of PARI/GP, we determine, for any core-free subgroup $H\leq G$ up to conjugacy, whether $T$ is stably $k$-rational, not stably but retract $k$-rational, or not retract $k$-rational. The resulting $175$ cases ($15$ are Galois, $160$ are non-Galois) split into $7$, $7$, $161$ cases respectively. We also give alternative proofs for the known cases (i) $H=\{1\}$, i.e. $K/k$ is Galois, and (ii) $[K:k]=[G:H]=n\leq 15$ with $G\not\simeq 9T27\simeq {\rm PSL}_2(\mathbb{F}_8)$. The $6$ stably $k$-rational cases occur for $G\simeq S_3\simeq {\rm PSL}_2(\mathbb{F}_{2})$, $A_5\simeq {\rm PSL}_2(\mathbb{F}_4)$, ${\rm PSL}_2(\mathbb{F}_8)$. Except for the stably $k$-rational case $d=1$ and $H=\{1\}$, for $G\simeq {\rm PSL}_2(\mathbb{F}_{2^d})$ with $d=1,2,3$, we prove that $T$ is stably $k$-rational if and only if $T$ is retract $k$-rational if and only if $(C_2)^d\leq H\leq (C_2)^d\rtimes C_{2^d-1}$, and conjecture that this holds for any $d\geq 1$. When $k$ is a global field and $T$ is retract $k$-rational, e.g. $(G,H)\simeq ({\rm PSL}_2(\mathbb{F}_7),D_4)$, $({\rm PSL}_2(\mathbb{F}_8),(C_2)^3)$, $({\rm PSL}_2(\mathbb{F}_8),(C_2)^3\rtimes C_7)$, the Hasse norm principle holds for $K/k$.