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

Unique Factorization Theorem

  1. Jul 30, 2008 #1
    I am not sure I fully understand the extension of the Unique Factorization Theorem (UFT) to Gaussian Integers (GI), by saying that the representation of a GI as a product of primes is unique except for the order of factors and the presence of units.

    Is there a similar problem when the UFT is extended to integers?
    For example, -6 can be represented as -2*3 or 2*-3 or -1*2*3, or -1*-2*-3.
    Last edited: Jul 30, 2008
  2. jcsd
  3. Jul 30, 2008 #2


    User Avatar
    Science Advisor

    I am very confused by your question! The "Unique Factorization Theorem" extended to Gaussian integers? The "Unique Factorization Theorem" does not hold for the Gaussian integers: there exist distinct factorizations of some Gaussian integers. I can't think of an example offhand but I don't think it is terribly difficult.
  4. Jul 30, 2008 #3
    I was reading W.J. LeVeque's Elementary Theory of Numbers. Theorem 6-8 says what I said.
  5. Jul 30, 2008 #4


    User Avatar
    Science Advisor
    Homework Helper

    A nonzero (rational) integer has a unique factorization up to order and the presence of units (1 and -1).

    Gaussian integers similarly have unique factorization up to order and units (1, i, -1, -i). Gaussian integers factor 'further' then rational integers, though: 2 is a prime rational integer, but 2 = (1 + i)(1 - i) in the Gaussian integers.

    Most Z[sqrt(n)] do not have unique factorization, though.
  6. Jul 30, 2008 #5
    Eh?? The Gaussian integers are a Euclidean domain, so of course they're a ufd
  7. Jul 30, 2008 #6


    User Avatar
    Science Advisor
    Homework Helper

    Hush, Halls was thinking of [itex]\mathbb{Z}[\sqrt{-5}][/itex].
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Threads - Unique Factorization Theorem Date
Unique factorization over fields/rings Jan 28, 2015
Trouble setting up to prove unique factorization Aug 16, 2014
Unique factorization domain Apr 25, 2011
Unique Factorization Nov 7, 2010
Product of unique prime factors Nov 24, 2009