My Math Forum  

Go Back   My Math Forum > College Math Forum > Abstract Algebra

Abstract Algebra Abstract Algebra Math Forum

LinkBack Thread Tools Display Modes
September 11th, 2012, 09:17 AM   #1
Senior Member
Joined: Nov 2011

Posts: 100
Thanks: 0

Show R (comm. domain) over a field k is a field if dimR<inft

I'm working on the following problem:

If , where is a field, and is a commutative domain with , then is a field and is algebraic.

Since is already a commutative domain, I need only show every nonzero element of has a multiplicative inverse in . So, take any nonzero element . If , I'm done, so say . As , I think this means I can think of as , for some (?). If this is so, , for . But then, using the fact that is a domain, I seem to obtain that , implying that , which I don't feel is correct.

Any suggestions or hints of what I'm missing? Thanks!
watson is offline  
September 14th, 2012, 09:07 PM   #2
Senior Member
Joined: Mar 2012

Posts: 294
Thanks: 88

Re: Show R (comm. domain) over a field k is a field if dimR<

first of all, note R is, in fact, a vector space over k:

(R,+) is clearly an abelian group (since R is a ring).

for a in k, and r in R, we can define a.r = ar (the LHS is the scalar multiplication in the vector space, the RHS is the product in the ring R).

(a+b).r = (a+b)r = ar + br = a.r + b.r (since a ring satisfies the distributive laws).

a.(r+s) = a(r+s) = ar + as = a.r + a.s

a.(b.r) = a.(br) = a(br) = (ab)r = (ab).r (since the product in a ring is associative).

1.r = 1r = r

now suppose r ? 0 in R, with dim_k(R) = n. then the set {1,r,r^2,...,r^n} is linearly dependent, so:

c0 + c1r + c2r^2 +...+cnr^n = 0 for some {c0,c1,...,cn} where not all the cj are 0. let m = max{j: cj ? 0}.

then r satisfies the polynomial:

p(x) = c0 + c1x + c2x^2 +...+ cmx^m

so r is algebraic over k. therefore there is a monic polynomial of least degree, m(x), for which m(r) = 0.

i claim that m(x) is irreducible in k[x]. for suppose not:

m(x) = f(x)g(x) where deg(f),deg(g) < deg(m).

then 0 = m(r) = f(r)g(r), and since R is a domain, either f(r) = 0, or g(r) = 0, contradicting the minimal degree of m(x).

i further claim that the constant term of m(x) is non-zero, for if not then x is a factor of m(x), contradicting the irreducibilty of m(x).

so we have:

c0 + c1r +...+c(t-1)r^(t-1) + r^t = 0 (where t = deg(m)), and c0 ? 0.


1 = -(c1/c0)r - (c2/c0)r^2 -....- (c(t-1)/c0)r^(t-1) - r^t = r[-(c1/c0) - (c2/c0)r -...- (c(t-1)/c0)r^(t-2) - r^(t-1)],

which show r is a unit, thus R is a field.
Deveno is offline  

  My Math Forum > College Math Forum > Abstract Algebra

comm, dimr<inft, domain, field, show

Thread Tools
Display Modes

Similar Threads
Thread Thread Starter Forum Replies Last Post
does cyclic field implies Galois field rayman Abstract Algebra 1 March 11th, 2014 03:27 PM
A finite integral domain is a field. Taladhis Abstract Algebra 5 January 13th, 2013 12:19 AM
Fin. gen field extension -> intermediate field f.g. also? watson Abstract Algebra 1 September 20th, 2012 06:53 PM
Every quadratic field is contained in a cyclotomic field brunojo Abstract Algebra 0 June 5th, 2009 06:25 PM
A finite integral domain is a field. Taladhis Algebra 0 December 31st, 1969 04:00 PM

Copyright © 2018 My Math Forum. All rights reserved.