Related papers: Extension of i-modularity
A full subcategory of modules over a commutative ring $R$ is wide if it is abelian and closed under extensions. Hovey \cite{wide} gave a classification of wide subcategories of finitely presented modules over regular coherent rings in terms…
We introduce Koszul modules associated with (graded) Kac-Moody Lie algebras. We provide a precise criterion for when these modules are of finite length. As an exemplary application we deduce a bound on the dimension of the second graded…
Let $L/K$ be a finite Galois, totally ramified $p$-extension of complete local fields with perfect residue fields of characteristic $p>0$. In this paper, we give conditions, valid for any Galois $p$-group $G={Gal}(L/K)$ (abelian or not) and…
Let Q be a Dynkin quiver, and let P(Q) be the corresponding preprojective algebra. Let I be a set of pairwise different indecomposable irreducible components of varieties of P(Q)-modules such that generically there are no extensions between…
Let k be an algebraically closed field and A a finite dimensional associative k-algebra. We prove that there is no gap in the lengths of indecomposable A-modules of finite length. The analogous result holds for an abelian k-linear category…
Given a ring $R$, we study the bimodules $M$ for which the trivial extension $R\propto M$ is morphic. We obtain a complete characterization in the case where $R$ is left perfect, and we prove that $R\propto Q/R$ is morphic when $R$ is a…
Let K and F be complete discrete valuation fields of residue characteristic p>0. Let m be a positive integer no more than their absolute ramification indices. Let s and t be their uniformizers. Let L/K and E/F be finite extensions such that…
For a totally real field $F$, a finite extension $\mathbf{F}$ of $\mathbf{F}_p$ and a Galois character $\chi: G_F \to \mathbf{F}^{\times}$ unramified away from a finite set of places $\Sigma \supset \{\mathfrak{p} \mid p\}$ consider the…
In this brief note we show that for a field extension $K/F$, $S=K[\![\mathbf{x}]\!]$ is a free $R=F[\![\mathbf{x}]\!]$-module precisely when $K/F$ is finite. We then raise the question \emph{what is the projective dimension of $S$?}
Suppose that $Q$ is a connected quiver without oriented cycles and $\sigma$ is an automorphism of $Q$. Let $k$ be an algebraically closed field whose characteristic does not divide the order of the cyclic group $\langle\sigma\rangle$. The…
We study the finite dimensional modules on the half-quantum group u_q^+ at a root of unity q, whose action can be extended to u_q (quotient of the quantized enveloping algebra of sl_2). We derive decomposition formulas of the tensor product…
Let $L/K$ be any finite separable extension with normal closure $\widetilde{L}/K$. An extension $L'/K$ is said to be $\textit{parallel to $L/K$}$ if $L'$ is an intermediate field of $\widetilde{L}/K$ with $[L':K]=[L:K]$. We study the…
Let $q$ be a non-negative integer. We prove that a perfect field $K$ has cohomological dimension at most $q+1$ if, and only if, for any finite extension $L$ of $K$ and for any homogeneous space $Z$ under a smooth linear connected algebraic…
We prove new results concerning the additive Galois module structure of certain wildly ramified finite non-abelian extensions of Q. In particular, when K/Q is a Galois extension with Galois group G isomorphic to A4, S4 or A5, we give…
A central question in verification is characterizing when a system has invariants of a certain form, and then synthesizing them. We say a system has a $k$ linear invariant, $k$-LI in short, if it has a conjunction of $k$ linear (non-strict)…
In our previous paper we describe the Galois module structures of $p$th-power class groups $K^\times/{K^{\times p}}$, where $K/F$ is a cyclic extension of degree $p$ over a field $F$ containing a primitive $p$th root of unity. Our…
Let $L/K$ be a primitive purely inseparable extension of fields of characteristic $p$, $\left[ L:K\right] >p.$ It is well known that $L/K$ is Hopf Galois for some Hopf algebra $H$, and it is suspected that $L/K$ is Hopf Galois for numerous…
In this paper, we introduce the notion of a BCK-topological module in a natural way and establish that every decreasing sequence of submodules on a BCK-module M over bounded commutative BCK-algebra X is indeed a BCK- topological module. We…
We prove that if $B\subseteq A$ is an extension of finite dimensional algebras such that the projective dimension of $A/B$ as a $B$-bimodule is finite, if $A$ has finite finitistic dimension, then so does $B$. We exhibit examples…
Let $L/K$ be a finite Galois extension of $p$-adic fields with group $G$. It is well-known that $\mathcal{O}_L$ contains a free $\mathcal{O}_K[G]$-submodule of finite index. We study the minimal index of such a free submodule, and determine…