Showing 1–6 of 6 results for author: Seifullin, T R

Symmetric polynomials and exterior power of a polynomial ring in one variable

Authors: Timur R. Seifullin

Abstract: In this article we consider the exterior power and the symmetric tensors of the polynomial ring in one variable. The structure of an associative semigraded algebra of this polynomial ring induces on the symmetric tensors the structure of an associative semigraded algebra, and on the exterior power induces structure of a semigraded module over semigraded algebra of symmetric tensors. The algebra of… ▽ More In this article we consider the exterior power and the symmetric tensors of the polynomial ring in one variable. The structure of an associative semigraded algebra of this polynomial ring induces on the symmetric tensors the structure of an associative semigraded algebra, and on the exterior power induces structure of a semigraded module over semigraded algebra of symmetric tensors. The algebra of symmetric polynomials is isomorphic to the algebra of the symmetric tensors of polynomial ring in one variables. We obtained the explicit expression for symmetric polynomials via elementary symmetric polynomials and the explicit expression for elements of the exterior power via elementary symmetric polynomials and elements of the exterior power of the lower polynomial degree. △ Less

Submitted 3 September, 2020; originally announced September 2020.

Koszul complexes of embedded systems of polynomials and duality

Authors: Timur R. Seifullin

Abstract: The object of the paper is the dependence of Koszul complexes and dependence of dual Koszul complexes of two systems of non-homogeneous polynomials, when one system is a part of other system, in connection with the duality in a Koszul complex established by author earlier. Whence, the dependence of Koszul complexes and dependence of dual Koszul complexes follow when one system is linearly expresse… ▽ More The object of the paper is the dependence of Koszul complexes and dependence of dual Koszul complexes of two systems of non-homogeneous polynomials, when one system is a part of other system, in connection with the duality in a Koszul complex established by author earlier. Whence, the dependence of Koszul complexes and dependence of dual Koszul complexes follow when one system is linearly expressed through other system. Obtaned results are used in the proof of homotopic equivalence, formulated earlier by the author, of the Koszul complex and dual Koszul complex of a system of non-homogeneous polynomials, what happens when the ideal of these polynomials is 0-dimensional. △ Less

Submitted 10 May, 2012; v1 submitted 3 May, 2012; originally announced May 2012.

Comments: Paper translated from Russian. Summary in English

MSC Class: 13D25

Journal ref: Dopov. Nats. Akad. Nauk Ukr. Mat. Prirodozn. Tekh. Nauki 2000, no. 6, 26-34. MR1835215

Homology of the Koszul complex of a system of polynomial equations

Authors: Timur R. Seifullin

Abstract: For a system of non-homogeneous polynomials it was constructed explicit complex morphism of a dual complex to the Koszul complex into the Koszul complex. If the ideal of these polynomials is 0-dimensional, then this mapping is a homotopic equivalence, thus in this case it was obtained explicit duality of the Koszul complex. For a system of non-homogeneous polynomials it was constructed explicit complex morphism of a dual complex to the Koszul complex into the Koszul complex. If the ideal of these polynomials is 0-dimensional, then this mapping is a homotopic equivalence, thus in this case it was obtained explicit duality of the Koszul complex. △ Less

Submitted 5 May, 2012; v1 submitted 2 May, 2012; originally announced May 2012.

Comments: Paper translated from Russian. Summary in English

MSC Class: 13D25

Journal ref: Dopov. Nats. Akad. Nauk Ukr. Mat. Prirodozn. Tekh. Nauki 1997, no. 9, 43-49. MR1673647 (99m:13030)

Determination of the basis of the space of all root functionals of a system of polynomial equations and of the basis of its ideal by the operation of the extension of bounded root functionals

Authors: Timur R. Seifullin

Abstract: It is proposed the algorithm that find a basis of the ideal and a basis of the space of all root functionals by using the extension operation for bounded root functionals, when the number of polynomials is equal to the number of variables, if it is known that the ideal of polynomials is 0-dimensional. The asyptotic complexity of this algorithm is d^{O(n)} operations, where n is the number of pol… ▽ More It is proposed the algorithm that find a basis of the ideal and a basis of the space of all root functionals by using the extension operation for bounded root functionals, when the number of polynomials is equal to the number of variables, if it is known that the ideal of polynomials is 0-dimensional. The asyptotic complexity of this algorithm is d^{O(n)} operations, where n is the number of polynomials and the number of variables, d is the maximal degree of polynomials. The extension operation has connection with the multivariate Bezoutian construction. △ Less

Submitted 30 May, 2008; v1 submitted 29 May, 2008; originally announced May 2008.

Comments: Paper translated from Russian. Summary in English

MSC Class: 13P99

Journal ref: Dopov. Nats. Akad. Nauk Ukr. Mat. Prirodozn. Tekh. Nauki 2003, no. 8, 29--36. MR2046291 (2005a:13055)

Continuation of root functionals of a system of polynomial equations and the reduction of polynomials modulo its ideal

Authors: Timur R. Seifullin

Abstract: The notion of a root functional of polynomials is a generalization of the notion of a root for a multiple root. A root functional is a linear functional that is defined on a polynomial ring and annuls the ideal of a system of polynomials. A bounded root functional is a functional that annuls d-th component of the ideal in some filtration in this ideal. It was constructed the operation of continu… ▽ More The notion of a root functional of polynomials is a generalization of the notion of a root for a multiple root. A root functional is a linear functional that is defined on a polynomial ring and annuls the ideal of a system of polynomials. A bounded root functional is a functional that annuls d-th component of the ideal in some filtration in this ideal. It was constructed the operation of continuation of root functionals and the operation of reduction of polynomials modulo the ideal on the basis of the extension operation for bounded root functionals when the number of polynomials is equal to the number of variables and the ideal of polynomials is 0-dimensional. The extension operation has connection with the multivariate Bezoutian construction. △ Less

Submitted 27 May, 2008; originally announced May 2008.

Comments: Paper translated from Russian. Summary in English

MSC Class: 13P05

Journal ref: Dopov. Nats. Akad. Nauk Ukr. Mat. Prirodozn. Tekh. Nauki 2003, no. 7, 19--27. MR2044325 (2004m:13069)

Extension of bounded root functionals of a system of polynomial equations

Authors: Timur R. Seifullin

Abstract: The notion of a root functional of a system of polynomials or ideal of polynomials is a generalization of the notion of a root, in particular, for a multiple root. A root functional is a linear functional that is defined on a polynomial ring and annuls the ideal of polynomials. A bounded root functional is a functional that annuls d-th component of the ideal in some filtration in this ideal. The… ▽ More The notion of a root functional of a system of polynomials or ideal of polynomials is a generalization of the notion of a root, in particular, for a multiple root. A root functional is a linear functional that is defined on a polynomial ring and annuls the ideal of polynomials. A bounded root functional is a functional that annuls d-th component of the ideal in some filtration in this ideal. The paper consider bounded root functionals and their extension operation for a system of polynomial equation at which the number of equations is equal to the number of unknows. The extension operation has connection with the multivariate Bezoutian construction. △ Less

Submitted 2 February, 2009; v1 submitted 15 April, 2008; originally announced April 2008.

Comments: Published at Dopov. Nats. Akad. Nauk Ukr. Mat. Prirodozn. Tekh. Nauki 2002, no. 7, 35--42 in English. Summary translated from Ukraine

MSC Class: 13B25

Journal ref: Dopov. Nats. Akad. Nauk Ukr. Mat. Prirodozn. Tekh. Nauki 2002, no. 7, 35--42. MR2010106 (2004m:13028)