Add IsOrthoGroup property

semigroups · May 20, 2021 · 79d230f · 79d230f
1 parent cff1a6a
commit 79d230f
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 0 deletions.
diff --git a/gap/attributes/properties.gd b/gap/attributes/properties.gd
@@ -102,3 +102,6 @@ DeclareProperty("IsSurjectiveSemigroup", IsSemigroup);
 InstallTrueMethod(IsSurjectiveSemigroup, IsRegularSemigroup);
 InstallTrueMethod(IsSurjectiveSemigroup, IsMonoidAsSemigroup);
 InstallTrueMethod(IsSurjectiveSemigroup, IsIdempotentGenerated);
+
+DeclareProperty("IsOrthogroup", IsSemigroup);
+DeclareSynonym("IsOrthoGroup", IsOrthogroup);
diff --git a/gap/attributes/properties.gi b/gap/attributes/properties.gi
@@ -1784,3 +1784,9 @@ x -> UnderlyingSemigroupOfSemigroupWithAdjoinedZero(x) <> fail);
 InstallMethod(IsSurjectiveSemigroup, "for a semigroup",
 [IsSemigroup],
 S -> IsEmpty(IndecomposableElements(S)));
+
+InstallMethod(IsOrthogroup, "for a semigroup",
+[IsSemigroup],
+function(S)
+  return IsCompletelyRegularSemigroup(S) and IsOrthodoxSemigroup(S);
+end);