Z3-graded identities of the pair (M3(K),gl3(K))
Let Mn(K) be the algebra of n×n matrix over an infinite integral domain K. Let gln(K) be the Lie algebra of n×n matrix with the usual Lie product over K. Let G={g1,…,gn} be a group of order n. We describe the polynomials that form a basis for the G-graded identities of the pair (Mn(K),gln(K)) with an elementary G-grading induced by the n-tuple (g1,…,gn). In the end, we describe an explicit basis for the Z3-graded identities of the pair (M3(K),gl3(K)).