Multiquadratic fields generated by characters of AnA_n

preprint2019arXivOpen access

Abstract

For a finite group GG, let K(G)K(G) denote the field generated over Q\mathbb{Q} by its character values. For n>24n>24, G. R. Robinson and J. G. Thompson proved that K(An)=Q({p∗ : p≤n  an odd prime with p≠n−2}),K(A_n)=\mathbb{Q}\left (\{ \sqrt{p^*} \ : \ p\leq n \ {\text{ an odd prime with } p\neq n-2}\}\right), where p∗:=(−1)p−12pp^*:=(-1)^{\frac{p-1}{2}}p. Confirming a speculation of Thompson, we show that arbitrary suitable multiquadratic fields are similarly generated by the values of AnA_n-characters restricted to elements whose orders are only divisible by ramified primes. To be more precise, we say that a ππ-number is a positive integer whose prime factors belong to a set of odd primes π:={p1,p2,…,pt}π:= \{p_1, p_2,\dots, p_t\}. Let Kπ(An)K_π(A_n) be the field generated by the values of AnA_n-characters for even permutations whose orders are ππ-numbers. If t≥2t\geq 2, then we determine a constant NπN_π with the property that for all n>Nπn> N_π, we have Kπ(An)=Q(p1∗,p2∗,…,pt∗).K_π(A_n)=\mathbb{Q}\left(\sqrt{p_1^*}, \sqrt{p_2^*},\dots, \sqrt{p_t^*}\right).

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.