• Nie Znaleziono Wyników

Commutative algebra

N/A
N/A
Protected

Academic year: 2021

Share "Commutative algebra"

Copied!
1
0
0

Pełen tekst

(1)

Commutative algebra

problem set 8, for 27.11.2019

Nullstellensatz and algebraic sets, integral homomorphisms

You do not have to write the solutions, but please be prepared to present your solutions smoothly at the board.

Since we have not finished discussing Set 7, you can still declare problems 4, 5,6 from Set 7.

A topological space is called Noetherian if its closed subsets satisfy the descending chain condition, i.e. every chain V0⊃ V1⊃ V2⊃ . . . of closed sets eventually stabilises.

A nonempty subset Y of a topological space X is irreducible if it cannot be decomposed as a sum Y = Y1∪ Y2

of two proper subsets closed in Y .

Problem 1.

Let A be a Noetherian ring. Prove that the topological space Spec(A) is Noetherian. Prove that the ring A = k[x1, x2, . . . , xn, . . .]/(x21, x22, . . . , x2n, . . .) is not Noetherian, but Spec(A) is a Noetherian topological space.

Problem 2. Decomposition into irreducible components Let X be a Noetherian topological space.

1. Prove that every nonempty closed subset Y ⊂ X can be expressed as a finite sum Y = Y1∪ . . . ∪ Yn of irreducible subsets.

2. Prove that if we require that Yi* Yj for i 6= j then Yi are uniquely determined.

Note that it follows from Problems 1 and 2 that closed subsets of Spec(A) for a Noetherian ring A can be decomposed into irreducible components.

Problem 3. [2 points]

Let k be an algebraically closed field. Let A = k[x, y]/(y2− x3) and i : A → eA be the integral closure.

1. For every ideal m ⊂ A calculate the dimension of the κ(m)-vector space eA ⊗Aκ(m).

2. Describe the fibers of i.

Problem 4. [2 points]

Let k be a field. By an algebraic set in the affine space knwe understand a set of all points on which polynomials f1, . . . , fm∈ k[x1, . . . , xn] vanish simultaneously (equivalently, it is the set where the whole ideal (f1, . . . , fm) vanishes).

1. Prove that for k = R the set {(0, . . . , 0)} ⊂ kn is described by vanishing of a single polynomial.

2. Prove that for k = R any algebraic set in kn is described by vanishing of a single polynomial.

3. Let k be any field which is not algebraically closed. Prove that any algebraic set in kn is described by vanishing of a single polynomial.

Hint: to find a polynomial vanishing only at (0, . . . , 0) start with two variables and iterate the construction.

Problem 5. [extra points problem, 2 points]

Let K be a field and L = K(a1, . . . , as) be a finitely generated extension of K. We say that a subset b1, . . . , br∈ L is algebraically independent over K, if the homomorphism f : K[x1, . . . , xr] → L, given by f (xi) = bi, is injective.

An algebraically independent subset b1, . . . , br ∈ L is a transcendental basis of L over K (baza przestępna) if the field extension K(b1, . . . , br) ⊂ L is algebraic. Prove that a transcendental basis of L over K exists and that every two transcendental bases have the same number of elements.

Hint: prove an analogue of the Steinitz exchange lemma (from linear algebra).

1

Cytaty

Powiązane dokumenty

A complete probability measure µ on a space X is said to be Radon if it is defined on the Borel subsets of X and has the property that the measure of each Borel set is the supremum

For our analysis of quasi-factors, we require two brief digressions: the algebraic theory of minimal flows, and maximal highly proximal flows and generators.. For details of

3. Free zero-dimensional topological groups. Here is probably the most natural example of a topological group free in a class that fails to form a variety in a most spectacular

With the help of Theorem 7 and the Lemma, we can easily prove Theorem 9.. , be some sequences of complex numbers. .) be an asymptotic sequence. .)... By using the previous Lemma, we

She is pleased to thank the Department of Mathematics of Wesleyan University for generous hospitality during the spring semester of 1992.. The second author is pleased to thank

Recall that a topolog- ical space is zero-dimensional if it has a base consisting of clopen sets, and perfect if it has no isolated

But in a topological group, the closure of any set is the intersection of products of that set with each member of the entire family of neighborhoods of its identity

It is well known that any complete metric space is isomet- ric with a subset of a Banach space, and any hyperconvex space is a non- expansive retract of any space in which it