# Thread:

1. ## Defining an isomorphism....

Prove that the field R of real numbers is isomorphic to the ring of all 2x2 matrics of the form (0 0; 0 a) with a a real number.

It says to let f(a)=(0 0; 0 a), but I don't know how to show that this is one to one and onto.
Thanks.

2. Originally Posted by zhupolongjoe
Prove that the field R of real numbers is isomorphic to the ring of all 2x2 matrics of the form (0 0; 0 a) with a a real number.

It says to let f(a)=(0 0; 0 a), but I don't know how to show that this is one to one and onto.
Thanks.
Are you sure you don't mean matrices of the form

$\left( \begin{array}{cc}<br /> a & 0 \\<br /> 0 & a \end{array}<br /> \right)$?

As the set you gave has no identity.

Think about it for a bit - what does surjective mean? take an arbitrary matrix of this form. Is this mapped onto by something? What if two matrices were mapped to by the same element, what would this mean with respect to the elements which were mapping to it?

Are you confident with the definitons of surjectivity and injectivity?

3. No, the book says matrices of the form (0 0; 0 a). Doesn't this have identity
(0 0; 0 1)? Identity doesn't have to be (1 0; 0 1)

4. Originally Posted by zhupolongjoe
No, the book says matrices of the form (0 0; 0 a). Doesn't this have identity
(0 0; 0 1)? Identity doesn't have to be (1 0; 0 1)
Yes, you're right. One day I will learn to think before I type.

5. When are two matrices equal? I guess answering this question will instantaneously make your map become one-to-one and onto.

6. Okay, I think I got it actually. Maybe I was just making this problem harder than it really is.
{"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": 1, "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.3, "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.9667468667030334, "perplexity_flag": "middle"}