「環や体や群とはどういう概念か？」
という説明は面倒なので、ググるか、wikipediaでも読んでください。
日本語版wikipediaの環
日本語版wikipediaの体
現状、自分が把握してるのは、以下の2種類のライブラリ。(他にも存在したら、追記するかもしれないので教えて下さい)
http://github.com/non/spire
https://github.com/twitter/algebird
が、しかし、Scalazにも追加しようという話も？
https://github.com/scalaz/scalaz/pull/143
実装の詳細の違いとか、あとで気が向けば、ソースコードを詳しく読んでまとめてみたいですね
以下、ちょっとだけ自分のTLで話題になった際のtweetまとめ
