Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

By definition, is a unit considered an irreducible?

  1. Dec 13, 2007 #1
    Just need a yes or no.
     
  2. jcsd
  3. Dec 13, 2007 #2

    Integral

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    You need to define your terms.
     
  4. Dec 13, 2007 #3
    I'm speaking of units and irreducibles in integral domains.
     
  5. Dec 13, 2007 #4

    Integral

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    OK, so you have added an new term, and stil no definitions. ????
     
  6. Dec 13, 2007 #5

    mathwonk

    User Avatar
    Science Advisor
    Homework Helper
    2015 Award

    no, but one word answers are frustratingly not allowed here. so i had to enter it thrice.
     
    Last edited: Dec 14, 2007
  7. Dec 13, 2007 #6
    In an integral domain, a unit is an element that has an inverse in the integral domain, that is when they are multiplied together, they give 1.

    An irreducible is an element of an integral domain that cannot be factored without one of its factor being a unit.

    For example when the integral domain in question are the integers, the units are -1 and 1 and the irreducibles are the primes.
     
  8. Dec 13, 2007 #7

    Gib Z

    User Avatar
    Homework Helper

    I would say your last line confirms the answer no, since -1 and 1 are not primes.
     
  9. Dec 13, 2007 #8

    morphism

    User Avatar
    Science Advisor
    Homework Helper

    I think the confusion resulted from the definition of "irreducible". This adjective is exclusive to non-units (and nonzero elements!); see for example the PlanetMath page.
     
    Last edited: Dec 13, 2007
  10. Dec 14, 2007 #9

    mathwonk

    User Avatar
    Science Advisor
    Homework Helper
    2015 Award

    yes werg omitted the part about an irreducible being a non unit.

    in general think of how you want to understand a domain: you want to know how it differs from a field.
    so first basic question: what are all the units?

    second question: what are all the non units? hopefully there is some way to organize the non units, and one basic way is to define irreducibles, then hope to factor other elements into those.

    so to undertstand non units we define irreducibles.

    then we try to prove that under various simple hypotheses we can factor every non unit into irreducibles (e.g. noetherian domain)

    then we hope for some uniqueness statement. obviously anything can be factored by any unit, so any uniqueness statement must akllow for this non uniqueness due to units.

    sow ,e hope for a statement that factorization into irreducibles not only exists, but is unique except for an equivalence relation where multiplying by a unit is considered leaving things equivalent.

    so we break the domain into two disjoint sets, units and non units. then the group of units acts on the multiplicatively closed set of non units.


    we consider elements of the same the equivalence class as "associates". then we try to factor non units into irreducibles, uniquely up to associates, which is not always possible.

    i believe it is possible if the domain is noetherian, and it is possible to define gcd's of any two elements.

    so a key concept is that of a gcd.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?



Similar Discussions: By definition, is a unit considered an irreducible?
  1. Units (Replies: 13)

Loading...