Properties of quantum entropy