Author:
Jabeen Nazia, ,Khan Junaid Alam
Abstract
<abstract><p>In this paper, we develop a theory for Standard bases of $ K $-subalgebras in $ K[[t_{1}, t_{2}, \ldots, t_{m}]] [x_{1}, x_{2}, ..., x_{n}] $ over a field $ K $ with respect to a monomial ordering which is local on $ t $ variables and we call them Subalgebra Standard bases. We give an algorithm to compute subalgebra homogeneous normal form and an algorithm to compute weak subalgebra normal form which we use to develop an algorithm to construct Subalgebra Standard bases. Throughout this paper, we assume that subalgebras are finitely generated.</p></abstract>
Publisher
American Institute of Mathematical Sciences (AIMS)
Reference10 articles.
1. G. M Greuel, G. Pfister, A singular introduction to commutative algebra, Springer, 2008. https://doi.org/10.1007/978-3-540-73542-7
2. A. Hefez, M. E. Herandes, Computional methods in local theory of curves, ${{23}^{\underline{\text{o}}}}$ Colóquio Brasileiro de Mathemática. IMPA, Rio de Janerio, 2001. Available from: https://impa.br/wp-content/uploads/2017/04/23_CBM_01_03.pdf.
3. T. Mora, G. Pfister, C. Traverso, An introduction to the Tangent Cone Algorithm, Publications mathématiques et informatique de Rennes, 4 (1989), 133–171.
4. L. Robbiano, M. Sweedler, Subalgebra bases, In: Commutative algebra. Lecture notes in mathematics, Springer, 1430 (1990), 61–87. https://doi.org/10.1007/BFb0085537
5. T. Markwig, Standard bases in $K[[t_{1}, t_{2}, \ldots, t_{m}]][x_{1}, x_{2}, \ldots, x_{n}]^{s}$, J. Symb. Comput., 48 (2008), 765–786. https://doi.org/10.1016/j.jsc.2008.03.003