Kategorie:Theorie der algebraisch abhängigen Elemente über einem kommutativen Ring/Fakten