I have been thinking the relation between two stable groups formed as follow:
- $GL(2,\mathbb R)\subseteq GL(3,\mathbb R)\subseteq\cdots GL(n,\mathbb R)$, $G(\infty,\mathbb R)=\cup_{n=2}^{\infty} GL(n,\mathbb R)$
1)Gl(2,\R)\subseteq\GL(3,\R)\subseteq\cdots\GL(n,\R) G(\infty,\R)=\cup_{n=2}^{\infty}GL(n,\R) 2)GL(3,\R)\subseteq\GL(5,\R2)\subseteq\cdots\GL(2n+1$GL(3,\mathbb R)\subseteq GL(5,\mathbb R)\subseteq\cdots GL(2n+1,\mathbb R)$,\R) H(\infty,\R)=\cup_{n=1}^{\infty}GL(2n+1,\R)$H(\infty,\mathbb R)=\cup_{n=1}^{\infty}GL(2n+1,\mathbb R)$
It is clear that H(\infty,\R)$H(\infty,\mathbb R)$ is a subgroup of G(\infty,\R)$G(\infty,\mathbb R)$. Do you think that they might be isomorphic as a groups? If they are not, then what is the proper approach to explain them?
I can write a map from G(\infty,\R)$G(\infty,\mathbb R)$ to H(\infty,\R)$H(\infty,\mathbb R)$, for instance if $A\in GL(2,\R)$$A\in GL(2,\mathbb R)$ and I want to send it to $GL(5,\R)$GL(5,\mathbb R)$, then the map take A$A$ and send it to diag(A,I_{3})$diag(A,I_{3})$. This map injective homomorphism, but it is nor surjective!
I do not know maybe they are not isomorphic, but in this case how can convienceconvince myself?
Many thanks.