Related papers: Separated presentations of modules over pullback r…

We classify the irreducible representations of smooth, connected affine algebraic groups over a field, by tackling the case of pseudo-reductive groups. We reduce the problem of calculating the dimension for pseudo-split pseudo-reductive…

In this paper we define the notion of pullback lifting of a lifting crossed module over a crossed module morphism and interpret this notion in the category of group-groupoid actions as pullback action. Moreover, we give a criterion for the…

We study rings of integral modular forms for congruence subgroups as modules over the ring of integral modular forms for the full modular group. In many cases these modules are free or decompose at least into well-understood pieces. We…

A (control) network over a finite ring is proposed. Using semi-tensor product (STP) of matrices, a set of algebraic equations are provided to verify whether a finite set with two binary operators is a ring. It is then shown that the…

Reverse derivative categories (RDCs) have recently been shown to be a suitable semantic framework for studying machine learning algorithms. Whereas emphasis has been put on training methodologies, less attention has been devoted to…

Recollements of derived module categories are investigated, using a new technique, ladders of recollements, which are mutation sequences. The position in the ladder is shown to control whether a recollement restricts from unbounded to…

Connections between heaps of modules and (affine) modules over rings are explored. This leads to explicit, often constructive, descriptions of some categorical constructions and properties that are implicit in universal algebra and…

For any good tilting module $T$ over a ring $A$, there exists an $n$-symmetric subcategory $\mathscr{E}$ of a module category such that the derived category of the endomorphism ring of $T$ is a recollement of the derived categories of…

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…

In a nutshell, submodular functions encode an intuitive notion of diminishing returns. As a result, submodularity appears in many important machine learning tasks such as feature selection and data summarization. Although there has been a…

Let $p$ be a prime. Given a split semisimple group scheme $G$ over a normal integral domain $R$ which is a faithfully flat $\mathbb Z_{(p)}$-algebra, we classify all finite dimensional representations $V$ of the fiber $G_K$ of $G$ over…

In this paper, we define the pullback crossed modules in the category of racks which mainly based on a pullback diagram of rack morphisms with extra crossed module data on some of its arrows. Furthermore we prove that the conjugation…

We will prove that if $G$ and $H$ are modules over a principal ideal domain $R$ such that the endomorphism rings $\mathrm{End}_R(R\oplus G)$ and $\mathrm{End}_R(R\oplus H)$ are isomorphic then $G\cong H$. Conversely, if $R$ is a Dedekind…

We show that every finitely generated cohomologically trivial module over $RG$, where $G$ is a finite $p$-group and $R$ is a $p$-adic ring, splits as the direct sum of a finite cohomologically trivial $RG$-module and a free $RG$-module.…

Let $T$ be an infinitely generated tilting module of projective dimension at most one over an arbitrary associative ring $A$, and let $B$ be the endomorphism ring of $T$. In this paper, we prove that if $T$ is good then there exists a ring…

In differential geometry, the existence of pullbacks is a delicate matter, since the category of smooth manifolds does not admit all of them. When pullbacks are required, often submersions are employed as an ideal class of maps which…

Let R be the quotient of a polynomial ring over a field k by an ideal generated by monomials. We derive a formula for the multigraded Poincare' series of R, i.e., the generating function for the ranks of the modules in a minimal multigraded…

The semiring of discrete dynamical systems is a simple algebraic model for modularity in deterministic systems. The objects of the semiring are finite transformations (viewed as directed graphs and regarded up to isomorphism), the sum of…

We construct a singular homology theory on the category of schemes of finite type over a Dedekind domain and verify several basic properties. For arithmetic schemes we construct a reciprocity isomorphism between the integral singular…

It is shown the construction of a module structure [2] with universe over a set of a particular kind of mathematical proofs, the base ring of this module will be built on a maximal consistent extension of a set of propositions, this…