User:Wandynsky

List of pages I am currently editing
The listed articles are to be improved. The indentation represents a tree of dependencies. An article is only in a good state, if all of its dependencies are in a good state.


 * Ring Homomorphism by Idempotent
 * Definition:Generated Ideal of Ring


 * Principal Ideal Domain is Dedekind Domain
 * Principal Ideal Domain is Noetherian
 * Integral Domain has Dimension Zero iff Field
 * Prime Ideal of Principal Ideal Domain is Maximal
 * Principal Ideal of Principal Ideal Domain is of Irreducible Element iff Maximal


 * Injective Module over Dedekind Domain
 * Baer's Criterion
 * Definition:Grothendieck Universe
 * Grothendieck Universe is Closed under Mappings
 * Grothendieck Universe is Closed under Subset
 * Grothendieck Universe is Closed under Binary Cartesian Product
 * Grothendieck Universe is Closed under Binary Union
 * Nonempty Grothendieck Universe contains Von Neumann Natural Numbers
 * Binary Cartesian Product in Kuratowski Formalization contained in Power Set of Power Set of Union


 * Grothendieck Universe is Closed under Finite Cartesian Product
 * Algebraic Numbers form Field
 * Definition:Right Derived Functor
 * Vanishing of Quasi-Coherent Sheaf Cohomology of Noetherian Affine Scheme
 * Injective Resolution Exists iff Enough Injectives
 * Equivalence of Categories is Exact
 * Definition:Exact Functor
 * Exact Functor Preserves Exact Sequences
 * Definition:Exact Cochain Complex
 * Definition:Cochain Complex
 * Equivalence of Modules and Quasi-Coherent Sheaves
 * Sheaf Associated to Injective Module over Noetherian Ring is Flasque
 * Definition:Sheaf of Modules Associated to Module
 * Definition:Sheaf of Modules
 * Flasque Sheaf is Acyclic
 * Right Derived Functor by Acyclic Resolution


 * Vanishing of Quasi-Coherent Sheaf Cohomology of Affine Scheme
 * Definition:Category of Quasi-Coherent Sheaves of Modules
 * Equivalence of Definitions of Sheaf of Sets
 * Sheaf of Sets iff Set-Valued Sheaf
 * Definition:Pushforward of Morphism of Presheaves
 * Definition:Relative Scheme
 * Definition:Noetherian Scheme
 * Definition:Locally Noetherian Scheme
 * Definition:Čech Cohomology
 * Definition:Global Sections Functor on Topological Space