This preview shows pages 1–2. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: PACIFIC JOURNAL O F MATHEMATICS Vol. 18, N o. 2, 1966 EVERY ABELIAN GROUP IS A CLASS GROUP LUTHER CLABORN Let T be the set of minimal primes of a K rull domain A. If S is a subset of T 9 we form B = n A P for PeS and study the relation of the class group of B to that of A. We find that the class group of B is always a homomorphic im age of that of A. We use this type of construction to obtain a K rull domain with specified class group and then alter such a K rull domain to obtain a Dedekind domain with the same class group. Let A be a Krull domain with quotient field K. Thus A is an intersection of rank 1 discrete valuation rings; and if x e K, x is a unit in all but a finite number of these valuation rings. If P is a minimal prime ideal of A, then A P is a rank 1 discrete valuation ring and must occur in any intersection displaying A as a Krull domain. In fact, if T denotes the set of minimal prime ideals of A, then A = OPΘΓAP displays A as a Krull domain. Choose a subset S of T (S Φ 0 ) and form the domain B — Γ\pesA p . It is immediate that B is also a Krull domain which contains A and has quotient field K. If one of the A P were eliminable from the intersection representing B, it would also be eliminable from that representing A. Thus the A P for PeS are exactly the rings of the type B Q , where Q is a minimal prime ideal of B. If Q is minimal prime ideal of B, then Q Π A = P for the P e S such that B Q = A P . Let A and B be generic labels throughout this paper for a Krull domain A and a Krull domain B formed from A as above. We recall that the valuation rings A P are called the essential valuation rings, and we will denote by V P the valuation of A going with A P . We summarize and add a complement to the above. PROPOSITION 1. With A and B as above, B is a Krull domain containing A, and the A P for PeS are the essential valuation rings of JB. Every ring B is of the form A M for some multiplicative set M if and only if the class group of A is torsion. P roof. Everything in the first assertion has been given above. Suppose the class group of A is torsion; then for each Q* in T — S choose an integer n t such that QW is principal, say Q\ ni) ~ As t ....
View Full Document
This note was uploaded on 12/03/2011 for the course MATH 8430 taught by Professor Clark during the Fall '11 term at University of Georgia Athens.
- Fall '11