The modules tag has no wiki summary.

**1**

vote

**1**answer

99 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 ...

**1**

vote

**0**answers

30 views

### Are two bimodules isomomorphic as left and right modules also isomorphic as bimodules? [migrated]

let R be a commutative ring, and M, N two bimodules over R, such that there exists f : M -> N an isomorphism of left R-modules, and g : M -> N an isomorphism of right R-modules. Then are M and N ...

**0**

votes

**1**answer

53 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

**1**answer

152 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

**1**answer

128 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

**0**answers

37 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

**1**answer

97 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

**0**answers

44 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

**1**answer

499 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

**1**answer

180 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

**0**answers

99 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

**0**answers

413 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

**1**answer

227 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

**1**answer

207 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 ...

**3**

votes

**0**answers

49 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

**1**answer

101 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 ...

**1**

vote

**1**answer

118 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

**0**answers

52 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

**0**answers

202 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 ...

**6**

votes

**0**answers

90 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

**1**answer

181 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

**2**answers

271 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 ...

**3**

votes

**0**answers

363 views

### An exact sequence which does not split

Let $X$ and $Y$ be indecomposable modules over a finite dimensional algebra and let $f \colon X \to Y$ be a non-zero morphism which is neither a monomorphism nor an epimorphism.
Suppose that it is ...

**2**

votes

**1**answer

58 views

### dg-flat complexes and their characters

