## Abstract

Let K be any field and G be a finite group acting on the rational function field K(xg: g ∈ G) by h · x_{g} = x_{hg} for any g, h ∈ G. Define K(G) = K(x_{g}: g ∈ G)^{G}. Noether's problem asks whether K(G) is rational (purely transcendental) over K. For any prime number p, Bogomolov shows that there is some group G of order p ^{6} with B0(G) ≠ 0, where B0(G) is the unramified Brauer group of ℂ(G), which is the subgroup of H^{2}(G, ℚ/ℤ) consisting of cohomology classes whose restrictions to all bicyclic subgroups are zero. As a consequence, ℂ(G) is not rational over ℂ. In this paper, we will classify all the groups G of order 64 with B0(G) ≠ 0; for groups G satisfying B0(G) = 0, we will show that ℂ(G) is rational except possibly for five cases.

Original language | English |
---|---|

Pages (from-to) | 2329-2366 |

Number of pages | 38 |

Journal | International Mathematics Research Notices |

Volume | 2010 |

Issue number | 12 |

DOIs | |

State | Published - 2010 |

### Bibliographical note

Funding Information:Ming-chang Kang was partially supported by National Center for Theoretic Sciences (Taipei office). Parts of the work of this paper were done while he visited School of Mathematics, Tata Institute of Fundamental Research, Mumbai, India.

Funding Information:

Boris E. Kunyavskii was supported in part by the Minerva Foundation through the Emmy Noether Institute of Mathematics. A part of this work was done during his visit to the National Center of Theoretical Sciences (Taipei office) in September 2008. The support of these institutions is gratefully acknowledged.