1 Attachment(s)

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 whose center is a field and 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:

for all

(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

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

Quote:

Originally Posted by

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

Let K be any ring with

whose center is a field and

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:

for all

(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 and let

and

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

ie we need

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