最近（2019年5月11日から12日），立腹層 さんから「一意分解整域の議論は整域の乗法から定まる可換モノイドの言葉で整理できる」という話を聞いて，なるほどと思ったのでまとめました．一意分解整域のノートといいながら，ほとんど可換モノイドについて調べています．必要に思えたので「順序型可換モノイド」という概念を導入したのですが，これにはすでに名前が付いているのでしょうか？あるいは，簡単な同値条件があるのでしょうか？
2019-05-18: 公開
2019-05-31: 「順序型可換モノイド」について，いたりんっ さんに情報を教えていただきました．「naturally partially ordered」や「H-trivial」などと呼ぶようです．（Twitter，Mathematics Stack Exchange）
2019-08-12: 誤植などを修正し，概要と目次を追加しました．また，参考文献を追加しました．