Results 1 to 2 of 2

Math Help - How to prove a monoid is a group.

  1. #1
    Newbie
    Joined
    Nov 2009
    Posts
    23

    How to prove a monoid is a group.

    Let c be a fixed positive integer, and let * denote the binary operation on the set Z of integers defined be the formula

    x * y  = xy + c(x+y) + c^2 - c

    for all integers x, y, and z.

    Is (Z, *) a group?

    I already proved that it's a monoid. Do I have to do this step by induction? Could someone guide me towards a solution?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor Swlabr's Avatar
    Joined
    May 2009
    Posts
    1,176
    Quote Originally Posted by pikminman View Post
    Let c be a fixed positive integer, and let * denote the binary operation on the set Z of integers defined be the formula

    x * y  = xy + c(x+y) + c^2 - c

    for all integers x, y, and z.

    Is (Z, *) a group?

    I already proved that it's a monoid. Do I have to do this step by induction? Could someone guide me towards a solution?
    A group is a monoid where every element has an inverse, a*a' = e where e is your identity and a your element. So, you just plug in you a and a' and see what a' must be for a*a' = e.

    In these questions always look out for possible illegal steps, such as dividing by zero. Often most elements will have an inverse, but some wont, and the ones which wont will be the ones where zero is in the botton of your inverse...
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. [SOLVED] Monoid homomorphisms
    Posted in the Advanced Algebra Forum
    Replies: 5
    Last Post: March 25th 2011, 03:21 PM
  2. monoid v group
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: February 7th 2011, 01:49 AM
  3. compositon of relations and monoid
    Posted in the Discrete Math Forum
    Replies: 0
    Last Post: March 24th 2010, 12:31 PM
  4. Monoid proof
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: January 25th 2010, 02:44 PM
  5. Prove S is a Group
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: December 9th 2009, 05:56 AM

Search Tags


/mathhelpforum @mathhelpforum