On the quantum superalgebra U_q(gl(m,n)) and its representations at roots of 1

An purely algebraic proof of the PBW theorem of U_q(gl(m,n)) is given. Lusztig's conjecture is extended to the super case. The Lusztig's tensor product theorem is established.