30.12.2014 Views

School of Mathematics and Statistics MT4517 Rings & Fields ...

School of Mathematics and Statistics MT4517 Rings & Fields ...

School of Mathematics and Statistics MT4517 Rings & Fields ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

<strong>School</strong> <strong>of</strong> <strong>Mathematics</strong> <strong>and</strong> <strong>Statistics</strong><br />

<strong>MT4517</strong> <strong>Rings</strong> & <strong>Fields</strong><br />

Solutions 3<br />

Solution to Exercise 3.1. Recall that a subset A <strong>of</strong> a ring R is a subring if <strong>and</strong> only if a − b ∈ A<br />

<strong>and</strong> a ∗ b ∈ A for all a, b ∈ A. Also recall that an ideal <strong>of</strong> a ring is a subring. Therefore: if a<br />

subset <strong>of</strong> a ring is not a subring, it cannot be an ideal.<br />

(i) N is not a subring (<strong>and</strong> hence not an ideal) in Z, as 1 ∈ N <strong>and</strong> 2 ∈ N while −1 = 1 − 2 /∈ N.<br />

(ii) The set <strong>of</strong> all polynomials with integer constant can be characterised as<br />

Let x ∗ q 1 + n 1 , x ∗ q 2 + n 2 ∈ A. Then<br />

A = {x ∗ q + n : q ∈ Q[x], n ∈ Z}.<br />

(x ∗ q 1 + n 1 ) − (x ∗ q 2 + n 2 ) = x ∗ (q 1 − q 2 ) + (n 1 − n 2 )<br />

<strong>and</strong><br />

(x ∗ q 1 + n 1 ) ∗ (x ∗ q 2 + n 2 ) = (n 2 q 1 + n 1 q 2 + x ∗ q 1 ∗ q 2 )x + (n 1 ∗ n 2 ).<br />

Since n 1 − n 2 ∈ Z <strong>and</strong> n 1 n 2 ∈ Z, we have that A is a subring in Q[x]. It is straightforward<br />

to prove that A is not an ideal in Q[x] by taking the product <strong>of</strong> any element <strong>and</strong> any<br />

number t ∈ Q \ Z.<br />

(iii) By definition, the integers divisible by 3 are the elements <strong>of</strong> the principal ideal (<strong>and</strong> subring)<br />

(3) in Z.<br />

(iv) A = {q ∈ Q[x] : deg(q) ≥ 6} is a not a subring in Q[x] since x 6 − x 6 = 0 /∈ Q[x].<br />

(v) {75a + 30b : a, b ∈ Z} = (30, 75) is an ideal (<strong>and</strong> so) subring in Z.<br />

(vi) Let A be all the zero divisors <strong>of</strong> Z/(14). The elements <strong>of</strong> A are precisely those among<br />

0, 1, . . . , 13 which are not comprime with 14. Hence A = {0, 2, 4, 6, 7, 8, 10, 12}. Consider<br />

A as a subset <strong>of</strong> Z/(16). Then A is not a subring in Z/(16) as 7 − 6 = 1 /∈ A.<br />

<br />

Solution to Exercise 3.2. Let A, B, C ⊆ S be arbitrary. It might be convenient to visualise these<br />

sets using a Venn diagrams.<br />

A1. It is possible to prove that A + (B + C) = (A + B) + C by direct computation.


A2. The zero <strong>of</strong> R is the empty set ∅ since<br />

A + ∅ = (A ∪ ∅) \ (A ∩ ∅) = A \ ∅ = A<br />

<strong>and</strong><br />

for all A ⊆ S.<br />

∅ + A = (∅ ∪ A) \ (∅ ∩ A) = A \ ∅ = A<br />

A3. Let A ⊆ S. Then A is the additive inverse for A:<br />

for all A ⊆ S.<br />

A + A = (A ∪ A) \ (A ∩ A) = A \ A = ∅<br />

A4. A + B = B + A since A ∪ B = B ∪ A <strong>and</strong> A ∩ B = B ∩ A for all A, B ⊆ S.<br />

M1. (A ∩ B) ∩ C = A ∩ (B ∩ C) holds by definition.<br />

It is routine to check that D <strong>and</strong> M4 hold <strong>and</strong> so R is a commutative ring. The identity<br />

element <strong>of</strong> R is the entire set S:<br />

A ∗ S = A ∩ S = A<br />

for all A ⊆ S.<br />

If A ∈ R is a unit, then S = A ∗ A −1 = A ∩ A −1 ⊆ A. Hence A = S <strong>and</strong> so the only unit in R<br />

is its one S.<br />

With A + B = A ∪ B we do not get a ring. The axiom A3 fails: if A ∈ R, there exists B such<br />

that A + B = A ∪ B = ∅ if <strong>and</strong> only if A = ∅.<br />

