Back
〈a, b | abbabaab=a〉
Monoid presentation of length 9
Properties
- Infinite non-commutative monoid
Completion parameters
- Reduction order: right-to-left bc/da
- Auxiliary generator ab=c
- Auxiliary generator caa=d
Complete rewriting system
- cdb ⇒ cbd
- dc ⇒ c2bc2d
- cbdb2 ⇒ c
- c2bdbc ⇒ db
- a ⇒ cbdb
- d2b ⇒ dbd
- (db)2 ⇒ db2d
- db2db ⇒ d
- dbcbdbc ⇒ c2d