Definition talk:Subgroup

From ProofWiki
Jump to navigation Jump to search

Subgroup of algebraic structure?

Doesn't one typically speak of subgroups of groups? --Dfeuer (talk) 04:27, 2 January 2013 (UTC)

"It is usual that $\left({G, \circ}\right)$ is itself a group, but that is not necessary for the definition." So typically yes, but you could have a subgroup of, say, a monoid that wasn't itself a group. --Alec (talk) 05:16, 2 January 2013 (UTC)