We show that the complexity of the Lie module Lie(n)Lie(n) in characteristic pp is bounded above by mm where pmpm is the largest pp-power dividing nn and, if nn is not a pp-power, is equal to the maximum of the complexities of \Lie(pi)\Lie(pi) for 1≤i≤m1≤i≤m.
生成讲解博客的中文版本
生成AI智能校验的中文版本