For questions on modules over rings.

**1**

vote

**0**answers

54 views

### When does effective descent of modules hold?

Let $A$ be a commutative ring with identity. I denote by $\Delta_{\leq 1}$ the full subcategory of the simplex category $\Delta$ with objects $[0]$ and $[1]$. Let $B_{\cdot} : \Delta_{\leq ...

**0**

votes

**0**answers

31 views

### A C(B)-module structure on the function algebra of the total space of a vector bunlde $\pi:V \to B$

For a continuous vector bundle $\pi:V \to B$ vector bundle over a compact Hausdorff space $B$, and $C(B)$, $C(V)$ the continuous complex valued functions on $B$ and $V$ respectively, we can give ...

**5**

votes

**1**answer

97 views

### Why is $\operatorname{nr}_{F[G]}:K_1(F[G])\to Z(F[G])^\times$ a bijection?

Let $A$ be a finite dimensional semisimple $F$-algebra and $K_1(A)$ the Whitehead group of $A$.
By splitting $A$ into its Wedderburn components, the reduced norm map $\operatorname{nr}_A:K_1(A)\to ...

**4**

votes

**1**answer

175 views

### Polynomial roots in the ring extension

Let $R$ be a ring with identity (not necessarily commutative) and $R[x]$ be a ring of polynomials over $R$. We say that a ring $S$ is an extension of $R$ if there is a subring $\tilde{R}$ in $S$ ...

**1**

vote

**1**answer

160 views

### Rank of a locally free $\mathbb Z[G]$-module

This is a basic question. Let $G$ be a finite group, $M$ a finitely generated $\mathbb Z[G]$-module so that the $\mathbb Z_p[G]$-module $M_p$ is free for all prime numbers $p$, i.e. is locally free.
...

**4**

votes

**0**answers

60 views

### Computations in Weyl algebra with rational function coefficients

I am looking for a software to perform calculations with modules over the algebra $R_n=\mathbb{C}(x_1\ldots x_n)\langle \partial_1\ldots\partial_n\rangle$ of differential operators with rational ...

**4**

votes

**0**answers

63 views

### An order in $\mathbb Q[G]$ which is a maximal $\mathbb Z_p$-order in $\mathbb Q_p[G]$ for finitely many primes $p$

Let $G$ be a finite group and $S$ a finite set of prime numbers. I know that every separable $\mathbb Q$-algebra $A$ contains a maximal $\mathbb Z$-order but I wonder if the following is true.
Is ...

**3**

votes

**1**answer

86 views

### An invariant submodule of a projective module

This is a basic question (not research level) which has already been asked on SE by someone else but doesn't yet have an answer so I'd like to repost it on MO.
Let $R$ be a commutative ring with ...

**1**

vote

**0**answers

147 views

### Structure theorem for infinitely generated modules over a PID

This is a refined version of a question I asked days ago and have no answers yet. I am completely illietarte in algebra so, please, don't kill but explain.
The question is all in the title: is there ...

**1**

vote

**1**answer

129 views

### Canonical module of a Buchsbaum ring

Is the canonical module of a Buchsbaum ring a Buchsbaum module?

**1**

vote

**0**answers

39 views

### Quantifier elimination of pp-subgroups of modules

This is a model-theoretic questions. Let $M$ be a $R$-module. Our language will be the standard language of modules, i.e. the language of abelian groups together with an unary function symbol for ...

**0**

votes

**0**answers

51 views

### Decomposition of PID modules

This is (probably) the culmination of a series of questions I posted recently that have lead me to this (probably) final question. As usual, I aplogize for my illiteracy in algebra.
Recall that ...

**3**

votes

**1**answer

91 views

### Unclear asymmetry in Lie-algebra module structure on space of linear transformations Hom(V,W)

Let $L$ be a (finite dimensional) Lie-algebra. Let $V, W$ be finite-dimensional vector spaces. If $V,\; W$ are in addition $L$-modules (see, e.g., 6.1 in Humphreys Introduction to Lie Algebras), then ...

**6**

votes

**0**answers

249 views

### Geometric interpretation of minimal number of generators of a module

Let $X \subset \mathbb{C}^n$ be an irreducible affine algebraic curve with coordinate ring $$\mathbb{C}[X] = \mathbb{C}[z_1, \ldots, z_n] / (f_1, \ldots, f_m ) $$ with each $f_i \in \mathbb{Z}[z_1, ...

**2**

votes

**0**answers

125 views

### When is the torsion submodule a direct factor?

Let $\mathbb{F}$ be a field (of characteristic 0, if needed) and $\mathbf{V}$ an $\mathbb{F}$-vector space. Let $T\in\mbox{End}_\mathbb{F}(\mathbf{V})$ be an endomorphism, and let (following Bourbaki) ...

**2**

votes

**0**answers

73 views

### How can I prove that this D-module is free?

I have the following setup, I expect that it is studied in the theory of $D$-modules, and I apologize in advance if I am wrong.
First, I have an algebra $A$ of differential operators on $n$ ...

**1**

vote

**0**answers

68 views

### Cyclic decomposition of an infinitely generated module

My knowledge of algebra is undergraduate linear algebra, so I apologize for my complete ignorance.
Thinking about Jordan normal forms, I unintensionally came to an idea that turned out to be called a ...

**7**

votes

**1**answer

182 views

### Hopfian modules

My question is slightly motivated by basic results in linear algebra, for example, that if $F$ is a field then a surjective linear map $F^n \rightarrow F^n$ is injective. More generally, any ...

**0**

votes

**1**answer

130 views

### The injectivity of Noetherian ring

Let $R$ be a ring with 1, $M$ be a left $R$-module. Then $M$ is fp-injective if every $R$-homomorphism from a finitely presented left ideal to $M$ extends to a homomorphism of $R$ to $M$ i.e. if ...

**3**

votes

**2**answers

110 views

### The injective hull of cyclic modules and self injective ring

It is well-known that if $R$ is a Noetherian ring, and the injective hull of every finitely generated $R$-module is projective, then $R$ is a self-injective.
My question is that could one replace ...

**2**

votes

**0**answers

147 views

### Could Partial Tiltings be studied as Almost Complete Tiltings?

The first part of what follows is a brief recap of the definitions, setting and motivations for my questions. Experts can find the questions at the end.
Here $k$ denotes an algebraically closed ...

**1**

vote

**1**answer

124 views

### when there is an injection $0 \to R \to K_R$?

Let $(R,m)$ be a Cohen-Macaulay local ring which possesses the canonical module $K_R$. Then $R$ is said to be an almost Gorenstein local ring, if there is an exact sequence $0 \to R \to K_R \to C \to ...

**7**

votes

**2**answers

322 views

### invariants that can be measured by Local Cohomology

What invariants can be measured by Local Cohomology (and what application it has)?
As an example of what I mean:
Local Cohomology can measure invariants like depth and dim. So in some cases ...

**0**

votes

**0**answers

148 views

### When Noetherian ring is Artinian

Let R be a ring with1. It is known that if R is left Noetherian and every finitely generated left R-module embeddable in a free left R-module, then R is Artinian. It is known also that if every ...

**5**

votes

**1**answer

316 views

### A Hom-Tensor identity - $\text{Hom}_{R}(P,B)\otimes _SC \cong \text{Hom}_{R}(P,B \otimes_S C) $

let $R,S$ be associative algebras over $\mathbb{C}$. Let $\mathcal{C} \subseteq$ $R$-Mod be a full abelain subcategory of $R$-Mod which is the category of $R$-modules. Let $B$ and $C$ be, a ...

**5**

votes

**5**answers

565 views

### Elementary linear algebra over a (possibly skew) field $K$

I have a number of questions which seem linked to me, about basic (?) linear algebra:
Given a field (possibly skew) $K$, and an superfield $L$, one can do linear matrix algebra with coefficients in ...

**2**

votes

**1**answer

91 views

### Elementary divisors for chains of submodules

Given free modules $N \le M$ of finite rank over a PID $R$, it's well-known that there is a basis $\{x_1,\ldots,x_n\}$ of $M$ and there are $e_1,\ldots,e_n \in R$ such that $\{e_ix_i\mid e_i \neq ...

**7**

votes

**1**answer

138 views

### Why do we want $p$-permutation modules in splendid equivalences?

First Rickard (in Splendid Equivalences: Derived Categories and Permutation Modules ) and then Rouquier (Block theory via stable and Rickard equivalences, Appendix A.1) define splendid equivalences ...

**1**

vote

**0**answers

18 views

### On finite Uniform (Goldie) dimensions

1) Is there any characterization of $\Bbb{Z}$-modules with finite uniform dimensions?
2) Find two $\Bbb{Z}$-modules $N, M$ such that $N\leq M$ and $M\hookrightarrow N$ but $N$ is not isomorphic to ...

