Spracherkennung für: .gd vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
############################################################################
##
## congruences/conginv.gd
## Copyright (C) 2015-2022 Michael C. Young
##
## Licensing information can be found in the README file of this package.
##
#############################################################################
##
## This file contains methods for congruences on inverse semigroups, using the
## "kernel and trace" representation - see Howie 5.3
##
# Inverse Congruences By Kernel and Trace
DeclareCategory("IsInverseSemigroupCongruenceByKernelTrace",
IsSemigroupCongruence
and IsMagmaCongruence
and CanComputeEquivalenceRelationPartition
and IsAttributeStoringRep
and IsFinite);
DeclareGlobalFunction("InverseSemigroupCongruenceByKernelTrace");
DeclareGlobalFunction("InverseSemigroupCongruenceByKernelTraceNC");
DeclareAttribute("TraceOfSemigroupCongruence", IsSemigroupCongruence);
DeclareAttribute("KernelOfSemigroupCongruence", IsSemigroupCongruence);
DeclareAttribute("AsInverseSemigroupCongruenceByKernelTrace",
IsSemigroupCongruence);
DeclareAttribute("InverseSemigroupCongruenceClassByKernelTraceType",
IsInverseSemigroupCongruenceByKernelTrace);
# Congruence Classes
DeclareCategory("IsInverseSemigroupCongruenceClassByKernelTrace",
IsCongruenceClass and IsAttributeStoringRep and
IsMultiplicativeElement);
# Special congruences
DeclareAttribute("MinimumGroupCongruence",
IsInverseSemigroup and IsGeneratorsOfInverseSemigroup);
[Dauer der Verarbeitung: 0.11 Sekunden, vorverarbeitet 2026-06-17]
