HOMELv007 整域 $D$ において、0でも単元でもない要素が既約元のみの積で一意に書けるものを何と呼ぶか。 2026年5月1日 UFD(Unique Factorization Domain)の定義そのものである。 コーシーのリウヴィルの定理によれば、複素平面全体で正則かつ有界な関数はどのような関数か。 リーマン幾何学において、平行線の公理が成り立たない曲率正のモデルは何か。