Let A ∈ R be arbitrary. We will prove that the ideal (A) generated by A equals<br />

I = { B ∈ R : B ⊆ A }.<br />

Let B ⊆ S. Then B ∗ A = B ∩ A ∈ I <strong>and</strong> so (A) contains I. But I is a subring <strong>of</strong> R as:<br />

(a) if B, C ∈ I, then B + B = ∅ <strong>and</strong> so −B = B. Hence B − C = B + C = (B ∪ C) \ (B ∩ C) ⊆<br />

B ∪ C ⊆ A ∪ A = A yielding B − C ∈ I;<br />

(b) if B, C ∈ I, then B ∗ C = B ∩ C ⊆ A <strong>and</strong> so B ∗ C ∈ I.<br />

Hence since A ∈ I it follows that (A) ⊆ I <strong>and</strong> so (A) = I.<br />

Solution to Exercise 3.3. We will prove directly that<br />

<br />

I = {a 2 x 2 + · · · + a n x n : n ≥ 2} = { x 2 · f : f ∈ R[x] }<br />

is an ideal in R[x]. Let f, g ∈ I. Then f = x 2 ∗ f 1 <strong>and</strong> g = x 2 ∗ g 1 for some f 1 , g 1 ∈ R[x]. Hence<br />

f − g = x 2 ∗ (f 1 − g 1 ) ∈ I. If h ∈ I is arbitrary, then f ∗ h = h ∗ f = x 2 ∗ f 1 ∗ h ∈ I. Therefore I<br />

is an ideal in R[x].<br />

<br />

Solution to Exercise 3.4. The set <strong>of</strong> polynomials from the exercise can be given as<br />

I = { f ∈ R[x] : f(1) = 0 }.<br />

So, if f, g ∈ I, then (f − g)(1) = f(1) − g(1) = 0 <strong>and</strong> so f − g ∈ I. Also, f ∗ h(1) = h ∗ f(1) =<br />

h(1) ∗ f(1) = h(1) ∗ 0 = 0 <strong>and</strong> so f ∗ h ∈ I for any h ∈ R[x]. Hence I is an ideal.<br />

<br />

80


Solution to Exercise 3.5. It is straightforward to verify that R = { r + s √ 2 : r, s ∈ Q } is a<br />

commutative ring with respect to the operations + <strong>and</strong> ∗ in R. It remains to prove that every<br />

non-zero element <strong>of</strong> R is a unit. Let r + s √ 2 ∈ R. Then<br />

1<br />

r + s √ 2 = r − s √ 2<br />

(r + s √ 2)(r − s √ 2) = r − s√ 2<br />

r 2 − 2s 2 ∈ R<br />

is the multiplicative inverse for r + s √ 2 in R. Thus R is a field.<br />

Let Σ be the smallest subfield <strong>of</strong> R containing √ 2. We will prove that R = Σ. First note that,<br />

since 1 ∈ Σ, n ∈ Σ for all n ∈ Z. Since Σ is a field, it follows immediately that Q ⊆ Σ. Since Σ<br />

contains √ 2 <strong>and</strong> is closed under multplication <strong>and</strong> summation, we obtain that R = { r + s √ 2 :<br />

r, s ∈ Q } ⊆ Σ. So, R ⊆ Σ. On the other h<strong>and</strong>, R is a subfield <strong>of</strong> R that contains √ 2. Hence, by<br />

the choice <strong>of</strong> Σ, we have Σ ⊆ R. Therefore R = Σ, as required.<br />

<br />

Solution to Exercise 3.6. Let I be the ideal in R generated by √ 2. Then<br />

1 = √ 2 ·<br />

1<br />

√<br />

2<br />

∈ I<br />

<strong>and</strong> so I = R.<br />

<br />

Solution to Exercise 3.7. Let R be a commutative ring with identity whose only ideals are {0}<br />

<strong>and</strong> R. In order to prove that R is a ring it suffices to show that every non-zero element in R is<br />

a unit. So let r ∈ R \ {0}. Then the ideal generated by (r) = R. Hence there exists t ∈ R such<br />

that rt = 1 <strong>and</strong> r is a unit.<br />

Now, let R = Z/(6). Then R is a commutative ring with identity. All the non-invertible<br />

elements <strong>of</strong> R are A = {0, 2, 3, 4}. Since 3 − 2 = 1 /∈ A, it follows that A is not an ideal in R. <br />

Solution to Exercise 3.8. Obviously if A, B ∈ R, then A − B ∈ R. We are left to prove that<br />

A ∗ B ∈ R for all A, B ∈ R. So, if<br />

( ) ( )<br />

a b<br />

c d<br />

A = <strong>and</strong> B = ,<br />

2b a<br />

2d c<br />

then<br />

( )<br />

ac + 2bd ad + bc<br />

A ∗ B =<br />

