#1
Feb1204, 03:15 PM

P: n/a

Hello,
I am currently taking course on an introduction to ring theory and I am having problems understanding what a isomorphism is. I can't follow the definition in Schuam's Outlines for isomorphism and the definition that was given in my lecture was brief and vague. If anyone can tell me: First what is an isomorphism between two systems? (An algerbraic system being defined as a set S together with any relations and operations defined on S). Secondly, how can I identify if two systems are isomorphic? Any help is appreciated. Thankyou. 



#2
Feb1204, 03:22 PM

Sci Advisor
HW Helper
P: 9,398

Firstly, let S and T be two sets. Just sets. A BIJECTION is...?
Now, if you've two sets with more structure an isomorphism is a bijection on the sets that preserves this structure. so in a ring, you have an additive group, and a multiplication. that's the structure we care about. actually, first let us know if you know about bijections. we'll go from there 


#3
Feb1204, 04:02 PM

P: n/a

Hello matt,
There hasn't been any mention of bijections yet. In fact I haven't heard of that term to date. As well, the definition of isomorphism in Schaums occurs long before the definitions of rings or fields. Is it possible to explain isomorphism without reference to rings, fields or bijections? Thanks for taking an interest by the way. Perhaps I will elaborate a little more. Schaums has a precursor to the definition of iosmorphism between to sets. I didn't follow it very well after several readings. But here is what I have been given in class and what schaums states: To show that there is an isomorphism between to sets, my prof states that we should demonstrate the the mapping is one to one, onto, and something else I do not follow. 



#4
Feb1204, 04:20 PM

Sci Advisor
HW Helper
P: 9,398

What are Isomorphisms
isomorphism is contextual, a ring isomorphism preserves the structure of a ring, a field isomorphism preserves the field structure and so on. So, you see, one cannot define an iso of rings without rings.
The first thing to do is to define a homomorphism (homo same, iso equal) a map, f, from a ring S to a ring T is a homomorphism if f(x+y)= f(x) + f(y) f(x) =f(x) f(xy)=f(x)f(y) so it sends sums to sums, additive inverses to additive inverses and products to products, that is what one means by preserving structure. It is an ISOmorphism if it has an inverse. Better perhaps if you know about injections (f(x)=f(y) iff x=y) and surjections (for all z in T there is an x in S with f(x)=z). An isomorphism needs to be an injection and a surjection. simple examples. let S be the integers mod 4, that is the set 0,1,2,3 with additon and multiplication taken modulo 4 and T by the integers mod 2). Then there is a homomorphism from S to T just by sending 0 to 0, 1 to 1, 2 to 0 3 to 1. check it by hand. this is not an isomorphism cos 0 and 2 get sent to the same thing. have you any explicit examples you want to discuss? 



#5
Feb1204, 04:32 PM

Sci Advisor
HW Helper
P: 9,398

from your edited post....
a map f from sets X to T is a bijection if for every t in T there is an x in X with f(x)=t (this can be thought of as covering) AND this x is unique, that is no two distinct elements of X get sent to the same thing. a map which covers is a surjection (french, sur) an injection is map where distinct elements are sent to distinct elements (not especially french) 


#6
Feb1204, 04:39 PM

P: n/a

Yes. Perhaps I will give you a question that we did but I didn't follow:
Let gamma be a mapping of (N,+) > (M,+) with (n)gamma = 2n which is an element of M = {2x  x is an element of N} is an isomorphism. The prof. then goes on to show one to one and onto. Which I get. Then he goes on with the third part which I don't follow: (n + n')gamma = (n+n')2 = n2 + n'2 = ngamma + n'gamma where (n + n')gamma is addition in N and ngamma + n'gamma is addition in M. So what is my prof doing here? Is he proving that the binary op which is valid in the set N is also valid in the set M? If that is the case, then to show isomorphism between two sets do I have to show that the mapping is one to one, onto, and that the binary op in the set N is valid in the set M to which N is mapped to? 



#7
Feb1204, 04:54 PM

Sci Advisor
HW Helper
P: 9,398

OK so you've got a bijection on the sets, it now suffices to show that the map preserves the structure of the operation
so that would mean, for x and y in N that f(x+y)=f(x)+f(y) (we assume the addition operation to be understood to be in the relevant ring) ie 2(x+y) = 2x+2y on the left addition inside N, on the right addition inside M [it might be confusing because the operation in M is that inherited from N considering M to be inside N.] here's a harder example to see how you are going, because the operations will be different show that 1,2 with mult. defined mod 3 is 'the same as' the set 0,1 with addition mod 2 



#8
Feb1204, 05:00 PM

Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 38,886

f(a.b)= f(a)*f(b) where . is the operation in one set and * is the operation in the other set. Here's a simple example. The set of all real numbers is a group with the operation of addition. The set of all positive real numbers is a group with the operation of multiplication. for every real number, x, define f(x)= e^{x}. That is an isomorphism from one group to the other. It is onto: if y is any positive real number, then take x= ln(y): y= e^{x}. It is onetoone: if e^{x}= e^{z} then, taking ln of both sides x= z. Finally f(x+y)= e^{x+y}= e^{x}.e^{y}= f(x).f(y). Although that is enough to prove this is an isomorphism, it then follows that f(0)= 1 (an isomorphism always take the identity of one structure into the identity of the other) and the f(x)= 1/f(x) (an isomorphism always take inverses into inverses). 



#9
Feb1304, 04:57 PM

P: 1,572

for rings of finite size (or infinite size) they are isomorphic if they have the same addition and multiplication tables just with different symbols. like if i have one addition table with a, b, c, d and convert that to the same table with differnent letters, a', b', c', and d', and perform the same conversion for the multiplication table, then the two rings are isomorphic. my prof. used to say "if you paint all the elements a different color ten they're isomorphic." the specific function that does this is like the paint brush.




#10
Feb1304, 05:40 PM

Sci Advisor
HW Helper
P: 2,538

A group isomorphism is a bijection (onetoone and onto) that sends products to products. Two groups are said to be isomorphic if there is an isomorphism between them. For example, S[sub]3[/tex] is isomorphic to D[sub]3[/tex].
A ring isomorphism is a bijection that sends sums to sums and products to products. 



#11
Feb1504, 08:36 AM

Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 38,886

Two algebraic structures (group, field, vector space, ring, etc.) are isomorphic if and only if the are exactly the same except that they use different "names" for the elements (and possibly different symbols for the operations). The "isomorphism function" just associates the "same" object with a different name. As phoenixthoth's prof would say: they are exactly the same except that ones painted red and the other is painted blue! 


Register to reply 
Related Discussions  
Can isomorophisms be really random?  Linear & Abstract Algebra  2  
isomorphisms  Calculus & Beyond Homework  1  
How do I find an isomorphism between Sn+m and Zn x Zm?  Linear & Abstract Algebra  4  
clearly explain Isomorphisms  Linear & Abstract Algebra  1  
Prove Beta is an isomorphism of groups  Linear & Abstract Algebra  3 