Generalized the Fermat's Little theorem over matrices, defined k-Carmichael over matrices. Remarkably, our definition of k-Carmichael being completely different from Howe's definition, yet holds the same Korselt's criterion. Came up with a new primality testing based on 'base-M pseudoprimes' and their eigen value interpretation.