Hey there! Sign in to join this conversationNew here? Join for free
x Turn on thread page Beta
    • Thread Starter
    Offline

    0
    ReputationRep:
    Hi,

    For a finite field isomorphism can one use the result that two fields of order p are isomorphic or does one have to construct a specific bijective map?

    Thanks for any help.
    Offline

    13
    ReputationRep:
    (Original post by DennisC)
    Hi,

    I'm trying to show a subring,  R= \{aT+bI: a,b \in mod5\} , (T is a matrix in mod 5 and I is the 2x2 Identity if mod 5) of the set of 2x2 matrices mod5 is isomorphic to GF(25). I know that this subring has 25 elements the same as GF(25). Is it then sufficent to show that the subring has multiplicative inverses for all non-zero elements, to show that it is isomorphic, or do I have to define a mapping and show it's a bijective homomorphism still?

    If it's the latter I'm not really sure what type of mapping to use...

    If the former why is this approach ok to use?

    Thanks for any help.
    I presume that you are trying to show that R is isomorphic as a field to GF(25) = GF(5^2). If so, then recall that a finite field of order q is unique up to isomorphism. Hence if you show that R is a field, you are done. However, if you are doing this as an exercise for a course, it would be as well to check that you are allowed to assume the result on uniqueness of fields! Otherwise you had better do it the hard way (finding an explicit isomorphism).
    • Thread Starter
    Offline

    0
    ReputationRep:
    (Original post by Gregorius)
    I presume that you are trying to show that R is isomorphic as a field to GF(25) = GF(5^2). If so, then recall that a finite field of order q is unique up to isomorphism. Hence if you show that R is a field, you are done. However, if you are doing this as an exercise for a course, it would be as well to check that you are allowed to assume the result on uniqueness of fields! Otherwise you had better do it the hard way (finding an explicit isomorphism).
    I thought that to be the case thanks. If I do have to do it the had way, do you have any insights into what type of mapping to use, I was initally thinking something like the Frobenius mapping, but not really sure it would work...
    Offline

    13
    ReputationRep:
    (Original post by DennisC)
    If I do have to do it the had way, do you have any insights into what type of mapping to use?
    Ug, I'd have to think about this. In the definition of R, what is T?
    • Thread Starter
    Offline

    0
    ReputationRep:
    (Original post by Gregorius)
    Ug, I'd have to think about this. In the definition of R, what is T?
    Don't worry I'll just use the result of finite fields.
 
 
 
Reply
Submit reply
Turn on thread page Beta
Updated: November 8, 2015
Poll
Do you like carrot cake?
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.