Timeline for Kahler differentials and Ordinary Differentials

5 events

when toggle format	what		by	license	comment
Jun 15, 2020 at 7:27	history	edited	CommunityBot		Commonmark migration
Dec 25, 2009 at 16:30	comment	added	Mariano Suárez-Álvarez		Don;t you hate when people say "it is a standard fact that..." without giving references? The above claim is stated and proved, for example, in Matsumura's Commutative Algebra as theorem 87.
Dec 25, 2009 at 16:24	comment	added	Mariano Suárez-Álvarez		It is a standard fact that given a field extension $L/K$ with $K$ of characteristc zero, a subset $S\subseteq L$ is algebraically independent over $K$ iff $\{ds:s\in S\}$ is linearly independent in $\Omega_{L/K}$ over $L$. If $\mathcal M$ is the field of meromorphic functions on $\mathbb C$, one can use this to show that $e^x$ and $x$ are linearly independent in the $\mathcal M$-vector space $\Omega_{\mathcal M/\mathbb C}$.
Dec 25, 2009 at 16:11	history	edited	David E Speyer	CC BY-SA 2.5	added 1838 characters in body
Dec 25, 2009 at 3:20	history	answered	David E Speyer	CC BY-SA 2.5