# Is the infinite intersection of subgroups still a subgroup?

Suppose $H_i < G$ where $G$ is a group, and $H_i$ is a subgroup of $G$. Then it is true that $\bigcap_{i=1}^{\infty} H_i$ still a subgroup?

-
Have you tried to prove it is? –  Tara B Feb 20 '13 at 23:45
As a general rule, the intersection of a(ny) family of substructures turns out to be a substructure. –  Pete L. Clark Feb 20 '13 at 23:46
It's easier for finite intersection, not sure if I can apply the same technique for infinite –  love Feb 20 '13 at 23:48
@love: Well, when you're not sure, just try, and see if it works. =] –  Tara B Feb 20 '13 at 23:52
Sure it is. It contains $1$, and then if $a, b \in \bigcap_{i=1}^{\infty} H_i$, then $a, b \in H_i$ for each $i$, so $a b^{-1} \in H_i$ for each $i$, so $a b^{-1} \in \bigcap_{i=1}^{\infty} H_i$.