「A上の環B」に対する多項式環の普遍性について

数学原論

上記の書籍では、「A上の環B」の説明がかなり端折られていて、命題2.4.3の証明に苦しんだので、「A上の環B」の定義を含めて詳しく紐解きました。