The tag has no wiki summary.

learn more… | top users | synonyms

2
votes
0answers
35 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
178 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
106 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
88 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
129 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
89 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
154 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
141 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 ...
0
votes
0answers
58 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
104 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
106 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.
4
votes
1answer
129 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
157 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
121 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
90 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
84 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
131 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
75 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
184 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
124 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
220 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
264 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 ...
0
votes
0answers
68 views

An embedding of modules by tensor product over a Noetherian domain

I have a problem on Ring theory. I would like to prove or disprove the following statement: Let $R$ be a Noetherian domain. Then by the Goldie theorem $R$ have $Q$ as a full ring of quotients and $Q$ ...
4
votes
0answers
89 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 ...
4
votes
1answer
95 views

Existence of small projective dimensioned modules

Suppose $A$ is a (if necessary unital) associative ring and $I$ is a left ideal in $A$. Let $\operatorname{pd}(M)$ denote the projective dimension of a left $A$-module $M$. Then do either of the ...
6
votes
0answers
161 views

Correspondences as generalized morphism between $C^*$-algebras

While reading about Morita equivalence in the category of $C^*$-algebras I met also the following notion: a correspondence between two $C^*$-algebras $A,B$ is a pair $(X,\varphi)$ where $X$ is a ...
5
votes
1answer
119 views

Isomorphism of Hilbert modules

In Hilbert space theory if we have a linear bijection $U:H \to K$ which is an isometry, then it preserves inner products. Suppose now that you have two (right) Hilbert modules $X,Y$ (say, over the ...
-1
votes
1answer
143 views

Ext functor for more than two modules? [closed]

The question is natural. Let's just work in the category of modules over a ring. Pick three modules $M_1, M_2, M_3$. Consider consecutive extensions of these modules, i.e., consider M, such that we ...
2
votes
1answer
258 views

Example of a Frobenius algebra that is not projective over a Frobenius subalgebra

I'd like to know an example of a Frobenius algebra $A$, with a subalgebra $B$ that is itself a Frobenius algebra, such that $A$ is not projective as a left $B$-module. I don't require any ...
2
votes
1answer
155 views

what are the possible approximations for ideals

(Fix some local ring $(R,\mathfrak{m})$ over a field of zero characteristic.) Suppose an ideal $J$ is defined by some complicated formula/procedure. And there is no hope of computing it/or writing ...
0
votes
1answer
70 views

Reference request for stably free modules

I am looking for some references on the theory of stably free modules. I will call (F) the following property for a ring $R$: every f.g. stably free module over $R$ is free. 1) Is there a standard ...
0
votes
1answer
232 views

Uniform Artin-Rees

The Artin-Rees lemma states that if $R$ is a Noetherian ring, $I \subseteq R$ is an ideal and $N \subseteq M$ are finitely generated $R$-modules, then there exists an integer $k$ such that for every ...
1
vote
1answer
143 views

Lifting a direct summand of a free module

[EDIT]: After getting a nice counter example provided by Steven Landsburg I realize that I forgot to impose an important condition...namely $R$ is supposed to be complete w.r.t. the $I$-adic topology. ...
0
votes
0answers
46 views

How to generalize balanced and absorbing sets to R-modules?

I'm looking for generalizing the notions of balanced set and absorbing set. The goal is using them for analyzing topological R-modules with R being a unit ring. It's easy to generalize balanced and ...
3
votes
1answer
99 views

Let $A\in\operatorname{M}_n(F)$ be a matrix, how to prove $\bigcap_{X\in C(A)}C(X)=F[A]=\frac{F[x]}{(m_A(x))}$

I asked the following question on Math Stack Exchange, but no people reply. I know MO is more professional and it is for mathematicians to discuss research problems. Maybe this question is unsuitable ...
1
vote
0answers
56 views

a generalization of the annihilator of cokernel ideal

Let $R$ be a (commutative, associative, unital) ring, consider a homomorphism of some (finitely generated) free $R$-modules $F\stackrel{A}{\rightarrow}G$. Its basic invariants are the Fitting ideals, ...
9
votes
1answer
545 views

Is $\mathbb{R}$ a $\mathbb{C}$-module without AC?

