Definition talk:Subgroup

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)