Some properties of the dot product over the free module Znm

• 自由模Znm上点积的若干性质