• Keine Ergebnisse gefunden

Exercise 1 (4 points) Let (M, v) be a valued module

N/A
N/A
Protected

Academic year: 2022

Aktie "Exercise 1 (4 points) Let (M, v) be a valued module"

Copied!
2
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Fachbereich Mathematik und Statistik Prof. Dr. Salma Kuhlmann

Lothar Sebastian Krapp Simon Müller

SoSe 2019

Real Algebraic Geometry II

Exercise Sheet 1 Valued modules

Let Z be a commutative ring with 1. All modules we consider are left Z-modules.

Exercise 1 (4 points)

Let (M, v) be a valued module.

(a) Show that M is torsion-free.

(b) Show that for any x, yM, the following hold:

(i) v(−x) =v(x),

(ii) v(x)6=v(y)v(x+y) = min{v(x), v(y)}, (iii) v(x+y)> v(x)v(x) =v(y).

Exercise 2 (4 points)

Letv: Z[x]→N0∪ {∞}be given byv(0) =∞andv(p) = min{k|ak 6= 0}forp(x) =Pnk=0akxkZ[x]\ {0}.

(a) Suppose that Z =Z.

(i) Show that (Z[x], v) is a valued module.

(ii) Determine the skeleton of (Z[x], v). Hence, or otherwise, find a Hahn sumFγ∈ΓB(γ) such that

(Z[x], v)∼=

G

γ∈Γ

B(γ), vmin

.

(b) Does (i) also hold when Z is an arbitrary commutative ring with 1? Justify your answer!

1

(2)

Exercise 3 (4 points)

Let (M1, v1) and (M2, v2) be two valued modules with value sets Γ1 = v1(M1) and Γ2 =v2(M2).

Moreover, leth: M1M2 be an isomorphism of Z-modules which preserves the valuation.

(i) Leteh: Γ1 →Γ2, v1(x)7→v2(h(x)). Show thatehis well-defined and an isomorphism of ordered sets, i.e. an order-preserving bijection from Γ1 to Γ2.

(ii) Show that for eachγ ∈Γ1, the maphγ given by

B(M1, γ)BM2,h(γe ), πM1(γ, x)7→πM2h(γe ), h(x). is an isomorphism ofZ-modules.

Exercise 4 (4 points)

Let [Γ,{B(γ)|γ ∈Γ}] be an ordered system of torsion-free modules.

(i) Show that Hγ∈ΓB(γ) is a module and that F

γ∈Γ

B(γ) is a submodule of Hγ∈ΓB(γ).

(ii) Show thatS F

γ∈Γ

B(γ)

!

∼= [Γ,{B(γ)|γ ∈Γ}]∼=S(Hγ∈ΓB(γ)).

Please hand in your solutions by Thursday, 25 April 2019, 10:00h(postbox 14 in F4).

2

Referenzen

ÄHNLICHE DOKUMENTE

a) For the pair of elements illustrated in Figure 1, show that the respective bilinear function that takes the value 1 at the vertex p and zero at the other vertices gives

Recall that the polynomial ring R [x] is a subring of the ring of formal power series RJ

Lothar Sebastian Krapp Simon Müller.

Extend INTEGER by a function absolute with the properties of the absolute value function on Z.. Show that this is an enrichment

(iii) Wenn es nur einen Gitarre spielenden Sänger gibt, gibt es dann umgekehrt nur einen singenden Gitarristen?. Stimmen diese

(9) (Tensors in physics: # 9,10,11) Let V be a nite dimensional vector space. over the eld K and

der Universit at M unchen Set

For instance, the class of connected graphs follows from the sentencce ∀x∀y(¬Exy → ∃z(Exz ∧Eyz)) with asympotic propability 1.. Of course, each such class K itself has