Showing papers on "Generic polynomial published in 1985"

A remark on the structure of absolute Galois groups

Abstract: Let the field F contain all p-power roots of unity for some prime p and suppose that the absolute Galois group G of F is a one-relator pro-p group. We use Merkurjev-Suslin's theorem on the power norm residue symbol to show that G is an extension of a Demushkin group by a free pro-p group. Let F be a field, FJ its separable closure, and G = Gal(FJ/F) its absolute Galois group. Let n be an integer not divisible by char(F) and denote by fin the G-module of nth roots of unity. Merkurjev and Suslin [1] have shown that the power norm residue symbol K2(F)/nK2(F) -H2(G, It,) is an isomorphism. It is a natural question to ask what bearing this theorem has on the structure of G. The present note is based on the fact that the symbol above factors through the homomorphism H1(G, ,,)?2 H2(G, t 2), induced by the cup product, which hence is surjective. To be modest, we specialize to Sylow subgroups of G, i.e., we let G itself be a pro-p group. Using well-known properties of such groups we then derive some information in the case where G has exactly one relation and F contains all p-power roots of unity. The notation will be standard: subgroups of a pro-p group G are understood to be closed; the Frattini subgroup is G* = GPG2, G2 denoting the commutator subgroup; subgroups generated by commutators are written as [X, Y]; cohomology groups with coefficients being Z/(p) are denoted by H'(G). THEOREM. Let F be a field with separable closure FJ and absolute Galois group G = Gal(F/F). Suppose that G is a finitely generated one-relator pro-p group where the prime p is unequal to char(F) and F contains all p-power roots of unity. Then there is a normal subgroup N of G which is pro-p free such that G/N is a Demushkin group and the inflation map H2(S/N, Z/( pn)) -H2(S, Z/( pn)) is an isomorphism for every subgroup S of G containing N, and for all integers n. PROOF. (1) We begin by constructing a normal subgroup N of G such that, setting G = G/N, the inflation map H2(G) H2(G) is an isomorphism and the cup product H1(G) x H1(G) -H2(G) is nondegenerate. Received by the editors December 6, 1984. 1980 Mathematics Subject Classification. Primary 12G05. ?1985 American Mathematical Society 0002-9939/85 $1.00 + $.25 per page

On computing the polynomial invariants of a finite group

Abstract: Let p be a real representation of a finite group G as n×n matrices and P(p)G the ring of polynomial invariants associated with p(G) One way to describe P(p)G is as a direct sum . Given that such a good polynomial basis is known for P(p)G . we will show how to construct good polynomial bases for other polynomial rings associated with P(p)G : P(p)H where H is a subgroup of G where σ is another real representation of G, and . We will make sense of the notion of good polynomial basis for relative invariants and show how to construct the same for the representation is the representation gotten from ρ by twisting it by the linear representation . If P(ρ) is the ring of all polynomials associated with ρ(G), then those features of the structure of P(ρ) as a graded G-algebra -needed for the constructions above - will also be developed by extending classical results about the ideal in P(ρ) generated by the invariants, about G-harmonic polynomials and about polarization.