Internal Project Presentation

Title : Commutative Algebra

Presented by: Guided by:

Subhasis Biswas Dr. Shouvik Bhattacharya
Joydeep Saha
Subhankar Sarkar

Department of Mathematics
Tripura University
Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 1 / 33
Introduction

Commutative algebra is a branch of mathematics that studies commutative ring, their

ideals, and modules over these rings.
Commutative Algebra, the study of commutative rings and their modules, emerged as a
definite area of mathematics at the beginning of the twentieth century.
Its origins lie in the works of eminent mathematicians such as Kronecker, Dedekind,
Hilbert and Emmy Noether who sought to develop a solid foundation for Number
Theory.

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 2 / 33

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 3 / 33
Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 4 / 33
Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 5 / 33
Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 6 / 33
Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 7 / 33
Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 8 / 33
Operation on Ideals

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 9 / 33

Operation on Ideals

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 10 / 33

Operation on Ideals

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 11 / 33

Operation on Ideals

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 12 / 33

Operation on Ideals

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 13 / 33

Operation on Ideals

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 14 / 33

Operation on Ideals

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 15 / 33

Operation on Ideals

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 16 / 33

Operation on Ideals

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 17 / 33

Motivation for Radicals

P be a property of a ring.
A P-radical is an ideal of all the elements having property P.
We want to get rid of this property.
Goal: To find rings for which the P-radical is zero i.e., P(A) = {0}.
Result: Such a ring is “P-radical free” or P-semisimple.

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 18 / 33

Motivation for Radicals

P be a property of a ring.
A P-radical is an ideal of all the elements having property P.
We want to get rid of this property.
Goal: To find rings for which the P-radical is zero i.e., P(A) = {0}.
Result: Such a ring is “P-radical free” or P-semisimple.
Two types considered here are the nil and Jacobson radicals.
Factoring out by the nil and Jacobson radicals yields quotients closely related to integral
domains and fields.

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 18 / 33

History

Joseph Wedderburn Nathan Jacobson

Gottfried Köthe
He gave the idea of a He studied Jacobson radicals for
He introduced Nilradical(1930)
radical(1908) arbitrary rings(1945)

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 19 / 33

Nilradical
Theorem
Let A be a ring and put
N = {x ∈ A | x is nilpotent}.
Then
1 N ◁A
2 A/N has no nonzero nilpotent elements.

The ideal N is called the nilradical of A.

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 20 / 33

Nilradical
Theorem
Let A be a ring and put
N = {x ∈ A | x is nilpotent}.
Then
1 N ◁A
2 A/N has no nonzero nilpotent elements.

The ideal N is called the nilradical of A.

Definition (Reduced Ring)
A ring A is reduced iff N = {0}.

Corollary
A/N is a reduced ring.
Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 20 / 33
Nilradical

Proposition(Ideal Characterization)
The nilradical of a ring A is the intersection of all the prime ideals of A.
\
N= P
P ∈ ◁Prime A

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 21 / 33

Jacobson Radical

Definition
The Jacobson radical R of a ring A is defined to be the intersection of all of the maximal
ideals of A. \
R= M
M ∈ ◁Maximal A

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 22 / 33

Jacobson Radical

Definition
The Jacobson radical R of a ring A is defined to be the intersection of all of the maximal
ideals of A. \
R= M
M ∈ ◁Maximal A

Definition (Membership test)

Let x ∈ A. Then x ∈ R ⇐⇒ ∀y ∈ A, 1 − xy is a unit.

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 22 / 33

Jacobson Radical

Definition
Let I ◁ A. Then ideals J of A/I have the form

J = J/I = {j + I | j ∈ J}

for some J such that I ⊆ J ◁ A.

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 23 / 33

Jacobson Radical

Definition
Let I ◁ A. Then ideals J of A/I have the form

J = J/I = {j + I | j ∈ J}

for some J such that I ⊆ J ◁ A.

Clearly, the maximal ideals of A/R have the form

M/R where M is a maximal ideal of A
So,the Jacobson radical of A/R is
R/R = {R}, the trivial ideal.

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 23 / 33

P-semisimple rings
Example
Let A = Z. Then R = N = {0} .
Since maximal ideals in Z , being a PID, are precisely nonzero prime ideals,so
T
R = p pZ = {0} = N

So, Z is semisimple.

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 24 / 33

P-semisimple rings
Example
Let A = Z. Then R = N = {0} .
Since maximal ideals in Z , being a PID, are precisely nonzero prime ideals,so
T
R = p pZ = {0} = N

So, Z is semisimple.

Example
Let A = F[ x] where F is a field. Then R = N = {0} .
Consider α ̸= ( 0) ∈ F[ x] .
Then 1 − xα is a polynomial of degree ≥ 1.
(Units in F[ x] are just the nonzero constants). So, 1 − xα cannot be a unit.
Hence, by membership test α ∈ / R. So R = {0}.
So, F[ x] is semisimple.
Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 24 / 33
Quotients by radicals

T
Let B be a ring and {Ji | i ∈ I} is a family of ideals of B. Let J = i∈I Ji
B/N
B/R

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 25 / 33

