Lots of insightful comments here, John thanks for showing [how to relate monoids to groups and fields](https://forum.azimuthproject.org/discussion/comment/18880/#Comment_18880)!

**EDIT** Btw, clearly \\(\mathbb{F}_2\\) is a **ring**, because it is a monoid under "multiplication", but still it's called a **field**, why so?