Results 1 to 4 of 4

Math Help - Abstract Algebra is my enemy

  1. #1
    Member Maccaman's Avatar
    Joined
    Sep 2008
    Posts
    85

    Abstract Algebra is my enemy

    I am taking an Abstract Algebra course and my lecturer is really bad and Im not the only who thinks so. All that we get are his poorly constructed notes and most people in the class are lost. Everyone's thinking of making a complaint.

    Anyway, I really want to try and do the exercises he sets us, but I dont have any textbook (we are only given course notes) that I can get examples from and I still need to try and understand the content. I'm hoping that if I can be shown how to answer these 3 questions, I can answer questions that are almost the same but with different number types.

    So, can someone please show me how to do the following?

    Prove which of the following is (G,*) a semigroup? In which is it a group? If it is a group, is it Abelian?

    (1)  G = \mathbb{R} , a* b = \frac{a+b}{2}
    (2)  G = \mathbb{N} x  \mathbb{R} , (a,x)* (b,y) = (a+b, \frac{ax+by}{a+b}) and;
    (3) G is the set of all strings formed from the letters  a,b, \alpha, \beta (including the null string, which contains no letters), with the property that the strings  a \alpha, \alpha a, b \beta, \beta b are all equivalent to the null string; so whenever these combinations occur in a string, they may be removed, i.e.  bb \beta \beta abb \alpha a = b \beta abb = abb.
    A*B is the concatenation of  A and  B i.e. abb* \beta a = abb \beta a = abb \beta a = aba

    I know its a lot, but I am really stuck with Abstract Algebra.

    Now I do know and understand many of the properties of Semigroups, Groups, and Abelian groups but thats because all I get in the lectures are these properties, and rarely ever get examples so that when I get questions like this I dont really know what to do.

    I am pretty sure that to do this question, I first have to show whether or not G is empty (what notation can I use for this?), and that I need to show if the operation is well-defined (how do I prove this?). Then I dont know what to do. . I'm really worried that if I don't learn how to do this now, I'll be stuffed with the remainder of the course's content, and will fail the course . Can anyone please help??
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    May 2008
    Posts
    2,295
    Thanks
    7
    Quote Originally Posted by Maccaman View Post
    I am taking an Abstract Algebra course and my lecturer is really bad and Im not the only who thinks so. All that we get are his poorly constructed notes and most people in the class are lost. Everyone's thinking of making a complaint.

    Anyway, I really want to try and do the exercises he sets us, but I dont have any textbook (we are only given course notes) that I can get examples from and I still need to try and understand the content. I'm hoping that if I can be shown how to answer these 3 questions, I can answer questions that are almost the same but with different number types.

    So, can someone please show me how to do the following?

    Prove which of the following is (G,*) a semigroup? In which is it a group? If it is a group, is it Abelian?

    (1)  G = \mathbb{R} , a* b = \frac{a+b}{2}
    (2)  G = \mathbb{N} x  \mathbb{R} , (a,x)* (b,y) = (a+b, \frac{ax+by}{a+b}) and;
    (3) G is the set of all strings formed from the letters  a,b, \alpha, \beta (including the null string, which contains no letters), with the property that the strings  a \alpha, \alpha a, b \beta, \beta b are all equivalent to the null string; so whenever these combinations occur in a string, they may be removed, i.e.  bb \beta \beta abb \alpha a = b \beta abb = abb.
    A*B is the concatenation of  A and  B i.e. abb* \beta a = abb \beta a = abb \beta a = aba

    I know its a lot, but I am really stuck with Abstract Algebra.

    Now I do know and understand many of the properties of Semigroups, Groups, and Abelian groups but thats because all I get in the lectures are these properties, and rarely ever get examples so that when I get questions like this I dont really know what to do.

    I am pretty sure that to do this question, I first have to show whether or not G is empty (what notation can I use for this?), and that I need to show if the operation is well-defined (how do I prove this?). Then I dont know what to do. . I'm really worried that if I don't learn how to do this now, I'll be stuffed with the remainder of the course's content, and will fail the course . Can anyone please help??
    for (1), first of all note that a*b is defined for all a, b \in \mathbb{R}. now we have (a*b)*c=\frac{a+b}{2}*c=\frac{\frac{a+b}{2}+c}{2}=  \frac{a+b+2c}{4}. but: a*(b*c)=a*\frac{b+c}{2}=\frac{a + \frac{b+c}{2}}{2}=\frac{2a+b+c}{4}. we see that

    (a*b)*c \neq a*(b*c). so G is not a semigroup. for part (2) of your problem, (a,x)*(b,y) is again defined for any a,b \in \mathbb{N}, \ x,y \in \mathbb{R}. show that * is associative and hence G is a semigroup.

    G in part (3) of your problem is more than just a semigroup. it's a group, which is obviously not abelian.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member Maccaman's Avatar
    Joined
    Sep 2008
    Posts
    85
    Thanks,
    I'll work on some similar questions this weekend and post them here to see if Im getting things right.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Grand Panjandrum
    Joined
    Nov 2005
    From
    someplace
    Posts
    14,972
    Thanks
    4
    Quote Originally Posted by Maccaman View Post
    I am taking an Abstract Algebra course and my lecturer is really bad and Im not the only who thinks so. All that we get are his poorly constructed notes and most people in the class are lost. Everyone's thinking of making a complaint.

    Anyway, I really want to try and do the exercises he sets us, but I dont have any textbook (we are only given course notes) that I can get examples from and I still need to try and understand the content. I'm hoping that if I can be shown how to answer these 3 questions, I can answer questions that are almost the same but with different number types.
    Do you have a library? It will be full of books many of them on Abstract Algebra.

    CB
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 2
    Last Post: December 6th 2010, 03:03 PM
  2. Enemy/Defender Probability
    Posted in the Advanced Statistics Forum
    Replies: 2
    Last Post: October 31st 2010, 01:53 PM
  3. Replies: 0
    Last Post: April 23rd 2010, 11:37 PM
  4. Please help with Abstract Algebra
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: October 20th 2008, 09:12 AM
  5. Abstract Algebra help
    Posted in the Advanced Algebra Forum
    Replies: 0
    Last Post: April 12th 2008, 01:59 AM

Search Tags


/mathhelpforum @mathhelpforum