Identidades Polinomiais e Cocaracteres de Álgebras de Matrizes, e o Problema do Mergulho