Assuming ZFC. We can make $(\mathbb{R},+)$ into a nontrivial(scaler multiplication is not identicaly zero) $\mathbb{C}$-module. Now my questions are? 0.Is it consistent with $ZF$ that $\mathbb{R}$ is ...
4
votes
2answers
243 views

Canonical presentation of pro-modules over pro-rings

Let $A = (\dotsc \twoheadrightarrow A_2 \twoheadrightarrow A_1 \twoheadrightarrow A_0)$ be a (commutative) pro-ring with surjective transition maps. Consider the category $\mathcal{M} := \varprojlim_i ...
1
vote
0answers
113 views

Ring of endomorphisms as a criterion of a dimension 1 module

Let $R$ be a unital ring and $M$ be an $R$-module. I have some questions about relation between the ring $\operatorname{End}_R M$ of endomorphisms and the notion of “dimension” of a module. I’m not ...
1
vote
0answers
445 views

Submodule embeddable in a finitely generated module

I have a terminology question. For a commutative ring $A$ (not necessarily Noetherian), $A$-modules that are isomorphic to an $A$-submodule of a finitely generated $A$-module form a fairly good class ...
5
votes
1answer
240 views

Does $ \text{mult}(R / I) = d_{1} \cdots d_{r} $ imply that $ (f_{1},\ldots,f_{r}) $ is an $ R $-regular sequence?

We define the multiplicity of an $ R $-module $ M $ of dimension $ d > 0 $ to be $$ \text{mult}(M) \stackrel{\text{df}}{=} \text{LC}(P_{M}) \cdot (d - 1)!, $$ where $ P_{M} $ denotes the Hilbert ...
5
votes
1answer
348 views

Is a projective module of constant finite rank finitely generated?

If $R$ is a (commutative) ring and $P$ is a projective $R$-module, then every localization of $P$ at a prime of $R$ is free by Kaplansky's theorem, and has a well-defined rank. If these ranks are all ...
4
votes
0answers
57 views

Is there a positive integer k such that any endomorphism of any free module over any commutative ring is a linear combination of k idempotents?

Consider the following Condition (C) on a positive integer $k$: (C) If $R$ is a commutative ring, if $F$ is a free $R$-module, and if $f$ is an endomorphism of $F$, then $f$ is an $R$-linear ...
-3
votes
1answer
122 views

Isomorphic quotient of a Module over Noetherian commutative algebra [closed]

I have a nice solution to the following problem and I thought of writing a paper about it but beforehand, I wanted to ask the problem here to see if this is an easy problem and if you people can solve ...
2
votes
1answer
128 views

General criterion to find a Z-basis in a fixed generating subset

Let $V=\mathbf{Z}^N$ be a free $\mathbf{Z}$-module of rank $N$. Let $S\subseteq V$ be a fixed finite subset. Consider the submodule $M:=\langle S\rangle\leq V$ generated by $S$. We know form the ...
2
votes
0answers
56 views

an equality in module theory

Let $R$ be a ring and $M$ be an $R$-module. Let $N$ and $L$ be two submodules of $M$ such that $(rad(N+L):M)=\sqrt{(N:M)+(L:M)}$. Then can we conclude that $(N+L:M)=(N:M)+(L:M)$? Note that ...
1
vote
0answers
214 views

R[[X]] flat as a R[X]-module?

I assume $R[X]\rightarrow R[[X]]$ is not flat in general, but I was wondering if any conditions on a commutative ring $R$ are known such that $R[[X]]$ is flat as a $R[X]$-module. Would $R$ noetherian ...
7
votes
0answers
100 views

Finiteness for separated residually finite modules

Suppose that $A$ is a commutative noetherian Jacobson ring and $M$ is an $A$-module. Suppose in addition that $M$ is $\mathfrak{m}$-adically separated for every maximal ideal $\mathfrak{m}$, and that ...
5
votes
1answer
199 views

Injective flat module

Let $R$ be a (right noetherian) ring. Is there always a right $R$-module which is both flat and injective? If $R$ is an integral domain, then the answer is indeed yes, as the quotient field is such. ...
1
vote
2answers
296 views

A semisimple group ring

Let $n \in \mathbb{N}$, $p$ a prime number, and $G$ a finite group of order coprime to $p$. Let $R = \mathbb{Z} /p^n \mathbb{Z}$ be the ring of integers mod $p^n$. Must $R[G]$ be semisimple? As noted ...