An infinite family of number fields with given indices (Q6649188)

For an irreducible polynomial \(f(x)=x^n+\sum_{i=0}^{n-1}a_ix^i\in Z[x]\) let \(K_f\) be the field generated by a root of \(f\) and denote by \(i(K)\) the index of \(K\).\N\NThe paper contains seven theorems showing how certain conditions on the coefficients of \(f\) imply the behaviour of \(i(K)\). The first two theorems give four sufficient conditions for \(2\nmid i(K)\). One of them runs as follows: if only one coefficient of \(f\), say \(a_j\) (with \(j\ge3\)) is odd and the remaining are even, \(2\nmid n-j\), \(a_1\equiv2\) mod \(4\) and \(4|a_0\), then \(2\nmid i(K)\). theorem 3 gives conditions for \(2^s\parallel i(K)\) with \(s\in\{2,4,5\}\), theorems 4 and 5 deal with \(p\nmid i(K)\) for odd primes \(p\) and the last two theorems provide conditions for \(p^s\parallel i(K)\) with \(s\in\{2,p-2\}\).