Install specific IsIdempotentGenerated methods for RMS/RZMS #325
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
wilfwilson
force-pushed
the
rzms-idempotent-subsemigroup
branch
2 times, most recently
from
8504bd1
to
7162679
Compare
mtorpey
reviewed
Jun 14, 2017
gap/attributes/attr.gi
Outdated
| od; | ||
| od; | ||
|
|
||
| out := RegularSemigroup(gens); |
There was a problem hiding this comment.
I think you decided to stop using this - certainly you replaced it in the RMS case. Is this safe?
There was a problem hiding this comment.
I changed it over.
wilfwilson
force-pushed
the
rzms-idempotent-subsemigroup
branch
from
7162679
to
4d17f82
Compare
|
I'm happy. Will merge once the tests pass. |
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
For a regular Rees (0-)matrix semigroup over a group, it's easy to say write down a fairly small generating set for the idempotent generated subsemigroup. For Rees matrix semigroups, I think the method gives a minimal generating set (it's certainly irredundant). For Rees 0-matrix semigroups, the code now makes use of my recent addition to Digraphs called
UndirectedSpanningForest. A spanning forest of theRZMSDigraphcorresponds to a generating set for the idempotent generated subsemigroup. Whilst this certainly does not return a irredundant generating set in general, it has the potential to return a much smaller generating set that was obtained previously.Additionally, this PR allows me to address a long-standing TODO from my maximal subsemigroups code. At a certain part in those algorithms, to specify the generating set of a maximal subsemigroup, we require the set of idempotents of a particular Rees (0-)matrix semigroup. However, we only actually require a generating set for these idempotents. Since there is a special method installed for this now, we may as well use this.