Computation in multivariate quaternionic polynomial ring

MaRDI QIDQ2871249zbMATH OpenFDO

Authors Dang Tuan Hiep

Publication date 22 January 2014

Published in Le Matematiche (Search for Journal in Brave)

Full work available at URL http://www.dmi.unict.it/ojs/index.php/lematematiche/article/view/877

zbMATH Keywords

division algorithmGröbner basesquaternionic polynomials

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to commutative algebra (13-04) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Division algebras and Jordan algebras (17C60) Symbolic computation and algebraic computation (68W30)

Review text

Let \(\mathbb{H}\) denote the algebra of real quaternions. For a monomial well--ordering the concept of Gröbner bases for the (non--commutative) polynominal ring \(\mathbb {H}[x_1, \ldots, x_n]\) is explained. With \(a,b\in\mathbb{H}\) the multiplication is defined by \(ax_1^{\alpha_1}\cdot\ldots\cdot x_n^{\alpha_n}\ast bx_1^{\beta_1}\cdot\ldots\cdot x_n^{\beta_n}=abx_1^{\alpha_1+\beta_1}\cdot\ldots\cdot x_n^{\alpha_n+\beta_n}\).NEWLINENEWLINEIt is explained how to use the computer algebra system \texttt{Singular} to define \(\mathbb{H}[x_1, \ldots, x_n]\) and compute a left Gröbner basis for a given left ideal.

Recommendations

• Computations in the ring of quaternionic polynomials
• scientific article; zbMATH DE number 1839685
• Modular techniques for noncommutative Gröbner bases
• Gröbner bases in Clifford and Grassmann algebras
• scientific article; zbMATH DE number 2151198

Cited in

(2)

• Computations in the ring of quaternionic polynomials
• scientific article; zbMATH DE number 1839685 (Why is no real title available?)

Describes a project that uses

Uses Software

• Plural
• SINGULAR

This page was built for publication: Computation in multivariate quaternionic polynomial ring

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2871249)