2
$\begingroup$

Why does the subgroup have to be able divide the group? For example why isn't the group:
$S= \{-4,-3,-1,0,1,2,3,4\}$
a subgroup of $G= \{-6,-5,-4,-3,-2,-1,0,1,2,3,4,5,6 \}$? Aren't both additive, have a neutral number, each member has a reciprocal and every member in group $S$ is present in group $G$?

Why do subgroups have such a specific requirement of being be able to divide the group?

  • 1
    Here closureness properties are not satisfied so i dont think they are groups under addition. Here $2+3=5\not\in S$ and $3+4=7\not\in G$.2012-04-24

2 Answers 2

5

A group must be closed under the group operation. Since you said "both are additive," I am going to assume that the group operation on $G$ (and hence $S$) is addition. Then $G$ is not closed under addition ($6 + 1 = 7 \notin G$, for example), unless you are considering $G$ as $\mathbb{Z}/13$. The same issue happens with $S$: $3 + 1 = 4 \notin S$, so $S$ is not closed under the group operation and is hence not a subgroup.

Also, the additive inverse of $-4 \in S$ is not in $S$.

4

If $G$ is a finite group, then according to Lagrange's theorem the order (number of elements) of a subgroup $H$ divides the order of $G$. A proof of this fact can be found in any introductory text on abstract algebra.

The basic idea is that $G$ can be split up into pairwise disjoint parts called cosets that each have the same order $H$ does. Therefore $G$ has order $n \cdot |H|$, where $n$ is the number of these parts and $|H|$ the order of $H$.

  • 0
    And just to clarify, here "pairwise disjoint" means that two different parts have no elements in common.2012-04-24