Bogomolov multipliers and retract rationality for semidirect products

Abstract: Let

G

be a finite group. The Bogomolov multiplier

B_{0} (G)

is constructed as an obstruction to the rationality of

where

G o G L (V)

is a faithful representation over

. We prove that, for any finite groups

G_{1}

and

G_{2}

,

B_{0} (G_{1} i m e s G_{2}) x r i g h t a r r o w s i m B_{0} (G_{1}) i m e s B_{0} (G_{2})

under the restriction map. If

G = N t i m e s G_{0}

with

g c d | N |, | G_{0} | = 1

, then

B_{0} (G) x r i g h t a r r o w s i m B_{0} (N)^{G_{0}} i m e s B_{0} (G_{0})

under the restriction map. For any integer

n

, we show that there are non-direct-product

p

-groups

G_{1}

and

G_{2}

such that

B_{0} (G_{1})

and

B_{0} (G_{2})

contain subgroups isomorphic to

and

respectively. On the other hand, if

k

is an infinite field and

G = N t i m e s G_{0}

where

N

is an abelian normal subgroup of exponent

e

satisfying that

z e t a_{e} i n k

, we will prove that, if

k (G_{0})

is retract

k

-rational, then

k (G)

is also retract

k

-rational provided that certain "local" conditions are satisfied; this result generalizes two previous results of Saltman and Jambor cite{Ja}.

Recommendations

Cites Work

Cited In (14)

This page was built for publication: Bogomolov multipliers and retract rationality for semidirect products