模的SmashProduct及分次迹和分次余迹

在群分次环的分次模范畴上定义了分次迹，分次余迹和分次模的ＳｍａｓｈＰｒｏｄｕｃｔ，证明了关于迹与余迹的许多结论对分次迹与分次迹仍成立。