Exercises 18.4 Exercises
2.
3.
4.
5.
6.
7.
Let be a field.
- Prove that the field of fractions of
denoted by is isomorphic to the set all rational expressions where is not the zero polynomial. - Let
and be polynomials in Show that the set of all rational expressions is isomorphic to the field of fractions of We denote the field of fractions of by
8.
Let be prime and denote the field of fractions of by Prove that is an infinite field of characteristic
9.
10.
A field is called a prime field if it has no proper subfields. If is a subfield of and is a prime field, then is a prime subfield of
- Prove that every field contains a unique prime subfield.
- If
is a field of characteristic 0, prove that the prime subfield of is isomorphic to the field of rational numbers, - If
is a field of characteristic prove that the prime subfield of is isomorphic to
11.
12.
Let be a UFD. An element is a greatest common divisor of and in if and and is divisible by any other element dividing both and
- If
is a PID and and are both nonzero elements of prove there exists a unique greatest common divisor of and up to associates. That is, if and are both greatest common divisors of and then and are associates. We write for the greatest common divisor of and - Let
be a PID and and be nonzero elements of Prove that there exist elements and in such that
13.
Let be an integral domain. Define a relation on by if and are associates in Prove that is an equivalence relation on
14.
15.
16.
Show that is not a unique factorization domain.
17.
Prove or disprove: Every subdomain of a UFD is also a UFD.
18.
An ideal of a commutative ring is said to be finitely generated if there exist elements in such that every element in the ideal can be written as for some in Prove that satisfies the ascending chain condition if and only if every ideal of is finitely generated.
19.
Let be an integral domain with a descending chain of ideals Suppose that there exists an such that for all A ring satisfying this condition is said to satisfy the descending chain condition, or DCC. Rings satisfying the DCC are called Artinian rings, after Emil Artin. Show that if satisfies the descending chain condition, it must satisfy the ascending chain condition.
20.
Let be a commutative ring with identity. We define a multiplicative subset of to be a subset such that and if
- Define a relation
on by if there exists an such that Show that is an equivalence relation on - Let
denote the equivalence class of and let be the set of all equivalence classes with respect to Define the operations of addition and multiplication on byrespectively. Prove that these operations are well-defined on and that is a ring with identity under these operations. The ring is called the ring of quotients of with respect to - Show that the map
defined by is a ring homomorphism. - If
has no zero divisors and show that is one-to-one. - Prove that
is a prime ideal of if and only if is a multiplicative subset of - If
is a prime ideal of and show that the ring of quotients has a unique maximal ideal. Any ring that has a unique maximal ideal is called a local ring.