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 parfois pour ):

Let and 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.
Je ne suis pas sûr de ce qu'il veut dire par "une copie de K" ?
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