The Castelnuovo-Mumford regularity of a module gives a rough measure of its complexity. We bound the regularity of a module given a system of approximating modules whose regularities are known. Such approximations can arise naturally for modules constructed by inductive combinatorial means. We apply these methods to bound the regularity of ideals constructed as combinations of linear ideals and...

In previous work [1], we have presented a proposal to combine the power of tabling with the Extended Andorra Model (EAM) in order to produce an execution model with advanced control strategies that guarantees termination, avoids looping, reduces the search space, and is less sensitive to goal ordering. To address the integration between tabling and the EAM, through the BEAM system [2], we have ...

Identifiability of a single module in network transfer functions is determined by whether particular function the can be uniquely distinguished within model set, on basis data. Whereas previous research has focused situations that all signals are either excited or measured, we develop generalized analysis results for situation partial measurement and excitation. As identifiability conditions ty...

in this paper, we nd the relationships between module contractibility of abanach algebra and its ideals. we also prove that module contractibility ofa banach algebra is equivalent to module contractibility of its module uniti-zation. finally, we show that when a maximal group homomorphic image ofan inverse semigroup s with the set of idempotents e is nite, the moduleprojective tensor product ...

In this paper we consider module-composed graphs, i.e. graphs which can be defined by a sequence of single vertex insertions v1, . . . , vn, such that the neighbourhood of vertex vi, 2 ≤ i ≤ n, forms a module (a homogenous set) of the graph defined by vertices v1, . . . , vi−1. Module composed graphs are HHDS-free and thus homogeneous orderable, weakly chordal, and perfect. Every bipartite dist...

let r be a ring, m a right r-module and (s,≤) a strictly ordered monoid. in this paper we will show that if (s,≤) is a strictly ordered monoid satisfying the condition that 0 ≤ s for all s ∈ s, then the module [[ms,≤]] of generalized power series is a uniserial right [[rs,≤]] ]]-module if and only if m is a simple right r-module and s is a chain monoid.

Let $A$ be a Banach algebra and $E$ be a Banach $A$-bimodule then $S = A oplus E$, the $l^1$-direct sum of $A$ and $E$ becomes a module extension Banach algebra when equipped with the algebras product $(a,x).(a^prime,x^prime)= (aa^prime, a.x^prime+ x.a^prime)$. In this paper, we investigate $triangle$-amenability for these Banach algebras and we show that for discrete inverse semigroup $S$ with...

The set of systems of differential equations that are in normal form with respect to a particular linear part has the structure of a module of equivariants, and is best described by giving a Stanley decomposition of that module. In this paper Groebner basis methods are used to determine a Groebner basis for the ideal of relations and a Stanley decomposition for the ring of invariants that arise...