Cfrgtkky

Can this be done by induction instead of just proving the subgroup criterion? I can prove using the essentials tools of group theory, but looking at the problem, I was wondering if we can simply use an induction argument.

Given we have a chain of ascending subgroups of a group $G$...
$$H_1le H_2le....$$
Is the union
$$bigcup_{i=1}^infty{H_i}le G$$

For the first case, we have that $H_1le H_2$ and thus, $H_1subseteq H_2$ means that in terms of their union,

$$bigcup_{i=1}^2{H_i}=H_2le G$$

Thus, for an arbitrary $n>2$ we can assume that
$$bigcup_{i=1}^n{H_i}=H_nle G$$
Then
$$bigcup_{i=1}^{n+1}{H_i}=left(bigcup_{i=1}^{n}{H_i}right)cup H_{n+1}=H_ncup H_{n+1}=H_{n+1}le G$$

Thus, for any whole value of $n$, the claim is true.

My worry is the infinite upper bound. But I feel like induction takes care of that.

Induction (the conventional way) only takes care of the "for any whole value of $n$" part. It can never let you conclude anything for the entire infinite union. There is such a thing as transfinite induction, but even then the induction step is split into separate steps for the cases which have an immediate predecessor and cases which don't. The infinite union doesn't have an immediate predecessor, and thus the standard induction step will never reach it.

However, clearly the union is a subset, and clearly that subset contains the identity element, so we're a good way of the way there. When showing that it has inverses and that it's closed under products, it pays to know that any finite collection of elements in the union is contained in some finite union as well. And you already know that any of the finite unions is a group.

Of course $1inbigcup_{i=1}^{infty}H_i$ and for any $gin H_i$,$hin H_j$ say without loss of generality that $ileq j$ then $gin H_j$ too and since this is a subgroup You have
$$ghin H_jsubset bigcup_{i=1}^{infty}H_i$$
and thus $bigcup_{i=1}^{infty}H_i$ is a subgroup. That's all. You don't argue via induction!

$textbf{Edit:}$ what was missing, for any $ginbigcup_{i=1}^{infty}H_i$ there exists an $i$ so that $gin H_i$, actually this implies $gin H_j$ for all $ileq j$, but we don't need this here. Since $H_i$ is a subgroup $g^{-1}in H_isubseteq bigcup_{i=1}^{infty}H_i$.

(I should have read the question more carefully. What follows is a proof by the method the OP excluded.)

Since $ein H_1$, we have $$ein H_1subseteqbigcup_{i=1}^{infty}H_i=:mathcal{U}.$$ Hence $mathcal{U}$ is nonempty.

Let $g, hinmathcal{U}$. Then $gin H_k$ and $hin H_ell$ for some $k, ell$. Assume w.l.o.g. that $k<ell$. Then the ascending chain condition gives that $gin H_ell$. Since $hin H_ell$ and $H_ell$ is a subgroup of $G$, $h^{-1}in H_ell$. Thus $gh^{-1}in H_ell$. Hence $gh^{-1}in mathcal{U}$.

Hence, by the one-step subgroup lemma, we have

$$mathcal{U}le G.$$