Characterization of Certain T-ideals from the view point of representation theory of the Symmetric Groups
2010 Mathematics Subject Classification: 08B20, 16R10, 16R40, 20C30. Let K[X] be a free associative algebra (without identity) over a field K of characteristic 0 with free generators X = (X1, X2, ...), and let Pn be the set of all multilinear elements of degree n in K[X]. Then Pn is a KSn-module, where KSn is the group algebra of the symmetric group Sn. An ideal of K[X] stable under all endomorphisms of K[X] is called a T-ideal. If L is an arbitrary T-ideal of K[X] then Ln := Pn ∩ L...