Kurs:Singularitätentheorie (Osnabrück 2019)/Arbeitsblatt 12/kontrolle

Aufgabe Referenznummer erstellen

Es sei ${}R$ ein kommutativer Ring, ${}A$ eine kommutative ${}R$ - Algebra, ${}M$ ein ${}R$ - Modul und ${}D\colon A\rightarrow M$ eine ${}R$ - Derivation. Zeige

{}D{\left(f^{n}\right)}=nf^{n-1}D(f)\,

für jedes ${}f\in A$ .

Aufgabe Referenznummer erstellen

Es sei ${}R$ ein kommutativer Ring, ${}A$ eine kommutative ${}R$ - Algebra, ${}M$ ein ${}R$ - Modul und ${}D\colon A\rightarrow M$ eine ${}R$ - Derivation. Zeige

{}D{\left(f_{1}\cdots f_{r}\right)}=f_{2}\cdots f_{r}D{\left(f_{1}\right)}+f_{1}f_{3}\cdots f_{r}D{\left(f_{2}\right)}+\cdots +f_{1}\cdots f_{r-1}D{\left(f_{r}\right)}\,

für ${}f_{1},\ldots ,f_{r}\in A$ .

Aufgabe Referenznummer erstellen

Es sei ${}R$ ein kommutativer Ring, ${}A$ eine kommutative ${}R$ - Algebra, ${}M$ ein ${}R$ - Modul und ${}D\colon A\rightarrow M$ eine ${}R$ - Derivation. Es sei ${}x_{1}^{n_{1}}\cdots x_{r}^{n_{r}}\in A$ . Zeige

{}D{\left(x_{1}^{n_{1}}\cdots x_{r}^{n_{r}}\right)}=n_{1}x_{1}^{n_{1}-1}x_{2}^{n_{2}}\cdots x_{r-1}^{n_{r-1}}x_{r}^{n_{r}}D{\left(x_{1}\right)}+\cdots +n_{r}x_{1}^{n_{1}}\cdots x_{r-1}^{n_{r-1}}x_{r}^{n_{r}-1}D{\left(x_{r}\right)}\,

Aufgabe Referenznummer erstellen

Es sei ${}A$ eine kommutative ${}R$ - Algebra und ${}M$ ein ${}A$ - Modul. Zeige, dass die Menge der Derivationen von ${}R$ nach ${}M$ ein ${}R$ - Modul wird, wenn man ${}f\delta$ durch

{}(f\delta )(a)=f\delta (a)\,

definiert.

Aufgabe Referenznummer erstellen

Es sei ${}R$ eine kommutative ${}K$ - Algebra und ${}W\subseteq R$ ein multiplikatives System. Es sei ${}D\colon R\rightarrow R$ eine ${}K$ - Derivation. Zeige, dass durch

{}D{\left({\frac {f}{g}}\right)}:={\frac {gD(f)-fD(g)}{g^{2}}}\,

eine Derivation auf der Nenneraufnahme ${}R_{W}$ gegeben ist, die ${}D$ fortsetzt.

Aufgabe * Referenznummer erstellen

Es sei ${}A$ eine kommutative ${}R$ - Algebra über einem kommutativen Ring ${}R$ . Zu ${}f\in A$ bezeichne

\mu _{f}\colon A\longrightarrow A,\,x\longmapsto fx,

die ${}R$ -lineare Multiplikationsabbildung und zu zwei ${}R$ -linearen Abbildungen

\varphi _{1},\varphi _{2}\colon A\longrightarrow A

bezeichne

{}[\varphi _{1},\varphi _{2}]=\varphi _{1}\circ \varphi _{2}-\varphi _{2}\circ \varphi _{1}\,.

Es sei ${}\delta \colon A\rightarrow A$ eine ${}R$ - Derivation. Zeige, dass zu jedem ${}g\in A$ die Abbildung ${}[\delta ,\mu _{g}]$ eine Multiplikationsabbildung ist.

Aufgabe Referenznummer erstellen

Es sei ${}R$ ein kommutativer Ring, ${}A$ eine kommutative ${}R$ - Algebra und ${}\Omega _{A{|}R}$ der Modul der Kähler-Differentiale. Zeige, dass die universelle Derivation

A\longrightarrow \Omega _{A{|}R},\,f\longmapsto df,

eine Derivation ist.