Schreier varieties of algebras (Q1892819): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Q326366 / rank | |||
Property / reviewed by | |||
Property / reviewed by: Boris M. Vernikov / rank | |||
Property / author | |||
Property / author: Ualbei Utmakhanbetovich Umirbaev / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Boris M. Vernikov / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5801396 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5825747 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5821489 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Die Unterringe der freien Lieschen Ringe / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Schreier Varieties of Linear Algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3697196 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3717247 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: SOME PROPERTIES OF SUBALGEBRAS IN VARIETIES OF LINEAR $ \Omega$-ALGEBRAS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5639812 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Subalgebras of Free Associative Algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5622399 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3889234 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4297725 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3871053 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3909162 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W3146705479 / rank | |||
Normal rank |
Latest revision as of 10:30, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Schreier varieties of algebras |
scientific article |
Statements
Schreier varieties of algebras (English)
0 references
26 June 1995
0 references
A variety \({\mathcal X}\) is called a Schreier one if a subalgebra of an \({\mathcal X}\)-free algebra is free. In the sequel the word ``variety'' means ``variety of linear algebras over a field''. Recall that a variety \({\mathcal X}\) is called homogeneous if an identity \(f=0\) implies in \({\mathcal X}\) an identity \(g=0\) whenever \(g\) is a homogeneous component of the polynomial \(f\). If \({\mathcal X}\) is a variety and \(A\in {\mathcal X}\) then \(U_{\mathcal X} (A)\) denotes the universal multiplicative enveloping algebra of \(A\) in \({\mathcal X}\). Let \(F\) be the \({\mathcal X}\)-free algebra over the alphabet \(\{x_1, \dots, x_k, \dots\}\), \(I_F\) the free right \(U_{\mathcal X} (A)\)-module with a base \(\{y_1, \dots, y_k, \dots\}\), \(D: F\mapsto I_F\) the derivation such that \(D(x_i)= y_i\) for all \(i\geq 1\). If \(H\) is a subalgebra of \(F\) then \(J_H\) denotes the submodule of \(I_F\) generated by the set \(\{D(h)\mid h\in H\}\). The main results of the paper are the following three theorems. Theorem 1. Let \({\mathcal X}\) be a homogeneous variety of linear algebras over a field \(F\). Then: 1) if \({\mathcal X}\) is a Schreier variety then the following holds: a) if \(F\) is an \({\mathcal X}\)-free algebra then \(U_{\mathcal X} (F)\) is a free associative algebra; b) if \(F\) is an \({\mathcal X}\)-free algebra and \(H\) is a homogeneous subalgebra of \(F\) then \(U_{\mathcal X} (F)\) is a free right \(U_{\mathcal X} (H)\)-module with a homogeneous base; 2) if \({\mathcal X}\) satisfies the conditions a) and b) and \(\text{char} (F)=0\) then \({\mathcal X}\) is a Schreier variety. Theorem 2. A homogeneous variety \({\mathcal X}\) of linear algebras over a field is a Schreier one whenever it satisfies the condition a) of Theorem 1 and the following condition: c) if \(F\) is an \({\mathcal X}\)-free algebra, \(H\) is a subalgebra of \(F\), \(f\in F\), and \(D(f)\in J_H\) then \(f\in H\). Theorem 3. The variety of linear algebras over a field given by the identity \(xx^2=0\) is a Schreier variety.
0 references
free algebra
0 references
universal multiplicative enveloping algebra
0 references
homogeneous variety of linear algebras
0 references
Schreier variety
0 references