Uma propriedade das álgebras de Grassmann não-unitárias sobre um corpo de característica prima e suas aplicações

Abstract

Seja K um corpo de característica p >2. Sejam H a álgebra de Grassmannnão-unitária de dimensão infinita e Hna álgebra de Grassmann não unitária de um espaço vetorial de dimensão finita n, ambas sobre K. Seja A =K<Y,Z>/T2(H) a álgebra relativamente livre Z2-graduada da variedade de K-álgebras associativas Z2-graduadas não-unitárias determinada por H. Seja D = K<X>/T(H) a álgebra relativamente livre da variedade de álgebras associativas não-unitárias (sem graduação) determinada por H. Nesse trabalho construímos um mergulho de A em H, que determina um mergulho de D em H. Isso nos permite dar demonstrações simples e unificadas de resultados sobre identidades polinomiais e polinômios centrais de H e Hnobtidos anteriormente por vários autores. Os resultados obtidos também são válidos se K é um domínio de integridade de característica p >2. Estudamos também a álgebra de Grassmann unitária E de dimensão infinita sobre um corpo finito. Seja K um corpo finito e K1<X>a álgebra associativa livre unitária, livremente gerada por X. Damos uma representação de K1<X>/T (E) como produto tensorial da álgebra comutativa A = K[T]/I, onde I é o ideal de K[T] gerado por tq-t, e a álgebra B = K1<Y>/V , onde V é o T-ideal de K<Y>(ou seja, da álgebra associativa livre não-unitária) gerado por y1p e pelo comutador triplo [y1, y2;,y3]. Essa representação nos permite dar uma demonstração mais simples do resultado de Bekh-Ochire Rankin sobre uma base de identidades polinomiais de E sobre um corpo finito.