問1: 2多項式の平方の和 f_1^2 + f_2^2 として表される多項式の全体は, 乗法に関して半群をつくる事をしめせ.
(服部昭「現代代数学」 p.5 より)

多項式について特に記載がないのですが, 有理数係数の1変数多項式だと思います。
簡単な例だと
(x^2 + x^2)(x^2 + (2x)^2) = 10x^4 = (x)^2 + (3x)^2
こんな感じで乗法に関して閉じてるらしいのです (本当かな...)
どうかよろしくお願いします。