Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Acting RZMS subsemigroups over non-IsPermGroup #336

Closed
wilfwilson opened this issue Jun 14, 2017 · 1 comment
Closed

Acting RZMS subsemigroups over non-IsPermGroup #336

wilfwilson opened this issue Jun 14, 2017 · 1 comment
Assignees
Labels
bug Label for issues or PR which report or fix bugs

Comments

@wilfwilson
Copy link
Collaborator

Currently, subsemigroups of regular Rees 0-matrix semigroups over groups are acting semigroups, even if the group isn't an IsPermGroup group.

Either this should only be the case for perm groups, or there are some missing methods.

Here's an example of how things go wrong over other groups:

gap> G := AllSmallGroups(8)[3];
gap> R := ReesZeroMatrixSemigroup(G, [[G.1, 0, 0], [0, G.1, 0], [0, 0, G.1]]);
gap> S := Semigroup(RMSElement(R, 1, One(G), 2), RMSElement(R, 2, One(G), 1));
gap> IsPcGroup(G) and IsActingSemigroup(S);
true
gap> Size(S);
Error, no method found! For debugging hints type ?Recovery from NoMethodFound
Error, no 1st choice method found for `NrMovedPoints' on 1 arguments at /Users/Wilf/GAP/lib/methsel2.g:241 called from
NrMovedPoints( UnderlyingSemigroup( parent )
 ) at /Users/Wilf/GAP/pkg/semigroups/gap/main/setup.gi:486 called from
LambdaRank( s )( o[scc[1]]
 ) at /Users/Wilf/GAP/pkg/semigroups/gap/main/lambda-rho.gi:208 called from
LambdaOrbSchutzGp( o, m
 ); at /Users/Wilf/GAP/pkg/semigroups/gap/main/lambda-rho.gi:284 called from
LambdaOrbStabChain( o, m
 ) at /Users/Wilf/GAP/pkg/semigroups/gap/main/acting.gi:597 called from
Enumerate( SemigroupData( S ), infinity, ReturnFalse
 ) at /Users/Wilf/GAP/pkg/semigroups/gap/main/acting.gi:314 called from
...
@wilfwilson wilfwilson added the bug Label for issues or PR which report or fix bugs label Jun 14, 2017
@james-d-mitchell james-d-mitchell self-assigned this Jun 16, 2017
@james-d-mitchell james-d-mitchell modified the milestone: 3.0.0 Jun 16, 2017
@wilfwilson
Copy link
Collaborator Author

Resolved by PR #337

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Label for issues or PR which report or fix bugs
Projects
None yet
Development

No branches or pull requests

2 participants