Should augmentation preserve 1?

[shwaka]

AugmentedDegreeGroup.augmentation で 1 を送ったものが 1 になるべきか明文化しておく。

数学的に書くと、以下の通り。

• DegreeGroup is a group G together with a group homomorphism η: ℤ→G.
• AugmentedDegreeGroup is a DegreeGroup (G, η) together with a group homomorphism ε: G→ℤ.
  • Question: Do we need to assume εη = id_ℤ?

[shwaka]

augmentation を使うのは Monomial の列挙をするときだけな気がするので、 εη = id_ℤ は多分不要。