An algorithm for computing graded algebras (Q1318850): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
 
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1006/jsco.1993.1052 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1979137832 / rank
 
Normal rank

Latest revision as of 18:12, 19 March 2024

scientific article
Language Label Description Also known as
English
An algorithm for computing graded algebras
scientific article

    Statements

    An algorithm for computing graded algebras (English)
    0 references
    1 December 1994
    0 references
    The author considers finite dimensional (non associative) graded algebras \(A=\bigoplus_{i=0}^ c A_ i\) over a field \(K\) that satisfy \(A_ k=\bigoplus_{k=i + j} A_ i A_ j\). If \(a_ 1,\ldots,a_ r\) forms a basis of the vector space \(A_ 1\) then \(A_ k\) is spanned by the products of these \(a_ i\) and \(A\) is generated by \(a_ 1,\ldots,a_ r\) as an algebra. A naturally ordered basis of \(A\) consisting of products is called a weighted product presentation. It is further supposed that the generators \(a_ 1,\dots,a_ r\) fulfill homogeneous relations, and if \(A\) satisfies an identical relation \(f(x,y,\dots)\) then it also satisfies all of its partial linearizations (e.g. substitute \(x + y\) for \(x\), \(y\) for \(y\) and expand). The set of identical relations is supposed to be finite. The author presents an algorithm to compute a weighted product representation of \(A/A^ d\) for \(d \in \mathbf N\) from one of \(A\). Now let \(A\) be associative. The Nagata-Higman theorem states that if \(A\) satisfies the identity \(x^ n=0\) then \(A\) is nilpotent. Kuzmin conjectured that its degree of nilpotency is \(n(n+1)/2\); this was proved for \(n=2,3\). The author gives a proof of this conjecture for \(n=4\) using its implementation of computation in algebras on a computer.
    0 references
    graded algebras
    0 references
    ordered basis
    0 references
    weighted product presentation
    0 references
    generators
    0 references
    homogeneous relations
    0 references
    partial linearizations
    0 references
    algorithm
    0 references
    Nagata-Higman theorem
    0 references
    degree of nilpotency
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references