Results 1 to 2 of 2

Math Help - Is that an abelian group?

  1. #1
    Newbie
    Joined
    Jul 2007
    Posts
    13

    Is that an abelian group?

    I read the following in a book. If A be an abelian group and End A be defined as set of all endomorphism f :A---->A , End A along sum of functions produce an abelian group. My problem is as following.
    a,b belong to A , (f+g)(ab) = f(ab)+g(ab) = f(a)f(b)+g(a)g(b)

    (f+g)(a) (f+g)(b)=(f(a)+g(a))(f(b)+g(b))
    Does (f+g)(ab) equal to (f+g)(a) (f+g)(b)? In other words does f+g belong to End A?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member JaneBennet's Avatar
    Joined
    Dec 2007
    Posts
    293
    You are confusing the binary operations in the two sets A and End(A). The definition of + in End(A) is: \forall\;\mathrm{f},\mathrm{g}\in\mathrm{End}(A), (f+g):AA where (f+g)(a) = f(a)g(a) for all aA.

    This may look strange, but that’s because you are writing product of elements in A multiplicatively.

    However, since A is an Abelian group, why not denote the binary operation in A additively? To avoid confusion, let’s write \oplus for the operation in End(A) and + for the operation in A. So we have

    \forall\;f,g\in\mathrm{End}(A),\ (\mathrm{f}\oplus\mathrm{g})(a) = \mathrm{f}(a) + \mathrm{g}(a) for all aA.

    Now that looks more intuitive. Hence, for any endomorphisms f and g and any a,b\in A:

    (\mathrm{f}\oplus\mathrm{g})(a+b)=\mathrm{f}(a+b)+  \mathrm{g}(a+b)=\mathrm{f}(a)+\mathrm{f}(b)+\mathr  m{g}(a)+\mathrm{g}(b)

    (\mathrm{f}\oplus\mathrm{g})(a)+(\mathrm{f}\oplus\  mathrm{g})(b)=\mathrm{f}(a)+\mathrm{g}(a)+\mathrm{  f}(b)+\mathrm{g}(b)

    Hence (\mathrm{f}\oplus\mathrm{g})(a+b)=(\mathrm{f}\oplu  s\mathrm{g})(a)+(\mathrm{f}\oplus\mathrm{g})(b)\ \Rightarrow\ \mathrm{f}\oplus\mathrm{g}\in\mathrm{End}(A).
    Last edited by JaneBennet; January 26th 2008 at 05:24 AM.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Abelian Group
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: November 5th 2011, 01:37 PM
  2. Abelian group
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: August 8th 2011, 03:27 PM
  3. Group, abelian
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: October 14th 2010, 05:05 AM
  4. Abelian group
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: April 5th 2010, 02:46 PM
  5. Is the subgroup of an abelian group always abelian?
    Posted in the Advanced Algebra Forum
    Replies: 6
    Last Post: December 6th 2009, 11:38 PM

Search Tags


/mathhelpforum @mathhelpforum