Let $\otimes$ denotes the usual tensor products of complexes and symbols live in the category of chain complexes of $R$-modules. Let $X$ be a dg-flat complex (i.e. $X_n$ is flat for each n and ...

**-3**

votes

**1**answer

247 views

### Doubt in this proof of Horrocks theorem

I'm beginning to study some research papers and I need right now to understand the solution of Vaseršteĭn of Serre's theorem (simplest proof of this theorem), to do so, I'm beginning to understand ...

**11**

votes

**7**answers

714 views

### Properties of rings that have an elegant description in terms of the associated category of modules

Suppose $A$ is a ring. Then $A$ happens to be a division ring iff every left $A$-module is free. (See here for proofs). I think this is very beautiful; what other properties of rings have an elegant ...

**7**

votes

**1**answer

151 views

### Complexity of rational $\mathrm{GL}_{n(r)}$-modules

Let $k$ be an algebraically closed field of characteristic $p>0$, and let $G=\mathrm{GL}_n(k)$ for some natural number $n$. For any integer $r\ge 1$, let $G_{(r)}$ denote the $r$th Frobenius ...

**1**

vote

**0**answers

97 views

### Intuitive idea: What is the motivation for relative homological algebra

Basically I was wondering what is the purpous of choosing a smaller class of epis in a category? Does it allow for the existence of "more" "projective-like" objects?
What are some applications? For ...

**4**

votes

**1**answer

324 views

### Re-interpreting vector spaces in a choice-less model of ZF as modules over a regular ring in ZFC

I am searching a module $M$ over a (von Neumann) regular ring $A$ ($\forall a\in A$, $\exists x\in A$: $axa=a$) with two properties:
(1) every finitely generated submodule of $M$ is projective ...

**10**

votes

**1**answer

640 views

### Why are they called Specht Modules?

I know that the simple modules of $\mathbb{C}S_n$ are called Specht Modules, and they are named after the German Mathematician Wilhelm Specht because he studied them, but I think these modules were ...

**2**

votes

**1**answer

147 views

### Simultaneous decomposition of modules over Dedekind domains

I posted the question on mathexchange as well, but realized that my chances would be higher posting here;
In the paper "Almost diagonal matrices over Dedekind Domains" by L. Levy a specific ...

**2**

votes

**1**answer

75 views

### Injective modules over noncommutative noetherian rings

Let $R$ be a left noetherian ring, then it is well known that Matlis proved that any injective $R$-module decomposes into a sum of indecomposable injectives, each of form $E(R/I)$ for some irreducible ...

**3**

votes

**1**answer

269 views

### Splitting as $\mathbb{F}_p[[X]]$-modules

Let $A$ be a finitely generated torsion $\mathbb{Z}_p[[X]]$-module, $B$ = { $x \in A$ such that $px=0$ } and $C=A/B$ where $\mathbb{Z}_p$ denotes the $p$-adic integers. Given $ 0 \rightarrow B/pB ...

**4**

votes

**0**answers

95 views

### Sum of projective submodules of a projective over a semihereditary ring

Sorry in advance if this is too silly. Let $R$ be a right semihereditary ring and $P$ a projective right $R$-module. It is well-known that finitely generated (thus projective) submodules of $P$ form a ...

**0**

votes

**2**answers

284 views

### Dual of a module

Let $M$ be a $ \mathbb{Z}_{p}[[T]] $-module and $X=Hom(M,\mathbb{Q}_{p}/\mathbb{Z}_{p})$ be the dual of $M$. Let $X[p^n]$ denotes the $p^n$-torsion points of $X$. Is $X/X[p^n]$ the dual of $M[p^n]$ ...

**13**

votes

**2**answers

429 views

### Does base extension reflect the property of being isomorphic?

Let L/K be a (separable?) field extension, let A be a finite dimensional algebra over K, and let M and N be two A-modules. Let $A' = L \otimes_K A$ be the algebra given by extension of scalars, and ...

**1**

vote

**1**answer

234 views

### Is this square commutative?

Suppose that the following commutative diagram of $R$-modules is given.
$ \newcommand{\ra}[1]{\kern-1.5ex\xrightarrow{\ \ #1\ \ }\phantom{}\kern-1.5ex} \newcommand{\ras}[1]{\kern-1.5ex\xrightarrow{\ ...

**4**

votes

**1**answer

347 views

### Maximal Submodule of a Verma Module

Let $\mathfrak{h}$ be a Cartan subalgebra of a $\mathbb{C}$-semi simple Lie algebra $\mathfrak{g}$. Given $\lambda \in \mathfrak{h}^*$, $M(\lambda)$ the Verma module of highest weight $\lambda$ and ...

**14**

votes

**5**answers

795 views

### is the category of coherent sheaves some kind of abelian envelope of the category of vector bundles?

This might be obvious to experts, but I'm not sure where to look for the answer. On a reasonably nice, at least noetherian, scheme (or variety, algebraic space, stack), can the category of coherent ...

**1**

vote

**1**answer

143 views

### arrows in the injective representations of quivers

Let $Q$ be a quiver (a directed graph) and $E$ be a representation of $Q$ by R-modules, that is, for each vertex $v$ in $Q$ there exists an R-module $E(v)$ and for each arrow $a:v\to w$ there exists a ...

**5**

votes

**1**answer

377 views

### Splitness of commutative diagrams

Consider the following commutative diagram in the category of $R$-modules where $R$ is an associative ring with identity and all modules are unital.
$
\newcommand{\ra}[1]{\kern-1.5ex\xrightarrow{\ \ ...

**1**

vote

**0**answers

129 views

### Is this a pure monomorphism?

Let $M$ be a representation of a quiver $Q=(V, E)$ by $R$-modules. By $M^{+}$ we mean a representation of $Q^{op}$ with $M^{+}(v)=\mathrm{Hom}(M(v), \frac{Q}{Z})$. One can easily see that there is ...

**1**

vote

**1**answer

211 views

### finitely presented representations

Let Q=(V,E) be a direct graph where V is the set of all its vertices and E denotes the set of all its arrows. $X$ is called a representation of Q by modules if it is a functor from Q to R-Mod. i.e. ...

**1**

vote

**1**answer

208 views

### Pure monomorphism of functors-

Suppose that $F, G: Q\rightarrow R{\rm -Mod}$ be two covariant functors where $Q$ is an abelain category and $R$ is a commuatative ring. Also let $\eta: F\rightarrow G$ be a natural transformation ...

**7**

votes

**1**answer

251 views

### Analogy between Lagrange's Theorem and Rank-Nullity Theorem?

One can view view Lagrange's Theorem $$|G/H|=|G|/|H|$$ and the Rank-Nullity Theorem $$\dim(V/U)=\dim(V)-\dim(U)$$ as directly analogous. Does anyone know a high-level explanation of this analogy? I ...

**1**

vote

**2**answers

116 views

### On modules with finite uniform dimension

Is it true that if a module $M$ has finite uniform dimension then the same is true for its homomorphic images ?

**8**

votes

**1**answer

211 views

### Rings in which every module has an injective image

Consider the class of rings $R$ with identity such that any left $R$-module has a non-zero injective homomorphic image. Any such ring is clearly a left V-ring. Is it true that any such ring must be ...

**2**

votes

**2**answers

220 views

### Looking for a reference: double orthogonal complement in $(\mathbb{Z}/q\mathbb{Z})^n$

I'm using the following result in a computer science paper:
Let $V$ be a submodule of $(\mathbb{Z}/q\mathbb{Z})^n$ (n-tuples with addition and multiplication mod $q$). Let
$$V^\perp = \{u \in ...

**2**

votes

**3**answers

462 views

### Is it true that simple projective modules are injective?

It is known that simple modules are either projective or singular. Is it true that simple projective modules over (commutative) rings are injective ?

**8**

votes

**3**answers

456 views

### What is the categorical significance of the trivial $\mathfrak{g}$-module in the category of $\mathfrak{g}$-mod?

This question may be trivial for experts.
Let $\mathfrak{g}$ be a Lie algebra over a field $k$ and consider the category $\mathfrak{g}$-mod of $\mathfrak{g}$ modules. We can add suitable conditions, ...