# Thread:

1. ## Well-Defined function

I have a more general question about this, but thought I'd use a specific example instead.
I was trying to prove the Second Iso. Theorem for groups. Say G is a group and N a normal subgroup. I define the function f from {subgroups of G/N} to {subgroups of G containing N} by
$f(H') = \{g \in G : gN \in H' \}$.
I know this is well-defined but I would like to prove it. I know in general you take two elements in the domain, suppose they are equal and try to derive their image is equal. Then let
$\{ h_{1}N, h_{2}N,... \} = \{k_{1}N, k_{2}N,... \}$.
Then you can identify cosets on the left with cosets on the right, so $h_{i}N=k_{j}N$. This only tells me that $k_{j}^{-1}h_{i}$ is in N. What do I do with this information? Should I do it some other way?
Am I over-estimating the fact its well defined-ness is not obvious? I know in general the question of well-defined comes up if, for example in equivalence classes, there is ambiguity of representative. Here there doesn't really seem to be such a problem, right? I don't know, I recently started to realise I should question whether functions I construct are well-defined or not, but I don't know when it's necessary to so or when it's obvious it is.

2. The map you have defined does not seem to have anything to do with the Second Isomorphism Theorem that I know. Are you trying to prove this? Lattice theorem - Wikipedia, the free encyclopedia

If you think about your map for a moment, you realise that it simply regurgitates the contents of all of the cosets in $H'$; therefore, the map does not depend on representatives at all.

I also think that your map is just a complicated way of defining $\pi^{-1}(H')$, where $\pi:G\to G/N$ is the canonical homomorphism.

3. Yeah it is the correspondence theorem. Sorry, I've always been introduced to the theorem (both for rings and groups) as the Second Isomorphism Theorem. Even the book I'm using does so... I don't really know why some people label it this way.

I also think that your map is just a complicated way of defining , where is the canonical homomorphism.
Well the way I was going about it is define two functions, one in one direction and one in the other. To show the required correspondence, show they are inverse to each other.
The reason I did it this way is because I was having trouble proving injectivity with $\pi$. But that's another problem.
Thank you for the help!
{"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": 8, "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.9707452058792114, "perplexity_flag": "head"}