A nonanomalous horizontal U(1)(H) gauge symmetry can be responsible for the
fermion mass hierarchies of the minimal supersymmetric standard model. Imp
osing the consistency conditions for the absence of gauge anomalies yields
the following results: (1) unification of leptons and down-type quark Yukaw
a couplings is allowed at most for two generations; (ii) the mu term is nec
essarily somewhat below the supersymmetry breaking scale; (iii) the determi
nant of the quark mass matrix vanishes, and there is no strong CP problem;
(iv) the superpotential has accidental B and L symmetries. The prediction m
(up) = 0 allows for an unambiguous test of the model at low energy.