# divisor theory

## Primary tabs

Defines:
divisor, prime divisor, principal divisor, unit divisor
Keywords:
prime factorization
Major Section:
Reference
Type of Math Object:
Definition

## Mathematics Subject Classification

11A51 Factorization; primality
13A05 Divisibility; factorizations

### examples of divisor theory

Divisor theory looks very interesting. Do you have any examples of domains having a divisor theory which aren't PIDs or Dedekind domains?
Z[X] is a UFD, but not a PID, so prime factorization in Z[X] is not a valid divisor theory. Does it have one?

### Re: examples of divisor theory

Dear gel,
I cannot answer to your question -- about forty years have run after I studied the divisors. I took the material of my divisor entries from my old study work, from Postnikov's little book and from Borewicz--Shafarevic. Perhaps in some exercises of the latter, you can find some examples you want.
(Cf. http://planetmath.org/encyclopedia/ImageIdealOfDivisor.html)
Regards,
Jussi

### Re: examples of divisor theory

in fact, why isn't factorization in Z[X] a divisor theory? It seems to satisfy the requirements 1-3 listed in this entry, but all divisors are principal, which would contradict Theorem 2 that such domains are PIDs. Did I miss something here?

### Re: examples of divisor theory

Theorem 2 says that such domains are UFD's, not PID's.

### Re: examples of divisor theory

Sorry, I misread it. So factorization in Z[X] is a valid divisor theory.

### Re: examples of divisor theory

ok, I don't have those books, but now my confusion over Z[X] is sorted out, I think R[X] for R the ring of integers in a number field will have a division algebra but isnt a UFD or Dedekind domain in all cases.

### Re: examples of divisor theory

You certainly find the books at library. I recommend Borewicz--Shafarevic!