Geodesic
On the finite basis property of abstract $T$-spaces
Fundamentalʹnaâ i prikladnaâ matematika, Tome 1 (1995) no. 3, pp. 669-700 
A. V. Grishin. On the finite basis property of abstract $T$-spaces. Fundamentalʹnaâ i prikladnaâ matematika, Tome 1 (1995) no. 3, pp. 669-700. http://geodesic.mathdoc.fr/item/FPM_1995_1_3_a7/
@article{FPM_1995_1_3_a7,
     author = {A. V. Grishin},
     title = {On the finite basis property of abstract $T$-spaces},
     journal = {Fundamentalʹna\^a i prikladna\^a matematika},
     pages = {669--700},
     year = {1995},
     volume = {1},
     number = {3},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/FPM_1995_1_3_a7/}
}
TY  - JOUR
AU  - A. V. Grishin
TI  - On the finite basis property of abstract $T$-spaces
JO  - Fundamentalʹnaâ i prikladnaâ matematika
PY  - 1995
SP  - 669
EP  - 700
VL  - 1
IS  - 3
UR  - http://geodesic.mathdoc.fr/item/FPM_1995_1_3_a7/
LA  - ru
ID  - FPM_1995_1_3_a7
ER  - 
%0 Journal Article
%A A. V. Grishin
%T On the finite basis property of abstract $T$-spaces
%J Fundamentalʹnaâ i prikladnaâ matematika
%D 1995
%P 669-700
%V 1
%N 3
%U http://geodesic.mathdoc.fr/item/FPM_1995_1_3_a7/
%G ru
%F FPM_1995_1_3_a7

Voir la notice de l'article provenant de la source Math-Net.Ru

Let $F=k\langle x_1,\dots,x_i,\dots\rangle$ be the free countably generated algebra over a field $k$ of the characteristic 0. A vector subspace $V$ of the algebra $F$ is called a $T$-space of $F$ if it is closed under substitutions. It is clear that an ideal $I$ of $F$ is a $T$-ideal if and only if $I$ is a $T$-space of $F$. The aim of this paper is to introduce the definition of the abstract $T$-space and to prove the finite basis property for some large class of $T$-spaces. The main result of this paper is the following Theorem. Let $I$ be a $T$-ideal of algebra $F$ which contains a Capelly polynomial. Then every $T$-space of $F/I$ is finitely based. The statement of this theorem allows us to give a positive answer to the local Specht's problem (A. Kemer gave a positive answer to Specht's problem using another approach) and to the representability problem.

[1] Grishin A. V., “O konechnoi baziruemosti sistem obobschennykh mnogochlenov”, Izv. AN SSSR. Ser. matem., 54:5 (1990), 899–927 | MR | Zbl

[2] Kemer A. R., “Konechnaya baziruemost tozhdestv assotsiativnykh algebr”, Algebra i logika, 1987, no. 5, 597–641 | MR

[3] Rowen L. H., Polinomial identities in Ring Theory, Academic Press, New York, 1980 | MR | Zbl

[4] Brown A., “The radical in a finitely generated PI-algebra”, Bull. Amer. Math. Soc., 7:2 (1982), 385–386 | DOI | MR

[5] Grishin A. V., “Beskonechno baziruemoe $T$-prostranstvo nad polem kharakteristiki 2”, Tezisy dokl. mezhdunar. konf. po algebre i analizu, posvyaschennaya 100-letiyu so dnya rozhdeniya N. G. Chebotareva (5–11 iyunya, 1994 g.), Kazan, 29 | MR

[6] Grishin A. V., “Pokazatel rosta mnogoobraziya algebr i ego prilozheniya”, Algebra i logika, 28:5 (1987), 536–557 | MR

[7] Grishin A. V., “On the finite basis property of $T$-spaces over field of finite characteristic”, Proc. of the Moscow-Tainan alg. workshop, 1994