Related papers: When an $\mathscr{S}$-closed submodule is a direct…

Let G be a finite group scheme over an algebraically closed field of positive characteristic. Assume further that the connected component of G is unipotent. It is shown that the projectivity of a rational G-module can be detected on a…

An artin algebra $A$ is said to be CM-finite if there are only finitely many, up to isomorphisms, indecomposable finitely generated Gorenstein-projective $A$-modules. We prove that for a Gorenstein artin algebra, it is CM-finite if and only…

We present decidability results for termination of classes of term rewriting systems modulo permutative theories. Termination and innermost termination modulo permutative theories are shown to be decidable for term rewrite systems (TRS)…

Let $\Lambda$ be a radical square zero Nakayama algebra with $n$ simple modules and let $\Gamma$ be the Auslander algebra of $\Lambda$. Then every indecomposable direct summand of a tilting $\Gamma$-module is either simple or projective.…

We classify semisimple module categories over the tensor category of representations of quantum SL(2) extending previous results to the roots of unity and positive characteristic cases.

Let $R$ be a commutative ring. A full additive subcategory $\C$ of $R$-modules is triangulated if whenever two terms of a short exact sequence belong to $\C$, then so does the third term. In this note we give a classification of…

In this paper we systematically explore questions of succinctness in modal logics employed in spatial reasoning. We show that the closure operator, despite being less expressive, is exponentially more succinct than the limit-point operator,…

We call a right module $M$ (strongly) virtually regular if every (finitely generated) cyclic submodule is isomorphic to a direct summand. $M$ is said to be completely virtually regular if every submodule is virtually regular. In this paper,…

Let $M$ be a model set meeting two simple conditions: (1) the internal space $H$ is a product of $R^n$ and a finite group, and (2) the window $W$ is a finite union of disjoint polyhedra. Then any point pattern with finite local complexity…

Let $A$ be a hereditary algebra over an algebraically closed field $k$ and $A^{(m)}$ be the $m$-replicated algebra of $A$. Given an $A^{(m)}$-module $T$, we denote by $\delta (T)$ the number of non isomorphic indecomposable summands of $T$.…

We prove that if $V$ is a conical simple self-dual quasi-lisse vertex algebra and $M$ is an ordinary module then $\dim X_M=\dim X_V$. Hence, if moreover $X_V$ is irreducible then $X_M=X_V$. In particular, this applies to quasi-lisse simple…

Snake modules introduced by Mukhin and Young form a family of modules of quantum affine algebras. The aim of this paper is to prove that the Hernandez-Leclerc conjecture about monoidal categorifications of cluster algebras is true for prime…

Let $R$ be a commutative local ring. It is proved that $R$ is Henselian if and only if each $R$-algebra which is a direct limit of module finite $R$-algebras is strongly clean. So, the matrix ring $\mathbb{M}_n(R)$ is strongly clean for…

Let $X$ be a nonsingular projective surface over an algebraically closed field with characteristic zero, and $H_-$ and $H_+$ ample line bundles on $X$ separated by only one wall of type $(c_1,c_2)$. Suppose the moduli scheme $M(H_-)$ of…

The notion of a formally smooth bimodule is introduced and its basic properties are analyzed. In particular it is proven that a $B$-$A$ bimodule $M$ which is a generator left $B$-module is formally smooth if and only if the $M$-Hochschild…

Let $(A,\mathfrak{m})$ be a short Artin local ring (i.e., $\mathfrak{m}^3 = 0$ and $\mathfrak{m}^2 \neq 0$). Assume $A$ is not a hypersurface ring. We show there exists $c_A \geq 2$ such that if $M$ is any finitely generated module with…

Let $G$ be a finite group. If $M_n < M_{n-1} < \ldots < M_1 < M_{0}=G $ where $M_i$ is a maximal subgroup of $M_{i-1}$ for all $i=1, \ldots ,n$, then $M_n $ ($n > 0$) is an \emph{$n$-maximal subgroup} of $G$. A subgroup $M$ of $G$ is called…

We consider $\,R-$modules as functors in the following way: if $\,M\,$ is a (left) $R$-module, let $\,\mathcal M\,$ be the functor of $\,\mathcal R-$modules defined by $\,\mathcal M(S) := S \otimes_R M\,$ for every $\,R-$algebra $\,S$. With…

Deligne proved that the weights of Siegel modular forms on any congruence subgroup of the Siegel modular group of genus g>1 must be integral or half integral. We give a different proof for this. It uses Mennicke's result that subgroups of…

Let $R$ be a commutative Noetherian local ring with residue field $k$. We show that if a finite direct sum of syzygy modules of $k$ surjects onto `a semidualizing module' or `a non-zero maximal Cohen-Macaulay module of finite injective…