IDEAL
IDEAL
(ii). : � ∈ � , � ∈ � ⇒ �� ∈ �
Ideal : Definition:
A non-empty subset S of a ring R is called an ideal or two sided ideal of R if it is a both left as well as
right ideal .
Note :
(i) : for a commutative ring every left ideal is right ideal and every right ideal is left ideal .
(ii) : every ideal S of a ring R is necessarily a subring of R , but the convers need not to be true .
(iii) : The intersection of any two ideals of a ring is again an ideal of the ring .
(iv) : if I is an ideal of a ring R with unity 1∈ � , then I=R.
Type of ideal
Improper ideals : every ring R has at least two ideals which are :
Proper Ideal : the ideals other than these two is called a proper or non – trivial ideals of R .
Simple Ring : A ring which has no proper ideal is called a simple ring .
Note : every field F has no proper ideal , the only ideals of field are {0} and F.
Example 1 : show that S={ �� : � ∈ ℤ } where � is positive integer, is an ideal of the ring (ℤ, + , × ).
Here �� − �� = � � − � ∈ � since (� − �) ∈ ℤ
a. ℤ �. ℚ �. � �. ����
But �� ∉ ℤ ∀ � ∈ ℤ , � ∈ ℝ
2 2 4
i.e let � = 2 ��� � = 3 ∈ ℝ ��� �. � = 2 3
=3 ∉ℤ
But �� ∉ ℚ ∀ � ∈ ℚ , � ∈ ℝ
2 2 2 2
i.e let � = 3 ∈ ℚ , ��� 2 ∈ ℝ but �� = 3 2 =
3
∉ℚ
ANS : c
Note : all the prime ideal of the ring of integers R=ℤ are
P = { p� : � ∈ ℤ , � �� ����� ������ } .
Maximal Ideal : An ideal M (≠ R)of a ring R is called a maximal ideal of R if M ⊆ A ⊆ R then either
M=A or A=R .
An ideal M in a ring R is called a maximal ideal if M≠R and the only ideals
containing M are M and R.
a. In ℤ, all the ideals are of the form nℤ for n is positive number . The maximal ideals
correspond to the ideals pℤ, where p is prime.
b. The zero ring has no maximal ideals.
c. In any integral domain, the 0 ideal {0} is a prime ideal.
d. If R is a commutative ring with unity 1. Every maximal ideal of R is a prime ideal.
e. Every field have no proper maximal ideal