**15**

votes

**4**answers

436 views

### Representation theorem for modular lattices?

Birkhoff's representation theorem implies that every distributive lattice embeds into the lattice of subsets of a set. Is there also some representation theorem for modular lattices?
For example, I ...

**0**

votes

**0**answers

121 views

### on the ``generic" modules of finite length (skyscrapers)

Let $R$ be a local or graded ring. (If it helps, can assume the ring is "good", e.g. $R=k[[x_1,..,x_p]]$, where $k$ is a field of zero characteristic.)
Let $M$ be a finitely generated $R$-module ...

**10**

votes

**0**answers

366 views

### Dimensions of dual vector spaces

Let $V_F$ be an infinite dimensional right $F$-vector space (over a field $F$, or even over a division ring). The dual space $V^{\ast}={\rm Hom}(V,F)$ is naturally a left $F$-vector space (coming ...

**2**

votes

**0**answers

54 views

### Analogue of Bass's Lemma 2.4 on when inverse images of free modules are free

Let $R$ be a Noetherian integral domain. Let $x\in R$ be a prime element. Let $\overline{R}=R/Rx$.
Let $P$ be a finitely-generated projective $R$-module.
Assume that $\frac{P}{xP}$ is a free ...

**0**

votes

**0**answers

66 views

### Does an hereditary scalar extension indicate the original algebra is hereditary?

Let $A$ be a finite-dimensional algebra over a field $\mathbb{F}$ of characteristic zero and let $\mathbb{K}/\mathbb{F}$ be a finite galois extension.
Assume we know that ...

**0**

votes

**0**answers

60 views

### grade of ideals in non-noetherian rings

Let $R$ be a commutative ring with unity, and $M$ an $R$-module. Assume that $I$ and $J$ are finitely generated ideals and $K$ another ideal of $R$. Let $\textbf{x}$ be a sequence of generators of ...

**5**

votes

**0**answers

120 views

### Functoriality of $\mathsf{Cu}$

I have always been happy with the proof of the functoriality of the Cuntz semigroup $\mathsf{Cu}$ given in arXiv:0902.3381, where the isomorphism
$$\mathsf{Cu}(A)\cong W(A\otimes K)$$
is used, $A$ ...

**4**

votes

**0**answers

114 views

### Reference request for $R$-index

Let $R$ be a noetherian domain with field of fractions $F$, let $V$ be a finite-dimensional $F$-vector space, and let $M,N \subseteq V$ be $R$-lattices in $V$ (finitely generated $R$-submodules of $V$ ...

**-5**

votes

**1**answer

89 views

### Simple bimodule over matrix ring [closed]

Let given not trivial simple $R$- $R$ bimodule $M$, where $R$ - $n\times n$ matrix algebra over field $\mathbf{F}$. Is it true that $M$ is uniquely defined?

**2**

votes

**3**answers

498 views

### The number of submodules of $\mathbb{Z}_q^n$

Observe $\mathbb{Z}_q^n = \mathbb{Z}_q \times \cdots \times\mathbb{Z}_q$ as a module over $\mathbb{Z}_q\equiv\mathbb{Z}/q\mathbb{Z}$, for general $q$.
I am interested in the following questions:
How ...

**9**

votes

**0**answers

158 views

### $A$-module is free if and only if equation involving Hilbert-Poincaré series holds, $M$ infinitely generated case

See my question here.
Let $A = \oplus_{i \ge 0} A_i$ be a nonnegatively graded commutative algebra and $M$ a nonnegatively graded $A$-module. Assume in addition that $A_0 = k$ and all vector ...

**3**

votes

**2**answers

152 views

### Rings all of whose torsion modules are cyclic

Let us call a (possibly non-commutative) ring $R$ "very good" if every finitely generated torsion left $R$-module is cyclic. Here is an example of such a ring:
Let $k=\mathbb{C}((t))$ and let ...

**0**

votes

**0**answers

105 views

### Quotient modules of polynomial rings by maximal one-sided ideal

Let $R[X]$ be a ring of polynomials over an associative unital ring $R$ which is not necessarily commutative. Let $M$ be a maximal left ideal in $R[X]$. It is easy to see that if the intersection of ...

**4**

votes

**1**answer

125 views

### Rank versus free-rank of a module

Suppose M is a finitelly generated left module over a ring R. We define the rank of M as the minimal number of generators of M. If in addition M is free, then we define the free-rank of M as minimal ...

**1**

vote

**0**answers

75 views

### Irreducible representations of quantum affine algebras

The finite dimensional simple modules of quantum affine algebras are parameterized by Drinfeld polynomials. Some other modules of quantum affine algebras are studied in the paper. Some infinite ...

**4**

votes

**1**answer

126 views

### Is this notion of 'closed subset' of a semigroup action something people have thought of?

Suppose $S$ is a semigroup (or a monoid, or a category), and $X$ is an $S$-set -- that is, a set with an action of $S$. Say that a sub-$S$-set $Y$ is "downward closed" (or maybe "well-generated") if ...

**2**

votes

**0**answers

108 views

### Teaching an abstract algebra class involving modules, best way to introduce operations on modules?

I am about to teach a few classes on modules and their operations, namely the following: direct product, direct sum, and finitely generated modules. The following is the "skeleton" version of how I ...

**5**

votes

**2**answers

135 views

### The use of modules in control theory

So far I have seen the use of vector spaces in control theory and other notions from linear algebra; So I wonder if there's a use of this abstraction of modules over rings in control theory? any ...

**7**

votes

**1**answer

247 views

### Jordan-Hölder-like statements for modules with $\Delta$-filtrations over a quasihereditary algebra

Definitions
Let $A$ be an Artin algebra (for instance, take $A$ to be a finite dimensional algebra over some field) and label the isomorphism classes of simple $A$-modules by the elements of a ...

**10**

votes

**2**answers

299 views

### Free $k[x_1, \dots, x_n]^{S_n}$-module?

Let $\text{char}\,k = 0$ and $n \ge 2$. What is the easiest way to see that $k[x_1, \dots, x_n]$ is a free $k[x_1, \dots, x_n]^{S_n}$-module with basis$$x_2^{m_2}x_3^{m_3} \dots x_{n-1}^{m_{n-1}} ...

**5**

votes

**1**answer

242 views

### Constructing a simple $A$-module

Let $n \ge 2$, and let $A$ be the (unital and associative, but noncommutative) $\mathbb{C}$-algebra with generators $x_1, \dots, x_n$ and relations $x_ix_j + x_j x_i = 2\delta_{ij}$. What is a ...