Bonjour,
J'essaye de comprendre le produit couronne de deux groupes. Je me base sur le livre de P.J Cameron dans lequel il est écrit (je précise que Cameron note parfoispour
):
Je ne suis pas sûr de ce qu'il veut dire par "une copie de K" ?Letand
be permutations groups on the sets
and
respectively and
. Think of
as a fibre bundle over the set
, with projection map
; each fibre
is isomorphic to
for fixed
. Let
be the cartesian product of
copies of
, one acting on each fibre as
acts on
. Thus
is the set of functions from
to
with pointwise operations; the action is given by :
. Let T be a copy of the group
permuting the fibres :
. Then T normalise B.
A mon avis comme K agit sur, K agit aussi de manière canonique sur les fibres (par l'action qu'il donne).
Je pense que c'est ce qu'il veut dire par "une copie" non ?
Et que veut-il dire par "T normalise B" ? Pour moi ça veut dire que B est un sous-groupe normal de T mais je ne vois pas comment il voit ça ...
merci
-----