Algebraic Nature of Fuzzy Subgroups Under Homomorphism