Related papers: On the de Morgan's laws for modules
In a compactly generated triangulated category, we introduce a class of tilting objects satisfying certain purity condition. We call these the decent tilting objects and show that the tilting heart induced by any such object is equivalent…
Computational effects are commonly modelled by monads, but often a monad can be presented by an algebraic theory of operations and equations. This talk is about monads and algebraic theories for languages for inference, and their…
We provide algebraic conditions ensuring the decidability of the theory of modules over effectively given Pr\"ufer (in particular B\'ezout) domains with infinite residue fields in terms of a suitable generalization of the prime radical…
Let M be a fixed left R-module. For a left R-module X, we introduce the notion of M-prime (resp. M-semiprime) submodule of X such that in the case M=R, which coincides with prime (resp. semiprime) submodule of X. Other concepts encountered…
Towards building tropical analogues of adic spaces, we study certain spaces of prime congruences as a topological semiring replacement for the space of continuous valuations on a topological ring. This requires building the theory of…
In this paper, we are mainly interested in the two questions "which are the commutative rings on which every finitely presented modules is [Formula: see text]-periodic (respectively, [Formula: see text]-periodic)?". It is proved that these…
Let $R$ be a commutative ring with identity. For a finitely generated $R$-module $M$, the notion of associated prime submodules of $M$ is defined. It is shown that this notion inherits most of essential properties of the usual notion of…
In this short note, we give a characterization of domains satisfying Serre's condition $(\mathrm{R}_1)$ in terms of their canonical modules. In the special case of toric rings, this generalizes a result of the second author (K. Yanagawa,…
Let $G$ be a finite group and $H$ a normal subgroup of prime index $p$. Let $V$ be an irreducible ${\mathbb F}H$-module and $U$ a quotient of the induced ${\mathbb F}G$-module $V\kern-3pt\uparrow$. We describe the structure of $U$, which is…
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…
We describe the structure of module categories of finite dimensional algebras over an algebraically closed field for which the cycles of nonzero nonisomorphisms between indecomposable finite dimensional modules are finite (do not belong to…
A notion of heaps of modules as an affine version of modules over a ring or, more generally, over a truss, is introduced and studied. Basic properties of heaps of modules are derived. Examples arising from geometry (connections, affine…
A commutative ring is said to have ITI with respect to an ideal a if the a-torsion functor preserves injectivity of modules. Classes of rings with ITI or without ITI with respect to certain sets of ideals are identified. Behaviour of ITI…
In this paper, the notions of nonnil-injective modules and nonnil-FP-injective modules are introduced and studied. Especially, we show that a $\phi$-ring $R$ is an integral domain if and only if any nonnil-injective (resp.,…
In the present paper, we study various Erd\H{o}s type geometric problems in the setting of the integers modulo $q$, where $q=p^l$ is an odd prime power. More precisely, we prove certain results about the distribution of triangles and…
We extend Masuoka's Theorem [11] concerning the isomorphism between the group of invertible bimodules in a non-commutative ring extension and the group of automorphisms of the associated Sweedler's canonical coring, to the class of finite…
Firstly, we provide a different proof of an important lemma in Buzzard and Calegari's work on slopes of overconvergent 2-adic modular forms via nonarchimedean linear Hodge-Newton decomposition. The lemma shows that two equivalent matrices…
In this paper, we introduce the notion of abelian endoregular modules as those modules whose endomorphism rings are abelian von Neumann regular. We characterize an abelian endoregular module $M$ in terms of its $M$-generated submodules. We…
We study the homological behavior of modules over local rings modulo exact zero-divisors. We obtain new results which are in some sense "opposite" to those known for modules over local rings modulo regular elements.
In this paper, we develop an explicit method to express finite algebraic numbers (in particular, certain idempotents among them) in terms of linear recurrent sequences, and give applications to the characterization of the splitting primes…