Let be an F-Algebra homomorphism. I understand this to mean that and have the same algebraic structure (the meaning of which is also a little fuzzy to me…). Often we say in class “ respects the operations.”
Is it true that the pre-image of under contains (possibly multiple) pre-images of the basis vectors of ?
If so, then I have a follow up:
We often try to show that is bijective in order to establish an isomorphism. Is this necessary? Would any bijective map from the basis of to the basis of extend linearly to a bijection between the algebras? Further, would the fact that they are homomorphic (by ) and the existence of some bijection between them establish an isomorphism even though and may be unrelated?
Lastly, must any homomorphism between isomorphic objects be bijective? (Does bijective imply bijective?)