su00000
Results
2
issues of
su00000
This PR proves : If `I` is an ideal of the polynomial ring `S[X]` and contains a monic polynomial `f`, then `S[X]/I` is integral over `S`. If `a ≠ 0`,...
awaiting-author
t-algebra
new-contributor
This PR contains a proof of Noether normalization lemma: Let `A` be a finitely generated algebra over a field `k`. Then there exists natural number $r$ and an injective homomorphism...
WIP
blocked-by-other-PR
t-algebra
new-contributor