Related papers: Exact Sequences of Semimodules over Semirings
We consider a notion of exact sequences in any -not necessarily exact- pointed category relative to a given (E;M)-factorization structure. We apply this notion to introduce and investigate a new notion of exact sequences of semimodules over…
We investigate exactness of long sequences of homology semimodules associated to Schreier short exact sequences of chain complexes of semimodules.
In this paper, we introduce and investigate \emph{semicorings} over associative semirings and their categories of \emph{semicomodules.} Our results generalize old and recent results on corings over rings and their categories of comodules.…
Categorical aspects of the theory of modules over trusses were studied in recent years. The snake lemma and the nine lemma in categories of modules over trusses are formulated in this paper.
We investigate ideal-semisimple and congruence-semisimple semirings. We give several new characterizations of such semirings using e-projective and e-injective semimodules. We extend several characterizations of semisimple rings to (not…
We revisit the notion of flatness for semimodules over semirings. In particular, we introduce and study a new notion of uniformly flat semimodules based on the exactness of the tensor functor. We also investigate the relations between this…
We generalize the notion of an exact category and introduce weakly exact categories. A proof of the snake lemma in this general setting is given. Some applications are given to illustrate how one can do homological algebra in a weakly exact…
We study the so-called closed and splitting subsemimodules and submodules of a given semimodule or module, respectively. We describe lattices of subsemimodules and of closed subsemimodules and posets of splitting subsemimodules and…
We define and study the notion of a crossed module over an inverse semigroup and the corresponding $4$-term exact sequences, called crossed module extensions. For a crossed module $A$ over an $F$-inverse monoid $T$, we show that equivalence…
Given an abelian category, we characterize the long exact sequences of length six which can be obtained from the snake lemma. Equivalently, these are the long exact sequences which arise as the homology of a triangle in the corresponding…
Let $R$ be a commutative ring with identity and $S$ a multiplicative subset of $R$. In this paper, we first introduce and study the notions of $s$-pure exact sequences and $s$-absolutely pure modules which extend the classical notions of…
We survey the basics of homological algebra in exact categories in the sense of Quillen. All diagram lemmas are proved directly from the axioms, notably the five lemma, the 3 x 3-lemma and the snake lemma. We briefly discuss exact functors,…
The Kernel Complex Lemma states that given commutative diagram with exact rows and exact columns which covers the region under a $\Gamma$-shape, then the kernel sequence on the top and the kernel sequence at the left have in each position…
Let X be a smooth complex projective curve of genus g bigger or equal to 1. If g is bigger than 1 assume further that X is either bielliptic or with general moduli. Under a natural condition on slopes, we prove that there exists a short…
In the first part of the paper, we establish an homotopical version of the snail lemma (which is a generalization of the classical snake lemma). In the second part, we introduce the category $\mathbf{Seq}(\mathcal A)$ of sequentiable…
In [J. of Alg. 369: 70-95, 2012], the authors constructed a seven term exact sequence in the cohomology of a group extension G of a normal subgroup N by a quotient group Q with coefficients in a G-module M. However, they were unable to…
In this paper we describe the mathematical foundations of a new approach to semi-supervised Machine Learning. Using techniques of Symbolic Computation and Computer Algebra, we apply the concept of persistent homology to obtain a new…
Exact sequences are a well known notion in homological algebra. We investigate here the more vague properties of 'homotopical exactness', appearing for instance in the fibre or cofibre sequence of a map. Such notions of exactness can be…
Recent algorithmic advances in algebraic automata theory drew attention to semigroupoids (semicategories). These are mathematical descriptions of typed computational processes, but they have not been studied systematically in the context of…
Necessary and sufficient conditions for the exactness (in the algebraic sense) of certain sequences of continuous group homomorphisms are established.