# First Isomorphism Theorem/quotient group question

Printable View

• July 28th 2011, 03:55 AM
hmmmm
First Isomorphism Theorem/quotient group question
Let G be the group of invertible upper triangular 2x2 matrices over the real numbers. Determine if the following are normal subgroups and if they are use the frist isomorphism theorem to identify the quetient group G/H.

where H is

a) $a_{11}=1$

b) $a_{11}=a_{22}$

I have checked (hopefully correctly) that these are both normal subgroup (via $gHg^{-1}=H$) However I am unsure as to what the next part is actually asking me?

Thanks for any help
• July 28th 2011, 04:42 AM
Swlabr
Re: First Isomorphism Theorem/quotient group question
Quote:

Originally Posted by hmmmm
Let G be the group of invertible upper triangular 2x2 matrices. Determine if the following are normal subgroups and if they are use the frist isomorphism theorem to identify the quetient group H.

where H is

a) $a_{11}=1$

b) $a_{11}=a_{22}$

I have checked (hopefully correctly) that these are both normal subgroup (via $gHg^{-1}=H$) However I am unsure as to what the next part is actually asking me?

Thanks for any help

For a) the question is now wanting you to find a map from G to another group, H, such that the kernel is the set of all matrices such that $a_{11}=1$. It is analogous for b).

If you have any trouble finding these maps, just ask. People will happily surrender the answers, but you finding them yourself is much, much more useful!

Finally, what are your matrices over? $\mathbb{Z}$? $\mathbb{Q}$? $\mathbb{R}$? Some arbitrary field? (The question doesn't really make sense unless you know this...)
• July 28th 2011, 05:34 AM
hmmmm
Re: First Isomorphism Theorem/quotient group question
Sorry I should have said that it is over the real numbers I have edited it now.

Im a bit confused by your answer I want to find an isomorphism from G to H (H being a subgroup of G this isnt possible is it?) or do you just mean a different group H'

Thanks for the help sorry for my confusion

for a

So am I looking for a map $\phi:G\rightarrow G'$ such that $\phi(g)\rightarrow a_{11}$ and where $G'=(\mathbb{R^*},\times)$?

So the quotient group G/H is isomorphic to $\mathbb{R^*},\times)$
• July 28th 2011, 11:58 AM
Swlabr
Re: First Isomorphism Theorem/quotient group question
Quote:

Originally Posted by hmmmm
Sorry I should have said that it is over the real numbers I have edited it now.

Im a bit confused by your answer I want to find an isomorphism from G to H (H being a subgroup of G this isnt possible is it?) or do you just mean a different group H'

Thanks for the help sorry for my confusion

for a

So am I looking for a map $\phi:G\rightarrow G'$ such that $\phi(g)\rightarrow a_{11}$ and where $G'=(\mathbb{R^*},\times)$?

So the quotient group G/H is isomorphic to $\mathbb{R^*},\times)$

Yeah, sorry, I just meant a different group. The isomorphism looks correct, and would be my first guess, but you should check first that it is well-defined, surjective, and that the kernel is what you want it to be...
All times are GMT -8. The time now is 03:16 PM.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 18, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9381910562515259, "perplexity_flag": "middle"}