Definition:Group of Units of Monoid