∈ R.<br />

2(ad + bc) ac + 2bd<br />

Thus R is a subring <strong>of</strong> M 2 (R).<br />

Let F be those matrices from R whose entries are from Q. It is straightforward to check that<br />

F is a commutative subring <strong>of</strong> M 2 (R). Let A ∈ F \ {0}:<br />

( ) a b<br />

A = .<br />

2b a<br />

If det(A) = a 2 − 2b 2 = 0, then √ 2 ∈ Q, a contradiction. Hence det(A) ≠ 0 for all A ∈ F \ {0}<br />

<strong>and</strong> so A −1 in M 2 (R). Since the entries <strong>of</strong> A −1 are obtained from those <strong>of</strong> A by adding <strong>and</strong><br />

multiplying it follows that A −1 ∈ F . Hence every non-zero element <strong>of</strong> F is a unit <strong>and</strong> F is a<br />

field.<br />

Let Σ be the set <strong>of</strong> matrices <strong>of</strong> the type<br />

( ) a b<br />

A =<br />

2b a<br />

81


where a, b ∈ Z/(3). Since Z/(3) is a field, using a similar argument to that used above, we can<br />

prove that Σ is a field. It contains |Z/(3)| · |Z/(3)| = 9 elements.<br />

<br />

Solution to Exercise 3.9. Let R be a commutative ring with identity, let I be an ideal <strong>of</strong> R, <strong>and</strong><br />

let r 1 , r 2 , . . . , r n ∈ I. We will prove that (r 1 , r 2 , . . . , r n ) ⊆ I.<br />

Since r i ∈ I for all i, we have that λ i r i ∈ I for all λ i ∈ R. But I is closed under addition <strong>and</strong><br />

so λ 1 r 1 + λ 2 r 2 + · · · + λ n r n ∈ I for all λ 1 , λ 2 , . . . , λ n ∈ R, as required.<br />

<br />

Solution to Exercise 3.10. We have already seen that every field F is an integral domain. So it<br />

remains to prove that every ideal in F is principal. But there are only two ideals in F : (0) = {0}<br />

<strong>and</strong> (1) = F .<br />

<br />

Solution to Exercise 3.11. It is routine to prove the first part <strong>of</strong> the exercise from the definition<br />

<strong>of</strong> an ideal.<br />

Now, let i ∈ I <strong>and</strong> j ∈ J. Then ij ∈ I <strong>and</strong> ij ∈ J <strong>and</strong> so ij ∈ I ∩ J. Since I ∩ J is an ideal, it<br />

is closed under addition <strong>and</strong> so every sum <strong>of</strong> elements <strong>of</strong> the form ij where i ∈ I <strong>and</strong> j ∈ J is<br />

an element from I ∩ J. Hence IJ ⊆ I ∩ J.<br />

Let R = { x ∗ f : f ∈ R[x] } <strong>and</strong> I = J = R. Then I <strong>and</strong> J are ideals in R. But<br />

IJ = { x 2 ∗ f : f ∈ R[x] } is a proper subset <strong>of</strong> the ideal I ∩ J = R.<br />

In Z[x] if I = (x, 2) <strong>and</strong> J = (x, 3), then { ij : i ∈ I, j ∈ J } is not an an ideal as x 2 ∈ I <strong>and</strong><br />

6 ∈ J but x 2 + 6 ∉ { ij : i ∈ I, j ∈ J }. <br />

Solution to Exercise 3.12. Let<br />

I = ⋃ I n<br />

n∈N<br />

<strong>and</strong> let a, b ∈ I. Then there exists n ∈ N such that a, b ∈ I n <strong>and</strong> so a − b ∈ I n ⊆ I. Moreover, if<br />

x ∈ R, then ax ∈ I n ⊆ I for some n. Hence I is an ideal in R.<br />

Now, {2m : m ∈ Z} ∪ {3n : n ∈ Z} is not a subring <strong>of</strong> Z since 3 − 2 = 1 /∈ {2m : m ∈<br />

Z} ∪ {3n : n ∈ Z}. <br />

Solution to Exercise 3.13. By Exercise 3.12, the union I <strong>of</strong> the ideals I n is an ideal in R.<br />

By assumption, it is finitely generated <strong>and</strong> so there exist r 1 , r 2 , . . . , r k ∈ I such that I =<br />

(r 1 , r 2 , . . . , r k ). Hence there exists N ∈ N such that r 1 , r 2 , . . . , r k ∈ I N <strong>and</strong> so s(r 1 , r 2 , . . . , r k ) ⊆<br />

I N . Therefore<br />

(r 1 , r 2 , . . . , r k ) ⊆ I N ⊆ I N+1 ⊆ I = (r 1 , r 2 , . . . , r k )<br />

<strong>and</strong> so I N = I N+1 , as required.<br />

<br />

82

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!