• Keine Ergebnisse gefunden

Commutative Algebra - summer term 2017

N/A
N/A
Protected

Academic year: 2021

Aktie "Commutative Algebra - summer term 2017"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Commutative Algebra - summer term 2017

Assignment sheet 5

Prof. Dr. Mohamed Barakat, M.Sc. Kamal Saleh

Exercise 1. (Krull dimension, 4 points)

Cosider the ring homomorphism ϕ:k[x, y, z, u]→ k[s, t] defined by x 7→s3, y 7→ s2t, z 7→

st2, u7→t3.

1. Compute I := ker(ϕ), dim(I),codim(I).

2. Give a maximal chain of prime ideals in k[x, y, z, u]/I.

Exercise 2. (Prime avoidance, 4 points)

Prove the following general version of prime avoidance: Let p1, . . . ,pk−2 ∈ SpecR and pk−1,pk, IER. Then

I ⊂

k

[

i=1

pi =⇒ I ⊂pi for some i.

Exercise 3. (Irreducible affine algebraic sets, 4 points) Let k be a field. A nonempty empty algebraic set V = Vk(I) ⊂ kn is called irreducible if it cannot be expressed as a union V =V1∪V2 of algebraic setsV1, V2 properly contained in V.

1. Show that V is irreducible if and only if I(V) is prime ideal.

2. Give an example of an irreducible polynomial f ∈Q[x, y] whose zero setVQ(f) is not irreducible.

3. Let V = V(y2−xz, x2y−z2, x3−yz) ⊂ Q3. Show that V is irreducible and com- pute dimI(V), codimI(V) and prove that I(V) cannot be generated by less than 3 elements.

4. Show that I(V) is isomorphic to a polynomial ring in one variable over Q. Exercise 4. (Irreducible components of affine algebraic sets, 4 points)

LetX be the algebraic set ink3 defined by the two polynomialsx2−yz and xz−x. Show that X is a union of three irreducible algebraic sets. Describe them and find their prime ideals.

Hand in until January 9th 12:00 in the class or in Box in ENC, 2nd floor, at the entrance of the building part D.

Referenzen

ÄHNLICHE DOKUMENTE

In the category of Abelian groups, show that in the sequence of Z -maps Z , → 2 Z Z /2 Z the left morphism is mono, the right is epi, and non of them is split (as Z -maps)..

Given a constructive field k equipped with the Gauss ian normal form algorithm, more precisely, an algorithm to compute the row reduced echelon form (RREF). You can use the command

Although the central part of the source code is the formalization of abstract notions like Abelian categories, The focus lies on concrete applications ranging from linear control

Generalize the above to submodules of finitely presented modules over a left com- putable ring R.

Hand in until Juli 18th 12:15 in the class or in the Box in ENC, 2nd floor, at the entrance of the building

Commutative Algebra - summer term 2017.. Assignment

Check the Going-down property for the following ring extension ψ : k[s] → k[s, t]/hsti, s 7→ s. and interpret your

Hand in until December 19th 12:00 in the class or in Box in ENC, 2nd floor, at the entrance of the building