Related papers: Primary decomposition of modules: a computational …
In this work, we study resolvent splitting algorithms for solving composite monotone inclusion problems. The objective of these general problems is finding a zero in the sum of maximally monotone operators composed with linear operators.…
We present in this paper a general algorithm for solving first-order formulas in particular theories called "decomposable theories". First of all, using special quantifiers, we give a formal characterization of decomposable theories and…
We study certain modules over the algebra of a Cartier divisor on a scheme. Using these modules, we present an inductive method for studying finite generation properties of algebras and modules. In the context of the minimal model program,…
In this paper, we mainly focus on formal deformation theory of module homomorphisms. We first introduce the cohomology of module homomorphisms and study formal one-parameter deformation. We obtain some properties about obstructions. Then we…
Let R be a commutative ring, M an R-module. In this paper, we will introduce the concept of n-pure submodules of M as a generalization of pure submodules and obtain some related results.
The functional decomposition of polynomials has been a topic of great interest and importance in pure and computer algebra and their applications. The structure of compositions of (suitably normalized) polynomials f=g(h) over finite fields…
Group theory is a particularly fertile field for the design of practical algorithms. Algorithms have been developed across the various branches of the subject and they find wide application. Because of its relative maturity, computational…
A rigorous mathematical framework is provided for a substructuring-based domain-decomposition approach for nonlocal problems that feature interactions between points separated by a finite distance. Here, by substructuring it is meant that a…
Injective resolutions of modules are key objects of homological algebra, which are used for the computation of derived functors. Semiinjective resolutions of chain complexes are more general objects, which are used for the computation of…
Generalizing differential geometry of smooth vector bundles formulated in algebraic terms of the ring of smooth functions, its derivations and the Koszul connection, one can define differential operators, differential calculus and…
Primitive recursion is a mature, well-understood topic in the theory and practice of programming. Yet its dual, primitive corecursion, is underappreciated and still seen as exotic. We aim to put them both on equal footing by giving a…
All rings are commutative, and all modules are unital. The purpose of this paper is to investigate the characterizations of weakly pseudo primary 2-absorbing sub-module in terms of some types of modules. We provide characterizations for the…
Let $R$ be a commutative unital ring, $a\in R$ and $t$ a positive integer. $a^{t}$-reduced $R$-modules and universally $a^{t}$-reduced $R$-modules are defined and their properties given. Known (resp. new) results about reduced $R$-modules…
We obtain a complete classification of all finite-dimensional irreducible modules over classical map superalgebras, provide formulas for their (super)characters and a description of their extension groups. Furthermore, we describe the block…
The notion of cosilting module was recently introduced as a generalization of the notion of cotilting module. In this paper, we give a characterization of (partial) cosilting modules in terms of two-term cosilting complexes. Moreover, we…
In this paper, we develop general machinery for computing the classifying ring $L^A$ of one-dimensional formal $A$-modules, for various commutative rings $A$. We then apply the machinery to obtain calculations of $L^A$ for various number…
Computer based techniques for recognizing finitely presented groups are quite powerful. Tools available for this purpose are outlined. They are available both in stand-alone programs and in more comprehensive systems. A general…
We consider the D-module defined as the push-forward of a rank one linear system on the complement of a central plane hyperplane arrangement, and calculate its decomposition series, using algebraic calculations in the Weyl algebra.
Using linear functional-based duality of modules, we generalize the syndrome decoding algorithm of linear codes over finite fields to those over finite commutative rings. Moreover, If the ring is local the algorithm is simplified by…
A theorem of Lurie and Pridham establishes a correspondence between formal moduli problems and differential graded Lie algebras in characteristic zero, thereby formalising a well-known principle in deformation theory. We introduce a variant…