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

Can not create group homomorphism with trivial symmetric group as domain #36204

Closed
2 tasks done
ddorian1 opened this issue Sep 7, 2023 · 1 comment · Fixed by #36252
Closed
2 tasks done

Can not create group homomorphism with trivial symmetric group as domain #36204

ddorian1 opened this issue Sep 7, 2023 · 1 comment · Fixed by #36252
Labels
Milestone

Comments

@ddorian1
Copy link

ddorian1 commented Sep 7, 2023

Steps To Reproduce

Running the code

h = SymmetricGroup(1).hom(SymmetricGroup(2))

or

h = SymmetricGroup(1).hom([SymmetricGroup(2).gen()])

in the console or on SageMathCell.

Expected Behavior

In both cases h should be the unique homomorphism from SymmetricGroup(1) to SymmetricGroup(2).

Actual Behavior

The first variant yields GAPError: Error, <gens> and <imgs> must be lists of same length, the second variant yields ValueError: provide an image for each generator.

Additional Information

SymmetricGroup(1).gens() is a list of length 1, hence the second variant actually provides one image for each generator, in contrast to the error message.

Environment

- **OS**: SageMathCell
- **Sage Version**: 10.1

Checklist

  • I have searched the existing issues for a bug report that matches the one I want to file, without success.
  • I have read the documentation and troubleshoot guide
@ddorian1 ddorian1 added the t: bug label Sep 7, 2023
@fchapoton
Copy link
Contributor

Maybe related to

sage: SymmetricGroup(1).gens()
((),)

@fchapoton fchapoton mentioned this issue Sep 11, 2023
4 tasks
@vbraun vbraun closed this as completed in 5bd0466 Sep 24, 2023
@mkoeppe mkoeppe added this to the sage-10.2 milestone Sep 24, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants