When are Two Subgroups Independent?
Cet article propose une définition catégorielle de l'indépendance des sous-groupes basée sur l'extension des endomorphismes, démontrant que la simple intersection triviale est insuffisante et fournissant des conditions nécessaires, suffisantes et un algorithme heuristique pour caractériser cette propriété dans divers cas.