Results 1 to 2 of 2

Math Help - Generalised Quaternion Algebra over K - Dauns Section 1-5 no 17

  1. #1
    Super Member Bernhard's Avatar
    Joined
    Jan 2010
    From
    Hobart, Tasmania, Australia
    Posts
    559
    Thanks
    2

    Generalised Quaternion Algebra over K - Dauns Section 1-5 no 17

    In Dauns book "Modules and Rings", Exercise 17 in Section 1-5 reads as follows: (see attachment)

    Let K be any ring with  1 \in K whose center is a field and  0 \ne x, 0 \ne y \in  center K any elements.

    Let I, J, and IJ be symbols not in K.

    Form the set K[I, J] = K + KI + KJ + KIJ of all K linear combinations of {1, I, J, IJ}.

    Show that K[I,J] becomes an associative ring under the following multiplication rules:

      I^2 = x, J^2 = y, IJ= -JI, cI = Ic, cJ = Jc, cIJ = IJc   for all  c \in K

    (K[I, J] is called a generalised quaternion algebra over K)

    ------------------------------------------------------------------------------------------

    I am somewhat overwhelmed by this problem and its notation.

    Can someone please help me get started?

    Peter
    Last edited by Bernhard; August 12th 2013 at 04:48 PM.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Super Member Bernhard's Avatar
    Joined
    Jan 2010
    From
    Hobart, Tasmania, Australia
    Posts
    559
    Thanks
    2

    Re: Generalised Quaternion Algebra over K - Dauns Section 1-5 no 17

    Quote Originally Posted by Bernhard View Post
    In Dauns book "Modules and Rings", Exercise 17 in Section 1-5 reads as follows: (see attachment)

    Let K be any ring with  1 \in K whose center is a field and  0 \ne x, 0 \ne y \in  center K any elements.

    Let I, J, and IJ be symbols not in K.

    Form the set K[I, J] = K + KI + KJ + KIJ of all K linear combinations of {1, I, J, IJ}.

    Show that K[I,J] becomes an associative ring under the following multiplication rules:

      I^2 = x, J^2 = y, IJ= -JI, cI = Ic, cJ = Jc, cIJ = IJc   for all  c \in K

    (K[I, J] is called a generalised quaternion algebra over K)

    ------------------------------------------------------------------------------------------

    I am somewhat overwhelmed by this problem and its notation.

    Can someone please help me get started?

    Peter
    I have now reflected on this problem and received some help from Deveno.

    However I still need some help.

    My further thoughts are as follows:

    K is a ring with 1. Center of ring K is a field

    I, J and IJ are symbols not in K (???)

    The set K[I, J] = K + KI + KJ = KIJ is the set of all K-linear combinations of {1, I , J, IJ}

    So now let  a, b \in K and let

     X = a + aI + aJ + aIJ \in K[I, J]

    and

     Y = b + bI + bJ + bIJ \in K[I, J]

    But if K[I, J] is an associative ring then we must have X+Y = Y + X

    ie we need

     a + aI + aJ + aIJ + b + bI + bJ + bIJ = b + bI + bJ + bIJ + a + aI + aJ + aIJ

    But ???

    How do we manipulate these expressions ie how do we manipulate the the aI, bI, aJ, bJ, ... etc

    We know how to manipulate field or ring elements but these are field elements 'times' symbols not in K

    Can anyone clarify this situation for me

    Peter
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 2
    Last Post: August 12th 2013, 03:53 PM
  2. Quaternion, -j * k = 0?
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: September 24th 2012, 01:34 PM
  3. Is this the Quaternion group?
    Posted in the Discrete Math Forum
    Replies: 0
    Last Post: December 1st 2011, 07:23 AM
  4. Quaternion
    Posted in the Advanced Algebra Forum
    Replies: 7
    Last Post: September 26th 2011, 06:38 PM
  5. [SOLVED] quaternion algebra
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: August 29th 2011, 11:02 AM

Search Tags


/mathhelpforum @mathhelpforum