Bonjour à tous,

Je suis un peu familier avec la notion de groupe des automorphismes extérieurs d'un groupe , qui est noté : , comme expliqué en détail ici, https://fr.wikipedia.org/wiki/Automo...int%C3%A9rieur . Or, il y a une généralisation de cet objet qui est parfois noté : , où, et sont deux groupes quelconques, comme ici, https://empslocal.ex.ac.uk/people/st...les/kyoto1.pdf , page .
Quel est explicitement, la définition de l'objet, ?
Comment appelle-t-on cet objet et est ce que vous connaissez des cours d'introduction portant sur cet objet ?

Merci pour votre éclairage.