Results 1 to 1 of 1

Math Help - Word problem for semigroups

  1. #1
    MHF Contributor Swlabr's Avatar
    Joined
    May 2009
    Posts
    1,176

    Word problem for semigroups

    Let \mathcal{P} = \langle X ;R \rangle be a semigroup which is not necessarilly finitely presented. Then it is natural to ask if you are given two words then are they equal modulo this presentation. This is the word problem (for semigroups).

    Assume the word problem is soluble for \mathcal{P}. Then my question is,

    if we are given two words v and w and we know they are equal modulo \mathcal{P} then is it always possible to find the chain of relations connecting these two words?

    EDIT: I believe `complete' is the word I am looking for. However, I can't seem to find this anywhere (the WP is soluble for P if and only if P is complete. Apparently).
    Last edited by Swlabr; July 20th 2010 at 08:55 AM.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 5
    Last Post: May 31st 2011, 09:19 PM
  2. Replies: 3
    Last Post: January 2nd 2011, 09:20 PM
  3. Semigroups: Do the following 4 equations imply x=y?
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: June 2nd 2010, 01:37 AM
  4. Abstract Algebra: Semigroups
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: May 18th 2010, 04:39 PM
  5. Semigroups, Problems For Fun
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: June 16th 2009, 05:02 AM

Search Tags


/mathhelpforum @mathhelpforum