イデアル化と既約性について
https://math.stackexchange.com/q/4746156 での「既約環のWikiの記事は正確なのかどうか？」という Linuxmetel さんの疑問に対する math54321 氏の回答に， \[ (x) \ltimes E(k) \] という半直積で使われる記号が使われた対象が登場したが，…
Liu <Exercises Ch.2 - 3.3>
$U=\operatorname{Spec}(B)$ を $X=\operatorname{Spec}(A)$ の affine open subscheme とする。 $U$ は quasi compact なので、ある $f \in A$ によって $U = D(f)$ と表せる。affine open…