Quotients by radicals

T
Let B be a ring and {Ji | i ∈ I} is a family of ideals of B. Let J = i∈I Ji
B/N
B/R
Chinese Remainder theorem:
n n
Ji ∼
\ Y
B/J = B/ = B/Ji
i=1 i=1

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 25 / 33

Quotients by radicals

T
Let B be a ring and {Ji | i ∈ I} is a family of ideals of B. Let J = i∈I Ji
B/N
B/R
Chinese Remainder theorem:
n n
Ji ∼
\ Y
B/J = B/ = B/Ji
i=1 i=1

Problem: Finite Intersection, Pairwise comaximal

Solution: Subdirect Product

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 25 / 33

Subdirect Product

Let {Ai | i ∈ I} be a family of rings with direct product and projection maps.
Q
A = i∈I Ai , ρj : A → Aj

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 26 / 33

Subdirect Product

Let {Ai | i ∈ I} be a family of rings with direct product and projection maps.
Q
A = i∈I Ai , ρj : A → Aj

Definition (Subdirect Product)

Call a ring B a subdirect product of the family {Ai | i ∈ I} if there exists a ring homomorphism

ψ:B→A

such that
1 ψ is injective
2 ρj ◦ ψ : B → Aj is surjective for all j.

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 26 / 33

Subdirect Product

Example
The “diagonal subring” S = {( n, n) |n ∈ Z × Z} is a subdirect product.
It is a subring of Z × Z.
It projects onto each component of the product

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 27 / 33

Quotients by radicals are subdirect products

Theorem
T
Let A be a ring and {Ji | i ∈ I} is a family of ideals of A. Put J = i∈I Ji
Then
1 J ◁A
2 A/J is a subdirect product of the family {A/Ji | i ∈ I}

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 28 / 33

Quotients by radicals are subdirect products

Theorem
T
Let A be a ring and {Ji | i ∈ I} is a family of ideals of A. Put J = i∈I Ji
Then
1 J ◁A
2 A/J is a subdirect product of the family {A/Ji | i ∈ I}

Corollary
A/N is a subdirect product of integral domains.
A reduced ring is a subdirect product of integral domains.

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 28 / 33

Quotients by radicals are subdirect products

Theorem
T
Let A be a ring and {Ji | i ∈ I} is a family of ideals of A. Put J = i∈I Ji
Then
1 J ◁A
2 A/J is a subdirect product of the family {A/Ji | i ∈ I}

Corollary
A/N is a subdirect product of integral domains.
A reduced ring is a subdirect product of integral domains.

Corollary
A/R is a subdirect product of fields.

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 28 / 33

Remark
Since all maximal ideals are prime, nilradical ⊆ Jacobson radical.
In any integral domain, the nilradical is trivial
In any local ring, the Jacobson radical is the unique maximal ideal.
For a finite ring, R = N.

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 29 / 33

Remark
Since all maximal ideals are prime, nilradical ⊆ Jacobson radical.
In any integral domain, the nilradical is trivial
In any local ring, the Jacobson radical is the unique maximal ideal.
For a finite ring, R = N.

Remark
In general, the nil and Jacobson radicals need not be equal.
Hint: There are local rings which are integral domains but not fields.
Nilradical= {0}
Jacobson radical = M.
Example: Power series ring

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 29 / 33

Radical of an Ideal

Definition
Let A be a ring, and consider X ⊆ A . Define the radical of X (w.r.t A) to be

r (X ) = {z ∈ A|∃n ≥ 1 such that z n ∈ X }.

—comprising all “nth roots” of elements of X for all positive n.

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 30 / 33

Radical of an Ideal

Definition
Let A be a ring, and consider X ⊆ A . Define the radical of X (w.r.t A) to be

r (X ) = {z ∈ A|∃n ≥ 1 such that z n ∈ X }.

—comprising all “nth roots” of elements of X for all positive n.

Theorem
Let I ◁ A and ϕ : A → A/I be the natural map. Then ϕ( r (I )) = NA/I
NA/I denotes the nilradical of A/I.

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 30 / 33

Radical of an ideal

Theorem
The radical of an ideal is the intersection of the prime ideals containing it.
\
r(I) = P
prime ideals P ⊇I

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 31 / 33

Radical of an ideal

Theorem
The radical of an ideal is the intersection of the prime ideals containing it.
\
r(I) = P
prime ideals P ⊇I

Example
Let A = Z and I = mZ where m ≥ 2. If m has distinct prime factors p1 , ..., pr , then

r(mZ) = p1 ...pr Z

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 31 / 33

References

M. F. Atiyah and I. G. MacDonald, Introduction to Commutative Algebra,2nd edition,

Taylor & Francis, 1994.
D. S. Dummit and R. M. Foote, Abstract Algebra, 3rd edition,Wiley International,2004
https://www.maths.usyd.edu.au/u/de/AGR/CommutativeAlgebra/materials.html

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 32 / 33

 Thank You

Subhasis, Joydeep, Subhankar Commutative Algebra October 1, 2024 33 / 33