Ask Your Question
2

Finitely presented monoids

asked 2018-06-07 02:56:24 +0200

arcisd gravatar image

Hello.

Is there a way to define finitely presented monoids? I have searched but I only obtained info about finitely presented groups.

Thank you!

edit retag flag offensive close merge delete

1 Answer

Sort by » oldest newest most voted
4

answered 2018-06-08 11:34:06 +0200

Nicolas M. Thiéry gravatar image

This is implemented in GAP, but not currently wrapped in Sage. It still is possible -- but inconvenient -- to create such monoids by calling directly the appropriate GAP functions.

If you are ready to use experimental code with all its caveats, I am implementing a library providing nicer wrapping for GAP functionalities in Sage. In fact, wrapping GAP's monoid functionalities is my primary motivation :-)

With this sage-gap-semantic-interface installed, you can do:

sage: from mygap import mygap
sage: M = mygap.FreeMonoid(2)
sage: m1, m2 = M.monoid_generators()
sage: H = M / [ [ m1^2, m1], [m2^2, m2], [m1*m2*m1, m2*m1*m2]]
sage: H.category()
Category of g a p monoids
sage: H.is_finite()
True
sage: H.cardinality()
6

For more examples, see: https://github.com/nthiery/sage-gap-s...

Happy to give a hand if you have trouble, though I can't guarantee to be super responsive. Best is to create issues on the github repo.

edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

Stats

Asked: 2018-06-07 02:56:24 +0200

Seen: 693 times

Last updated: Jun 08 '18