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

Check naming of classical groups #291

Open
ssiccha opened this issue Sep 6, 2021 · 0 comments
Open

Check naming of classical groups #291

ssiccha opened this issue Sep 6, 2021 · 0 comments
Labels
enhancement groups: classical related to recognition of classical groups priority: high

Comments

@ssiccha
Copy link
Collaborator

ssiccha commented Sep 6, 2021

I want to compare the current code for naming classical groups, i.e. the function RecogniseClassical, to the corresponding magma code. If there are discrepancies with the magma code, then I'd simply use the magma version.

RecogniseClassical is designed to be used with natural matrix groups. Until now we pass representatives of generators of a projective matrix group. Is it possible, that we pass matrices, such that taken projectively they generate a simple group, but as a matrix group they do not generate the full corresponding quasi simple group, that is parts of the center could be missing? If that can happen, then I suggest the following workaround: after determining the forms that we leave invariant, create a new group to whose generating set we add generators of the center of the quasi-simple group corresponding to the form. That one is then guaranteed to contain the quasi-simple group.

Also, the function should probably be renamed to NameClassical.

@ssiccha ssiccha added enhancement groups: classical related to recognition of classical groups priority: high labels Sep 6, 2021
@ssiccha ssiccha added this to To do in Classical Groups via automation Sep 6, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement groups: classical related to recognition of classical groups priority: high
Projects
Development

No branches or pull requests

1 participant