Hey there! Sign in to join this conversationNew here? Join for free
    • Thread Starter
    Offline

    5
    ReputationRep:
    Name:  ImageUploadedByStudent Room1456703220.269862.jpg
Views: 105
Size:  20.2 KB

    ^
    Ok, I've done the first part but I'm having trouble with showing that f is an isomorphism of rings??


    Posted from TSR Mobile
    Offline

    22
    ReputationRep:
    (Original post by maths10101)
    Name:  ImageUploadedByStudent Room1456703220.269862.jpg
Views: 105
Size:  20.2 KB

    ^
    Ok, I've done the first part but I'm having trouble with showing that f is an isomorphism of rings??


    Posted from TSR Mobile
    What trouble are you having exactly? f is a ring isomorphism if it is bijective and

    f(x+ y) = f(x) + f(y) and f(xy) = f(x)f(y) for all x, y \in R.

    Which part in the proof is tripping you up?

    This is my last post before bed, so hopefully someone else will reply to you.
    • Thread Starter
    Offline

    5
    ReputationRep:
    (Original post by Zacken)
    What trouble are you having exactly? f is a ring isomorphism if it is bijective and

    f(x+ y) = f(x) + f(y) and f(xy) = f(x)f(y) for all x, y \in R.

    Which part in the proof is tripping you up?

    This is my last post before bed, so hopefully someone else will reply to you.
    yeah that part is fine...but how do you show that a function of such is bijective?
    Offline

    22
    ReputationRep:
    (Original post by maths10101)
    yeah that part is fine...but how do you show that a function of such is bijective?
    Not quite sure about this - somebody jump in and correct me, but have you covered ideals and kernels? If so, that should let you prove the function is injective.
    Offline

    13
    ReputationRep:
    (Original post by Zacken)
    Not quite sure about this - somebody jump in and correct me, but have you covered ideals and kernels? If so, that should let you prove the function is injective.
    Yup, showing that the kernel is trivial is a good move.
    Offline

    22
    ReputationRep:
    (Original post by Gregorius)
    Yup, showing that the kernel is trivial is a good move.
    Thanks for the reassurance.
    Offline

    20
    ReputationRep:
    Pretty advanced for year 9...
    Offline

    22
    ReputationRep:
    (Original post by morgan8002)
    Pretty advanced for year 9...
    Crazy curriculum changes.
    Offline

    9
    ReputationRep:
    Assuming you've shown \displaystyle f is a homomorphism then take two distinct elements in your subring which is \displaystyle M_2(\mathbb{R}) with some extra conditions on the elements of the matrix.

    A general element of your subring looks like \displaystyle \begin{pmatrix}a & b\\ -b & a\end{pmatrix}.

    Consider where they are mapped to under \displaystyle f is it possible for the two elements to get mapped to the same element in \displaystyle \mathbb{C} and still be distinct? ... Conclude \displaystyle f is injective.

    I think this a more "direct approach" alternatively note that \displaystyle f is injective if and only if \displaystyle \text{ker}(f) is trivial. So you could show that the only element that gets mapped to the zero in the complex numbers under f is in fact the zero of your subring.

    Pick an arbitrary element in \displaystyle \mathbb{C} can you find a matrix in your subring that gets maps to your arbitrary complex number under \displaystyle f? ... Conclude \displaystyle f is surjective.

    Hence \displaystyle f is a homomorphism and bijective so \displaystyle f is indeed a isomorphism.
    • Thread Starter
    Offline

    5
    ReputationRep:
    (Original post by poorform)
    Assuming you've shown \displaystyle f is a homomorphism then take two distinct elements in your subring which is \displaystyle M_2(\mathbb{R}) with some extra conditions on the elements of the matrix.

    A general element of your subring looks like \displaystyle \begin{pmatrix}a & b\\ -b & a\end{pmatrix}.

    Consider where they are mapped to under \displaystyle f is it possible for the two elements to get mapped to the same element in \displaystyle \mathbb{C} and still be distinct? ... Conclude \displaystyle f is injective.

    I think this a more "direct approach" alternatively note that \displaystyle f is injective if and only if \displaystyle \text{ker}(f) is trivial. So you could show that the only element that gets mapped to the zero in the complex numbers under f is in fact the zero of your subring.

    Pick an arbitrary element in \displaystyle \mathbb{C} can you find a matrix in your subring that gets maps to your arbitrary complex number under \displaystyle f? ... Conclude \displaystyle f is surjective.

    Hence \displaystyle f is a homomorphism and bijective so \displaystyle f is indeed a isomorphism.

    Thanks mate, a lot of help that has had!
 
 
 
Poll
Do you agree with the PM's proposal to cut tuition fees for some courses?
Useful resources

Make your revision easier

Maths

Maths Forum posting guidelines

Not sure where to post? Read the updated guidelines here

Equations

How to use LaTex

Writing equations the easy way

Student revising

Study habits of A* students

Top tips from students who have already aced their exams

Study Planner

Create your own Study Planner

Never miss a deadline again

Polling station sign

Thinking about a maths degree?

Chat with other maths applicants

Can you help? Study help unanswered threads

Groups associated with this forum:

View associated groups

The Student Room, Get Revising and Marked by Teachers are trading names of The Student Room Group Ltd.

Register Number: 04666380 (England and Wales), VAT No. 806 8067 22 Registered Office: International House, Queens Road, Brighton, BN1 3XE

Write a reply...
Reply
Hide
Reputation gems: You get these gems as you gain rep from other members for making good contributions and giving helpful advice.