Let be a field and be a finite group acting on the rational function field by -automorphisms defined as for any . We denote the fixed field by . Noether’s problem asks whether is rational (= purely transcendental) over . It is well-known that if is stably rational over , then all the unramified cohomology groups H_[nr}^i(C(G),Q/Z)=0 for . Hoshi, Kang and Kunyavskii [HKK] showed that, for a -group of order (: an odd prime number), H_[nr}^2(C(G),Q/Z)\neq 0 if and only if belongs to the isoclinism family . When is an odd prime number, Peyre [Pe3] and Hoshi, Kang and Yamasaki [HKY1] exhibit some -groups which are of the form of a central extension of certain elementary abelian -group by another one with H_[nr}^2(C(G),Q/Z)=0 and H_[nr}^3(C(G),Q/Z)\neq 0. However, it is difficult to tell whether H_[nr}^3(C(G),Q/Z) is non-trivial if is an arbitrary finite group. In this paper, we are able to determine H_[nr}^3(C(G),Q/Z) where is any group of order with . Theorem 1. Let be a group of order . Then H_[nr}^3(C(G),Q/Z)\neq 0 if and only if belongs to . Theorem 2. If is a group of order , then the fixed field is rational if and only if does not belong to and . Theorem 3. Let be a group of order or . Then H_[nr}^3(C(G),Q/Z)\neq 0 if and only if belongs to , or . Theorem 4. If is the alternating group , the Mathieu group , , the Janko group or the group , , (where is a prime power), then H_[nr}^d(C(G),Q/Z)=0 for any . Besides the degree three unramified cohomology groups, we compute also the stable cohomology groups.

生成讲解博客的中文版本

生成AI智能校验的中文版本