característica "p" > 0 y "G" es un "p"-grupo finito, entonces el álgebra de grupos "kG"