Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/twistedconjugacy/lib/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 12.9.2025 mit Größe 1 kB image not shown  

Quelle  helpfunctions.g   Sprache: unbekannt

 
###############################################################################
##
## IntersectionOfKernels( hom1, hom2 )
##
##  INPUT:
##      hom1:       group homomorphism H -> G
##      hom2:       group homomorphism H -> G
##
##  OUTPUT:
##      N:          intersection of Ker(hom1) and Ker(hom2)
##
TWC.IntersectionOfKernels := { hom1, hom2 } -> NormalIntersection(
    KernelOfMultiplicativeGeneralMapping( hom1 ),
    KernelOfMultiplicativeGeneralMapping( hom2 )
);

###############################################################################
##
## IntersectionOfPreImages( hom1, hom2, M )
##
##  INPUT:
##      hom1:       group homomorphism H -> G
##      hom2:       group homomorphism H -> G
##      M:          normal subgroup of G
##
##  OUTPUT:
##      N:          intersection of hom1^-1(M) and hom2^-1(M)
##
TWC.IntersectionOfPreImages := { hom1, hom2, M } -> NormalIntersection(
    # TODO: replace by PreImagesSet eventually
    PreImagesSetNC( hom1, NormalIntersection( M, ImagesSource( hom1 ) ) ),
    PreImagesSetNC( hom2, NormalIntersection( M, ImagesSource( hom2 ) ) )
);

[ Dauer der Verarbeitung: 0.25 Sekunden  (vorverarbeitet)  ]