Monico published in [Journal of Symbolic Computation, 34(5):451–459, 2002] an algorithm to compute the primary decomposition of a zero-dimensional ideal, that mostly relies on a characteristic polynomial computation modulo the input ideal, and its factorization. We revisit this algorithm, and discuss Maple and Magma implementations that contradict the somehow pessimistic conclusions of Monico’s...

Abstract In this paper, we study the generalized order- Jacobsthal sequences modulo for and the generalized order-k Jacobsthal-Padovan sequence modulo for . Also, we define the generalized order-k Jacobsthal orbit of a k-generator group for and the generalized order-k Jacobsthal-Padovan orbit a k-generator group for . Furthermore, we obtain the lengths of the periods of the generalized order-3 ...

An efficient algorithm is presented for factoring polynomials over an algebraic extension field. The extension field is defined by a polynomial ring modulo a maximal ideal. If the ideal is given by its Gröbner basis, no extra Gröbner basis computation is needed for factoring a polynomial over the extension field. We will only use linear algebra to get a polynomial over the base field by a gener...

We call a module  essentially retractable if HomR for all essential submodules N of M. For a right FBN ring R, it is shown that: (i)  A non-zero module  is retractable (in the sense that HomR for all non-zero ) if and only if certain factor modules of M are essentially retractable nonsingular modules over R modulo their annihilators. (ii)  A non-zero module  is essentially retractable if and on...

We investigate the tracial and ideal structures of C ? -algebras quasi-regular representations stabilizers boundary actions. Our main tool is notion maps, namely ?-equivariant unital completely positive maps from ?- to ( ? F ? ) , where denotes Furstenberg a group ?. For unitary representation ? coming groupoid germs action, we show that there unique map on . Consequently, describe structure fo...

We show that if T is an isometry (as metric spaces) between the invertible groups of unital Banach algebras, then T is extended to a surjective real-linear isometry up to translation between the two Banach algebras. Furthermore if the underling algebras are closed unital standard operator algebras, (T (eA)) −1 T is extended to a surjective real algebra isomorphism; if T is a surjective isometry...

The Ritt problem asks if there is an algorithm that tells whether one prime differential ideal is contained in another one if both are given by their characteristic sets. We give several equivalent formulations of this problem. In particular, we show that it is equivalent to testing if a differential polynomial is a zero divisor modulo a radical differential ideal. The technique used in the pro...

A bstract We investigate the reduction of Feynman integrals to master using Gröbner bases in a rational double-shift algebra Y which integration-by-parts (IBP) relations form left ideal. The problem reducing given family can then be solved once and for all by computing basis ideal formed IBP relations. demonstrate this explicitly several examples. introduce so-called first-order normal-form we ...