Results 1 to 3 of 3
Like Tree1Thanks
  • 1 Post By Deveno

Math Help - ring theory: finite domain

  1. #1
    Newbie
    Joined
    Mar 2012
    From
    scotland
    Posts
    3

    ring theory: finite domain

    Hi iv been working through a couple questions in to do with ring theory and i'm stuck on one relating to finite domains.

    Question: Prove that every finite domain contains an identity element

    I have a solution to this but am not sure if i'm going about it the right way mainly because I am slightly unclear on the definition of a finite domain compared with a finite integral domain.

    my solution is:
    define a function f:R to R with f(x)=xy

    then f(x) = f(a) which implies that y(a-x)=0.

    since y not equal to 0, a=x. Thus f is injective and because it is finite on f:R to R so it must also be surjective.
    Therefore there exists w in R such that f(w)= yw = 1R

    any advice you can give me is aprreciated even if it is just clearing up my definitions on things

    (I tried putting this in using latex but could not get it working)
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Mar 2011
    From
    Tejas
    Posts
    3,328
    Thanks
    702

    Re: ring theory: finite domain

    some things to clean up: first, assume R is NOT the 0-ring (because that IS a domain, because there are no zero-divisors, indeed no non-zero elements).

    then we have a ≠ 0 in R. then we can define f:R to R by f(r) = ar, and f is not the 0-map, since aa ≠ 0 (because R is a domain).

    as you have it, we then know that if f(r) = f(s), then ar = as, so ar - as = 0, so a(r - s) = 0, thus r - s = 0, so r = s.

    since R is assumed finite, f injective = f bijective. so there is some w in R with f(w) = a.

    now, prove that w must be the identity of R (you'll need to use commutativity of R).
    Thanks from mash
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Mar 2012
    From
    scotland
    Posts
    3

    Re: ring theory: finite domain

    cheers for the help think I can finish it from here
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Ring, Integral Domain
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: May 15th 2011, 01:12 PM
  2. [SOLVED] a question on a finite local ring
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: June 30th 2010, 08:51 AM
  3. [SOLVED] the cardinal number of a finite local ring
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: May 30th 2010, 04:55 AM
  4. Finite ring question.
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: March 15th 2009, 08:26 PM
  5. finite ring with an odd number of invertible elements
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: October 28th 2008, 10:36 AM

Search Tags


/mathhelpforum @mathhelpforum