Let g:A à B and f: B à C. Prove that f is surjective
if f o g is surjective.
Proof (By Ben Mueller):
To start this proof, let’s assume that f o g is surjective. From that, we want to prove that f must also be surjective.
We know that f o g represents a mapping from A à C as f(g(a)) = c, a being in the set A and c in C. Now, since f o g is surjective, there is a g(a) such that f(g(a)) = c for all c in C. Also, since g maps from the set A to the set B, we know that g(a) = b, b being in set B.
This completes our proof because then f(g(a)) = f(b) = c, which implies that f is also surjective (there is a b such that f(b) = c for all c)./(Proof complete)
Let p be a prime integer. Prove
that if [a][b] = 0 in Zp, then
either [a] = 0 or [b] = 0.
Proof (Written by Ben Mueller):
Since [a][b]=0, we know that the product of a and b must be divisible by p (prime integer). Recall Euclids Lemma which states if p divides ab and p is prime, then either p divides a or p divides b. From Euclids Lemma, we can state that p divides a or p divides b. Now, if p divides a, then [a] = 0 and if p divdes b, then [b] = 0./(Proof complete)
Application Problem
Find the multiplicative inverse for the element [5] in Z11.
Solution:
The identity element with
respect to multiplication in Z11 is [1].
We want to find an element [x] in Z11 such that [5][x] = [1].
The following elements are equal to [1] in Z11: [1],[12],[23],[34],[45],[56],[67].
Now, [5][9] = [45] = [1] in Z11. Thus, the multiplicative inverse for the element [5] in Z11 is [9].
Other Abstract Algebra Links:
Click here to return to my math web site.