Algorithmic problems in associative algebras (Q1346910): 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 / author | |||
Property / author: Ualbei Utmakhanbetovich Umirbaev / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5821489 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Subalgebras of Free Associative Algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4297725 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4189352 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Using Gröbner bases to determine algebra membership, split surjective algebra homomorphisms determine birational equivalence / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5519136 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The equality problem and free products of Lie algebras and of associative algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3831180 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the cohomology groups of an associative algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3909162 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2026893279 / rank | |||
Normal rank |
Latest revision as of 10:49, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Algorithmic problems in associative algebras |
scientific article |
Statements
Algorithmic problems in associative algebras (English)
0 references
20 April 1995
0 references
The author proves that the occurrence problem for free algebras in the variety of algebras obeying the identity \([x_1,x_2][x_3,x_4][x_5,x_6][x_7,x_8]=0\) is undecidable. The next result is that there is no algorithm determining whether or not a finite system of elements in a free associative algebra is algebraically dependent. And the last result is that there exists a f.g. associative algebra with undecidable word problem, such that its relation module is free. These undecidability results are proven by interpretation of two-tape Minsky machines. In the proof of the second result the cycles in these machines are studied and interpreted as dependences in algebras.
0 references
algorithmic problems
0 references
algebraic dependence
0 references
occurrence problem
0 references
free algebras
0 references
variety of algebras
0 references
undecidable word problem
0 references
relation modules
0 references
undecidability results
0 references
two-tape Minsky machines
0 references