Finding the Inverse of an Epimorphism

[Bashyboy]

Homework Statement

Let $f : G \rightarrow H$ be an epimorphism from a group $G$ to $H$ and let $h \in H$, then $f^{-1} (h) = g ~ker(f)$.

Homework Equations

The Attempt at a Solution

So, if I understand the problem correctly, we are trying to find a epimorphism which has a rule such that its inverse has the rule $f^{-1} (h) = g~ker(f)$, which essentially says that $f^{-1}$ maps an element in $H$ to a left-coset of $ker(f)$. In this light, I am rather confused why they say that $f$ maps between the groups $G$ and $H$, rather than $G/g~ker(f)$ and $H$.

I am having a rather difficult time finding such a rule for the epimorphsim $f$, so that $f^{-1} (h) = g~ker(f)$.

 

[Stephen Tashi]

Homework Statement

Let $f : G \rightarrow H$ be an epimorphism from a group $G$ to $H$ and let $h \in H$, then $f^{-1} (h) = g ~ker(f)$.

Did you omit something that tells us what the lowercase g is?

So, if I understand the problem correctly, we are trying to find a epimorphism which has a rule such that

My guess is that the problem wants you prove a fact that is true for any epimorphism, from G onto H, not merely for a particular one that we must create.

 

[Bashyboy]

Did you omit something that tells us what the lowercase g is?

Oh, yes. I neglected to mention that $g \in G$.

 

[Stephen Tashi]

Oh, yes. I neglected to mention that $g \in G$.

You've neglected to mention whether the statement says "then for each g \in G ,,, or whether it says "then there there exists a g \in G ,,, ,

 

[Bashyboy]

Sorry, again. The full statement is

Let $f : G \rightarrow H$ be an epimorphism from the group $G$ to $H$ and let $h \in H$, then $f^{-1}(h) = g ~ker(f)$ for some $g \in G$.

By the way, I am slightly confused as to what $f^{-1} (h) = g ~ker(f)$ even means. What is the rule of assignment? Obviously, $h$ gets mapped to $g~ker(f)$, but what would, say, $h_1$ get mapped to? $g_1 ~ker(f)$? It does not seem clear.

 

[Bashyboy]

Here is another thing with which I am concerned. Isn't $f^{-1}$ mapping an element in $H$ to an element in $G/g~ker(f)$? And is it not true that $f$ and $f^{-1}$ have to be acting over the same sets? If we are letting $f : G \rightarrow H$, it would not seem that they are acting over the same sets.

 

[Stephen Tashi]

f^{-1}(h) denotes the set of elements of elements in G that f maps to h.

but what would, say, $h_1$ get mapped to? $g_1 ~ker(f)$? It does not seem clear.

You should form the habit of getting your variables like h_1, g_1 within a proper "scope". If you are familiar with computer programming, a variable like "x" in a computer program might have one meaning in one function and another meaning in another function. The syntax checking of the compiler forces you to put a variable like "x" within some "scope". If you don't, it tells you the variable is "undefined". The scope of variables in written mathematics is done less formally, but the effect must still be there to make the writing clear. The scope of a variable like h is usually defined by a quantifier, such as "for each" or "there exists". In your problem the phrase "for some h " is used instead of "there exists an h". English has a great variety of phrases the have the same meaning when interpreted as pure logic.

How are you using the variable h_1? What defines its scope? Do you want to say "Let h_1 be an arbitrary element of H"? When we want to make a statement of the form "For each h_1 \in H. ..." we can say that in English by the phrase "Let h_1 be an arbitrary element of H".

Defining the scope of variables in your writing, will help you think clearly. Using an extensive vocabulary is good style in writing fiction, but in writing mathematics, you get a clearer result by using a limited vocabulary. Take for example, your use of the word "acting". There are technical definitions for the relation "acts on" in various mathematical contexts. You haven't explained what you mean by "acting".

 

[Bashyboy]

$f^{-1}(h)$ denotes the set of elements of elements in $G$ that $f$ maps to $h$ .

Okay, I see. So, does $f^{-1}(h)$ denote the preimage of a single element $h \in H$? I was confusing it with the inverse mapping of $f$.

 

[Bashyboy]

Okay, I think I may have a proof:

