Abstract:
It is proved that for each finitely generated associative PI-algebra $U$ over an infinite field $F$, there is a finite-dimensional $F$-algebra $C$ such that the ideals of identities of the algebras $U$ and $C$ coincide. This yields a positive solution to the local problem of Specht for algebras over an infinite field: A finitely generated free associative algebra satisfies the maximum condition for $T$-ideals.