How would I solve this algebra problem?

Status
Not open for further replies.

Dari

Lifer
Oct 25, 2002
17,133
38
91
Prove that a homomorphism is surjective iff its rank is the dimension of its codomain.
 

simpletron

Member
Oct 31, 2008
189
14
81
Prove that a homomorphism is surjective iff its rank is the dimension of its codomain.

try proving the contrapositive:

if its rank is not the dimension of its codomain then the homomorphism is not surjective
 

Dari

Lifer
Oct 25, 2002
17,133
38
91
1.One direction is obvious: if the homomorphism is onto then its range is the codomain and so its rank equals the dimension of its codomain. For the other direction assume that the map's rank equals the dimension of the codomain. Then the map's range is a subspace of the codomain, and has dimension equal to the dimension of the codomain. Therefore, the map's range must equal the codomain, and the map is onto. (The "therefore" is because there is a linearly independent subset of the range that is of size equal to the dimension of the codomain, but any such linearly independent subset of the codomain must be a basis for the codomain, and so the range equals the codomain.)
 
Status
Not open for further replies.