For questions on modules over rings.

learn more… | top users | synonyms

0
votes
0answers
106 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 ...
6
votes
0answers
171 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
0answers
52 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
0answers
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
0answers
56 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
0answers
112 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
0answers
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
1answer
83 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
3answers
473 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 ...
8
votes
0answers
150 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
2answers
140 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
0answers
84 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 M with ...
4
votes
1answer
89 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
0answers
68 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
1answer
123 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
0answers
105 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
2answers
121 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
1answer
237 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
2answers
282 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
1answer
241 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 ...
1
vote
1answer
146 views

Cyclic faithfully flat modules

I am looking for an example of a cyclic faithfully flat $R$-module that is not projective. Could someone help me?
0
votes
0answers
47 views

trying to understand particular modules, to contruct some nice free resolutions

Let $R$ be a local or graded ring, fix some morphism $\phi\in Hom_R (R^{\oplus n},R^{\oplus m})=:Mat(m,n;R)$. In various applications one meets modules like $\frac{Mat(m,n;R)}{Span(U ...
6
votes
0answers
161 views

When is a polynomial ring free over a graded subalgebra?

Keep the setting of my previous question and let $I := k[x_1, \dots, x_n] \cdot A_{>0}$ be an ideal of the algebra $k[x_1, \dots, x_n]$ generated by the set $A_{>0}$. It is clear that $I$ is a ...
1
vote
2answers
101 views

Showing that the stable module category of a ring $R$ restricted to maximal Cohen-Macaulay objects is trivial if $\text{gldim } R < \infty$

(In the following, a (not necessarily commutative) ring $R$ is Gorenstein if it has finite injective dimension as a module over itself on either side, and a finitely generated (right) $R$-module is ...
2
votes
1answer
124 views

Projectivity of torsion-free modules over integral group rings

Let $G$ be a torsion-free group and assume that the integral group ring $\mathbb{Z}G$ is torsion-free as well. Let $M$ be a torsion-free, finitely generated module over $\mathbb{Z}G$. If we assume ...
4
votes
1answer
164 views

locally noetherian categories and the category of quasi-coherent sheaves over a noetherian scheme

It is known that a ring $R$ is noetherian if and only if direct sums of injective $R$-modules are injective if and only if every injective $R$-module is a direct sum of indecomposable injective ...
3
votes
1answer
72 views

Semisimple monoidal category with duals

We say that an abelian category is semisimple if every object is a semisimple object, which is to say, a direct sum of finitely many simple objects. Let $({\cal C},\otimes,*)$ be a semisimple ...
2
votes
0answers
51 views

some sort of 'saturation' of module quotients

Let $R$ be a local Noetherian ring over a field, with the maximal ideal $\mathfrak{m}$. (e.g. $R=k[[x_1,\dots,x_{p>1}]]$) Given two $R$-modules, $N\subset M$, of the same (finite, non-zero) rank. ...
7
votes
1answer
218 views

In modules over finite rings $Rv = Rw \iff R^\times v = R^\times w$

Let $R$ be a finite ring (with unit, possibly non-commutative), and $M$ a left module over $R$. Let $v,w\in M$. Then $$Rv = Rw \iff R^\times v = R^\times w.$$ This follows from Lemma 6.4 in ...
0
votes
1answer
128 views

Complex plane mod lattice to elliptic curve correspondence generalization

If we observe the correspondence $$\mathbb{C}/\Lambda \rightarrow E: Y^{2} = X^{3} - \frac{g_{2}(\Lambda)}{4}X - \frac{g_{3}(\Lambda)}{4},$$ we see the relationship between weight 4 and weight 6 ...
0
votes
0answers
114 views

If the direct sum of cyclic modules is cyclic, what happens to nontrivial extensions?

Let $R$ be any ring with unit over some field $k$ and let $M_1$ and $M_2$ be cyclic left $R$-modules with $dim_k(Ext^1_R(M_2,M_1))\geq 1$. Assume $M_1\oplus M_2$ is a cyclic left $R$-module. Given ...
1
vote
1answer
135 views

M is an R-module which is not finitely generated. is it true that $\inf \{ i| H^i_I(M)\neq 0 \}\le ht_M I?$

Let $R$ be a commutative noetherian ring (with $1$), $I$ an ideal of $R$, and $M$, a finitely generated $R$-module such that $IM \neq M$. Then, by Theorem 6.2.7 of BRODMANN-SHARP's Local Cohomology ...
1
vote
0answers
101 views

Are finitely presented modules finitely presentable? [closed]

Over a ring $R$ we have a notion of finitely presented module, namely: Definition 1 A module $F$ is finitely presented if there are $m$, $n$ positive integers such that $R^m\to R^n\to F\to 0$ is ...
0
votes
2answers
168 views

Regularity of a tensor product

Let $A \subseteq B$ and $A \subseteq C$ be commutative noetherian domains. Assume that $A$ and $C$ are regular rings (=every localization at a maximal ideal is a regular local ring). Assume that $B$ ...
0
votes
1answer
155 views

When every module is a scalar extension?

Let $A \subseteq B$ be commutative noetherian domains. Of course, if $M$ is an $A$-module, then $M \otimes_A B$ is a $B$-module. I am curious to know if there exist additional conditions on $A$ and ...
1
vote
0answers
78 views

Morphism of modules of sections and pullback bundles

I'v asked this question on StackExchange but unfortunately nobody answered. I thought that maybe it would be more apropriate to post it here: so suppose that we have a morphism $\theta: \Gamma(B,E_1) ...
-1
votes
1answer
116 views

behavior of multiplicity in exact sequences

Bruns-Herzog define multiplicity When the ring and module are not necessarily graded as $e(M)=e(gr_m(M))$, see B-H 4.6. I have two questions: Question1. Many concepts in commutative algebra have ...
0
votes
0answers
119 views

Derived categories of modules categories

Does anyone know if there is a note or a paper about the derived category of the category $\sigma[M]$ where $M$ is a left module over a ring?, and some uses of this.
5
votes
1answer
141 views

When are countably generated Hilbert modules generated by c.p.c. order zero maps?

Throughout let $B$ be a stable C*-algebra, i.e. $B\cong B\otimes K$, where $K$ is the C*-algebra of compact operators on an infinite dimensional separable Hilbert space. It is well-known that any ...
0
votes
1answer
206 views

Commutation of tensor products with inverse limits in a specific case

For $X,Y$ sets, let's denote $Y^X$ the set of all mappings $X\rightarrow Y$. If $Y(=R)$ is a ring, $R^X$ is a $R$-module (well, a bi-module but my question is - at first - concerning commutative ...
3
votes
1answer
164 views

When does a faithful module have an element with zero annihilator?

This is a follow up of Example of a finitely generated faithful torsion module over a commutative ring. Let $M$ be a finitely generated module over a commutative ring $R$ with the property that ...
-1
votes
1answer
96 views

Is this apushout diagram [closed]

Let $A, B, C, E$ and $F$ be some objects in an abeleian category $\mathcal{C}$. Let we have a commutative diagram \begin{array}{ccccccccc} 0 & \xrightarrow{} & A & \xrightarrow{f} & ...
1
vote
0answers
92 views

A noncommutative vector bundle associated with a codimension one foliation

Assume that we have a codimension one foliation of a manifold $M$ which is generated by a one form $\alpha$. So the following $\phi$ satisfies $\phi \circ \phi =0$:$$\phi:\Omega^{i}(M)\to ...
1
vote
1answer
157 views

Annihilator of tensor product when $R$ is domain

Let $R$ be a Noetherian domain and $M$ and $N$ be two faithful $R$-modules. Is it true that $\operatorname{Ann}_R(M\otimes_R N)=0$?
1
vote
1answer
93 views

$IM=mM$. can we say that $I$ is a reduction ideal of $m$?

Question. Let $(R,m)$ be a Noetherian local ring and $M$ be a finite faithful $R$-module. Let $I$ be an ideal of $R$ such that $IM=mM$. Can we say that $I$ is a reduction ideal of $m$? Recall that $I$ ...
3
votes
3answers
216 views

canonical module can be identified with an ideal. how can one reach that ideal?

Let $R[[X,Y,Z]]/(X,Y)\cap (Y,Z)\cap(X,Z)$. then $R$ is Cohen-Macaulay ring and has a canonical module, $K$. By Proposition 3.3.18 of Bruns_Herzog, $K$ can be identified with an ideal in $R$. So we ...
1
vote
1answer
134 views

Graded version of Baer's Criterion

Baer's Criterion for injectiveness of modules says: "An $R$-module $E$ is injective iff for all ideals $I$ of $R$, every homomorphism $f\colon I \to E$ can be extended to $R$." I wonder if there is a ...
2
votes
1answer
240 views

When are homotopy categories of model categories closed modules over the homotopy category of $(\infty, 1)$-categories?

Let $\mathrm{Quillen}$ be the model category of simplicial sets with the Quillen model structure, and $\mathrm{Joyal}$ the model category of simplicial sets with the Joyal model structure. As is ...
4
votes
1answer
284 views

Homomorphisms from projective modules

Let $B$ be a $A$-algebra which is free of finite rank as $A$-module. Let $X$ be a finitely generated projective left $B$ module. (So $X$ is also a f.g. projective $A$ module.) Are these homomorphism ...
4
votes
0answers
101 views

Multiplicity of $Ext^{d-t}(M,\omega_R)$, ($d=\dim R, t=\dim M$)

Let $R=\bigoplus_{i \geq 0} R_i$ be a Cohen-Macaulay graded ring ($R_0$ is a field and $R$ is generated by $R_1$) of dimension $d$ with canonical module $\omega_R$, and $M$ a graded Cohen-Macaulay ...