例文Moreover, Q _ { max } ^ r ( R ) is a finite direct product of full linear rings if and only if " R " has a nonsingular, faithful module with finite uniform dimension.