logo back up home forward   further reading more topics »

Maths - Isomorphism Examples

Here we look at some examples to see if they are isomorphisms, that is, does:

φ(v1) o φ(v2) = φ(v1 o v2)

where:

isomorphiism

Example 1 vector addition with mapping = shift of origin

vector addition shift

With mapping φ between vector additions of fixed offset Vs so each vector is transformed by:

φ(V) = V + Vs

This is not an isomorphism since:

(V1 + Vs) + (V2 + Vs) ≠ (V1 + V2) + Vs

however:

(V1 + Vs) + (V2) = (V1 + V2) + Vs

so if we treat V2 as an offset and don't transform it then the equation matches.

Example 2 vector addition with mapping = scaling

vector addition scale

With mapping φ between vector spaces of scalar multiplication by M so each vector is transformed by:

φ(V) = M*V

This is an isomorphism since:

V1*M + V2*M = (V1 + V2) *M

Example 3 multiplication with mapping = scaling

vector multipy scale

With mapping φ between vector additions of fixed scalar multiplication by M so each vector is transformed by:

φ(V) = M*V

This is not an isomorphism since:

V1*M * V2*M ≠ (V1 * V2) *M

So what mapping φ can we use with multipication to form an isomrphism? A common form is the 'sandwich product':

φ(v) = q v q-1

I have used q here to indicate a quaternion because the various types of vector product don't really have the correct properties. Use of the sandwich product in this way is discussed on this page.

so

φ(q1*q2) = q q1 q2 q-1
= q q1 q-1 q q2 q-1
= φ(q1)*φ(q2)

(since q-1 q =1)

So we can see that this sandwich product (conjugacy) has the right properties for an isomorphism


metadata block
see also:

 

Correspondence about this page

Book Shop - Further reading.

Where I can, I have put links to Amazon for books that are relevant to the subject, click on the appropriate country flag to get more details of the book or to buy it from them.

flag flag flag flag flag flag Contemporary Abstract Algebra written by Joseph Gallian - This investigates algebra (Groups, Rings, Fields) using an abstract (set theory) approach. It is very readable for such an abstract topic but the inclusion of 1 page histories of the great mathematicians and other background information.

 

Commercial Software Shop

Where I can, I have put links to Amazon for commercial software, not directly related to the software project, but related to the subject being discussed, click on the appropriate country flag to get more details of the software or to buy it from them.

us uk de SuSE Linux 11.2. Operating system with a wide range of applications including Open Office. A good distribution for developers as it contains KDevelop. Java, Mono, etc. Can install itself as a dual-boot system with an existing Windows OS if required. For information about installing it see this page.

 

Can you help?

Please send me any improvements to here. I would appreciate ideas to make the pages more useful including error correction, ideas for new pages, improvements to wording. It helps if you quote the full URL of the page.

 

Terminology and Notation

Specific to this page here:

 

progam

I am working on a project which uses these principles, if you would like to help me with this you are welcome to join in, here:

http://sourceforge.net/projects/mjbworld/

This site may have errors. Don't use for critical systems.

Copyright (c) 1998-2010 Martin John Baker - All rights reserved - privacy policy.