Bài tập.

Chứng minh rằng, trong vành các số nguyên  mỗi ideal I là

ideal cực đại khi và chỉ khi I  p với p là số nguyên tố.
Giải. (1) Giả sử I là một ideal cực đại của vành  ta chứng minh rằng
I  p với p là số nguyên tố. Thật vậy, trong vành  ta luôn có I  p với p

là số tự nhiên nào đó. Nếu p = 0 thì I  0  0 và do đó I bị chứa trong

ideal thực sự 2  của vành  nên I không phải là ideal cực đại của vành  .
Nếu p = 1 thì I  1   và do đó I cũng không phải là ideal cực đại của vành
 . Như vậy, p > 1. Bây giờ ta giả sử ngược lại p không là số nguyên tố hay là
hợp số nghĩa là p  kl , 1  k ,l  p. Khi đó, ta có
p  k , k   , p  k 
.
Như vậy, ideal I  p bị chứa thực sự trong một ideal thực sự k của vành
 và điều này mâu thuẫn với giả thiết I là ideal cực đại của vành  .
(2) Giả sử I  p với p là số nguyên tố, ta sẽ chứng minh rằng, I là một ideal
cực đại của vành  . Thật vậy, giả sử ngược lại I không phải là ideal cực đại
của vành  , khi đó sẽ tồn tại một ideal thực sự J của vành  sao cho J thực
sự chứa I. Trong vành  ta luôn có J  m với m là số tự nhiên nào đó. Do
I  J nên p  m hay p  m hay m là ước của p. Do p là số nguyên tố nên

m = 1 hay m = p. Nếu m = 1 thì J  m   mâu thuẫn với J là ideal thực sự

của vành  . Nếu m = p thì J  m  p  I , mâu thuẫn với J thực sự chứa I.
Như vậy, I  p với p là số nguyên tố là một ideal cực đại của vành số
nguyên  .