# Question about Semigroups, Monoids, and Groups

My book defines semigroups, monoids and groups in a traditional way. Where semigroups are defined with associativity, monoids with associativity and identity and groups with associativity, identity and inverses (where these objects all include the closure property).

Definitionally, it is clear to me not all semigroups are groups, and not all monoids are groups, as groups have more structure.

But I have a few questions around the definitions that the book doesn't make clear.

Question 1: are all groups considered semigroups and are all groups considered monoids? Technically the group definition satisfies the properties of semigroups and monoids, but it isn't clear if they are considered distinctly different mathematical objects.

Question 2: If Question 1) is true, then would this also imply all monoids are semigroups?

• In mathematics, you aren't limited to being one kind of thing. A field, for example, is simultaneously an algebra, ring, vector space, abelian group, monoid (in two different ways) and semigroup (in two different ways!) under appropriate specification of binary operations. – rschwieb Feb 8 at 16:45