Let $y \in ~ker(f)$, which implies that $f(y) = e_H$, where $e_H$ is the identity of $H$. Let $x \in G$ be such that $f(x) = h$, where $h \in H$ is some arbitrary element.

Note that $x \star_G y \in x ~ker(f)$.

$f(xy) = f(x) f(y) \iff$

$f(xy) = h \star_H e_H \iff$

$f(xy) = h$

So, $f$ maps the element $x \star_G y \in x~ker(f)$ to some element $h \in H$. Therefore, the preimage of the element $h$ is $x~ker(f)$.

Does this seem correct?

 

[Stephen Tashi]

Does this seem correct?

No. It's ambiguous. Your aren't expressing the logical quantifiers clearly.

Generally when you wish to prove the equality of two sets, the cleareset way is to show each is a subset of the other. Try that approach.

Perhaps you showed for each h and each y and each x that h \in H and y \in ker(f) and x \in f^{-1}(h) implies xy \in x\ ker(f)

The problem asks us to prove:
For each h \in H there exists a g \in G such that f^{-1}(h) = g \ ker(f).

i.e. We must show that there exists a g \in G such that the following hold
1) f^{-1} (h) \subset g\ ker(f) i.e. for each x if x \in f^{-1}(h) then x \in g\ ker(f)
2) g\ ker(f) \subset f^{-1}(h) i.e for each x if x \in g\ ker(f) then x \in f^{-1}(h).To make the "for each" and "there exists" logical quantifiers clear we can say "Let h be an arbitrary element of H. There exists at least one element g such that f(g) = h since f is an epimorphism." Proceed to prove 1) and 2).

 

[Bashyboy]

Okay, so in post #9 I demonstrated that $g ~ker(f) \subset f^{-1}(h)$ by showing that some arbitrary element in $g~ker(f)$ gets mapped to the element $h$, implying that the element is also in $f^{-1}(h)$.

Now, I am trying to prove the statement 1) you mentioned in post #10. Here is my work:

Let $x \in f^{-1}(h)$ be arbitrary. Then by definition of the preimage, this implies that $f(x) = h$. Let us form the left-coset of $ker(f)$ from the element $x$: $x~ker(f)$. We know that $x \in x ~ker(f)$. Therefore, the arbitrary element $x$ in $f^{-1}(h)$ was just shown to be in $x~ker(f)$ also. Therefore, $f^{-1} \subset x~ker(f)$.

Because the two sets are subsets of each each, they must be equal.

 

[Stephen Tashi]

Okay, so in post #9 I demonstrated that $g ~ker(f) \subset f^{-1}(h)$ by showing that some arbitrary element in $g~ker(f)$ gets mapped to the element $h$, implying that the element is also in $f^{-1}(h)$.

You might have shown that, depending on how you intend to incorporate the symbol g in that work.

Now, I am trying to prove the statement 1) you mentioned in post #10. Here is my work:

Let $x \in f^{-1}(h)$ be arbitrary. Then by definition of the preimage, this implies that $f(x) = h$. Let us form the left-coset of $ker(f)$ from the element $x$: $x~ker(f)$.

The left coset x\ ker(f) isn't relevant. You need to show x is in the left coset g\ ker(f).
The symbol g is used earlier in the proof to denote a specific element.. You should give an argument that is still within the "scope" of that use of g.

 

[Stephen Tashi]

It's worth remembering that, in a group, first degree equations always have a unique solution. For example, to solve for y in the equation ay = b you can multiply both sides on the left by a^{-1} obtaining y = a^{-1} b.

As a consequence of this, if you are discussing a element h, you can always force another element g into the discussion by factoring h into a product invovling g. To find the factorization with g on the left, you solve equation h = gy for y obtaining y = g^{-1}h and h = g( g^{-1} h).

If your instructor allows you do "obvious" steps without detailed explanations, you could simply say "Factor h as follows: h = (e_G) h = (g g^{-1}) h = g (g^{-1} h)

We have assumed x \in f^{-1}(h). This implies f(x) = h
Using the above factorization, f(x) = h = g (g^{-1}x) This has the form g times something. To show x \in g\ ker(f) you need to show the factor g^{-1} x is in ker(f). To do that you need to show f(g^{-1} x) is the identity. Show that by showing it is equal to h^{-1} h.