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?