Let F be a field of characteristic zero and let m≥2 be an integer. In this paper, we prove that if a group grading on UTm(F) admits a graded involution then this grading is a coarsening of a Z⌊m2⌋-grading on UTm(F) and the graded involution is equivalent to the reflection or symplectic involution on UTm(F), this grading is called the finest grading on UTm(F). Furthermore, if m≤4 the algebra UTm(F) with the finest grading satisfies no non-trivial monomial identities. For the finest grading, a finite basis for the (Z⌊m2⌋,⁎)-identities is exhibited with the reflection and symplectic involutions and the asymptotic growth of the (Z⌊m2⌋,⁎)-codimensions is determined. As a consequence, we prove that for any G-grading on UTm(F) and any graded involution the (G,⁎)-exponent is m. Finally, we study the algebra UT3(F). For this algebra, there are, up to equivalence, two non-trivial gradings that admit a graded involution: the canonical Z-grading and the Z2-grading induced by (0,1,0). We determine a basis for the (Z2,⁎)-identities and we compute the codimension sequence for the (Z2,⁎)-graded identities for UT3(F).
Read full abstract