This paper presents an algorithm for the Quillen-Suslin Theorem for quotients of polynomial rings by monomial ideals, that is, quotients of the form A = k[x 0 , . . . , xn]/I, with I a monomial ideal and k a field. Vorst proved that finitely generated projective modules over such algebras are free.
An algorithm for the divisors of monic polynomials over a commutative ring
β Scribed by Ihsen Yengui
- Publisher
- John Wiley and Sons
- Year
- 2003
- Tongue
- English
- Weight
- 147 KB
- Volume
- 260
- Category
- Article
- ISSN
- 0025-584X
No coin nor oath required. For personal study only.
β¦ Synopsis
Gilmer and Heinzer proved that given a reduced ring R, a polynomial f divides a monic polynomial in R[X] if and only if there exists a direct sum decomposition of R = R0 β . . . β Rm (m β€ deg f ), associated to a fundamental system of idempotents e0, . . . , em, such that the component of f in each Ri[X] has degree coefficient which is a unit of Ri. We propose to give an algorithm to explicitly find such a decomposition. Moreover, we extend this result to divisors of doubly monic Laurent polynomials.
π SIMILAR VOLUMES
An algorithm is presented for the efficient and accurate computation of the coefficients of the characteristic polynomial of a general square matrix. The algorithm is especially suited for the evaluation of canonical traces in determinant quantum Monte-Carlo methods.
Symmetric functions can be considered as operators acting on the ring of polynomials with coefficients in R. We present the package SFA, an implementation of this action for the computer algebra system Maple. As an example, we show how to recover different classical expressions of Lagrange inversion