Turn on thread page Beta
    • Thread Starter
    Offline

    8
    ReputationRep:
    I am trying to show that
    F := {a + b∛7+ c(∛7)^2 : a,b,c ∈Q} is a subfield of the reals using the subfield criterion. I have done all of it apart from showing that is as multipication inverses also in F and wondered if anyone could help?

    Thank you in advance.
    Offline

    15
    ReputationRep:
    (Original post by mollyjordansmith)
    I am trying to show that
    F := {a + b∛7+ c(∛7)^2 : a,b,c ∈Q} is a subfield of the reals using the subfield criterion. I have done all of it apart from showing that is as multipication inverses also in F and wondered if anyone could help?

    Thank you in advance.
    Try writing

    1/(a + b∛7+ c(∛7)^2) = A + B∛7+ C(∛7)^2

    Multiply up and then compare coefficients.
    Offline

    15
    ReputationRep:
    (Original post by mollyjordansmith)
    Thank you!
    From doing this I have got:
    Aa+7Bc+7Cb=1
    Ab+Ba+7Cc=0
    Ac+Bb+Ca=0

    and I am unsure how to solve this system for A,B and C
    This is a linear system in A,B,C - can you show it's uniquely solvable?
    Offline

    18
    ReputationRep:
    Alternatively, consider F as a vector space over Q. Given non-zero x in F, multiplication by x defines a linear map on the vector space. What's the kernel of x? So, by rank-nullity, what's the image? Deduce 1 is in the image and so x has an inverse in F.
    Offline

    18
    ReputationRep:
    (Original post by mollyjordansmith)
    Just to confirm, I would have a linear map going from F\{0} to F\{0} and will have that the kernel of the map is empty?
    F \ {0} isn't a vector space.

    It's a linear map from F to F. The kernel won't *quite* be empty.

    (You may need to review your vector space material if this is confusing - it's all very standard stuff).
    Offline

    15
    ReputationRep:
    (Original post by DFranklin)
    Alternatively, consider F as a vector space over Q. Given non-zero x in F, multiplication by x defines a linear map on the vector space. What's the kernel of x? So, by rank-nullity, what's the image? Deduce 1 is in the image and so x has an inverse in F.
    Yes, this is a much smarter was of doing this having had a look at the determinant of the linear system I suggested.That there are no zero-divisors means you can work out this kernel.
    • Thread Starter
    Offline

    8
    ReputationRep:
    (Original post by DFranklin)
    F \ {0} isn't a vector space.

    It's a linear map from F to F. The kernel won't *quite* be empty.

    (You may need to review your vector space material if this is confusing - it's all very standard stuff).
    Yes sorry a bit of confusion there.
    But I can conclude that dim(Ker)=0?
    Offline

    18
    ReputationRep:
    (Original post by mollyjordansmith)
    Yes sorry a bit of confusion there.
    But I can conclude that dim(Ker)=0?
    Yes, but you should have at least a few words of justification IMHO.
    Offline

    14
    ReputationRep:
    (Original post by DFranklin)
    ...
    I might be missing something but how is showing that the kernel of the multiplication map is only the zero vector any easier than what was initially asked for? As far as I can see it seems to boil down to the same set of equations but with all zeroes instead of a one
    Offline

    18
    ReputationRep:
    (Original post by silentshadows)
    I might be missing something but how is showing that the kernel of the multiplication map is only the zero vector any easier than what was initially asked for? As far as I can see it seems to boil down to the same set of equations but with all zeroes instead of a one
    Because everything embeds in the reals, if X is non-zero, it's invertible (in the reals), so can't be a zero divider.
    Offline

    7
    ReputationRep:
    Hi I am currently in A levels and a friend of mine who lives in Canada sent me this. Can you help solving these please?
 
 
 
Reply
Submit reply
Turn on thread page Beta
Updated: April 4, 2018
The home of Results and Clearing

1,149

people online now

1,567,000

students helped last year

University open days

  1. Sheffield Hallam University
    City Campus Undergraduate
    Tue, 21 Aug '18
  2. Bournemouth University
    Clearing Open Day Undergraduate
    Wed, 22 Aug '18
  3. University of Buckingham
    Postgraduate Open Evening Postgraduate
    Thu, 23 Aug '18
Poll
A-level students - how do you feel about your results?
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.