For questions about modules over rings, concerning either their properties in general or regarding specific cases.

learn more… | top users | synonyms

7
votes
0answers
193 views

An elegant description for graded-module morphisms with non-zero zero component

In an example I have worked out for my work, I have constructed a category whose objects are graded $R$-modules (where $R$ is a graded ring), and with morphisms the usual morphisms quotient the ...
6
votes
0answers
62 views

Symmetric Algebra and Extension of Scalars

I am reading Gortz and Wedhorn's Algebraic Geometry. In their section on the symmetric algebra they explain the adjoint situation $$ \mathrm{Sym}_A \dashv i_A\colon \mathrm{Alg}(A)\to ...
6
votes
0answers
81 views

Two ideals both alike in dignity, in fair Paris where we lay our scene.

Let $A$ be an integral domain. I have to show that two ideals $\mathfrak a$ and $\mathfrak b$ are isomorphic as $A$-modules if and only if there exist $a$ and $b$ such that $a\mathfrak b=b\mathfrak ...
6
votes
0answers
154 views

A few questions about a specific ring

My question is kinda long, so please bear with me... And I only need hints to get me started. So, I'm working on the ring $R =\left( \begin{matrix} \mathbb{Z} & \mathbb{Q} \\ 0 & ...
6
votes
0answers
110 views

Artinian rings are perfect

Is there a simple way to prove that an Artinian ring is perfect? (in the commutative case)
6
votes
0answers
281 views

Condition for a ring on projective and free modules problem

Let $R$ be a ring. Then we know that a free module over $R$ is projective. Moreover, if $R$ is a principal ideal domain then a module over $R$ is free if and only if it is projective or if $R$ is ...
5
votes
0answers
64 views

When is an $R$-projective module a projective module?

Let $R$ be a semiperfect ring. Is it a true fact that every $R$-projective module $M$ with $Rad(M)$ superfluous in $M$ is projective? I could not reach a good result using just the fact that ...
5
votes
0answers
74 views

Category of Chain Complexes of $R$-modules

So I have a couple of questions: 1- Formally speaking, what is a "quotient of a chain complex" of $R$-modules? 2- I want to show that any chain complexes of $R$-modules $C_\bullet $ is the ...
5
votes
0answers
86 views

Deciding whether or not a class of modules is “big enough”

For the last few days I'm pondering the following question. The situation is this: $R$ is a commutative ring and $A$ a (noncommutative) $R$-algebra. I have a class $\mathcal{C}\subseteq\coprod_{S} ...
5
votes
0answers
138 views

Non-reflexive module isomorphic to its double dual

Could you give me an example of a non-reflexive module isomorphic to its double dual? I found an example here but I cannot understand it, do you have any simpler examples? By this question we should ...
5
votes
0answers
236 views

Proof of Smith Normal Form as a Generalization of Rank-Nullity Theorem

For any matrix A with entries in a PID, there exist invertible matrices P and Q such that B = PAQ, where B is in Smith normal form. This theorem is usually proved by using elementary row/column ...
5
votes
0answers
167 views

Dual modules and first cohomology

Let $G$ be a finite group, $K$ a characteristic-$p$ algebraically closed field (say $p$ divides $|G|$), and let $M$ be a finite-dimensional $KG$-module. What hypotheses are needed on $G$, $M$ to ...
4
votes
0answers
54 views

Symmetric non-degenerate bilinear forms over $\mathbb{Z}$ and $\mathbb{Q}$

Consider the four non-degenerate symmetric bilinear forms over $\mathbb{Q}$ given be the matrices $\bigl(\begin{smallmatrix} 1&0\\ 0&1 \end{smallmatrix} \bigr)$,$\bigl(\begin{smallmatrix} ...
4
votes
0answers
89 views

Existence of finite projective resolution

The situation I'm considering is quite involved. All rings are noetherian commutative with $1$. All modules are finitely generated. First of all we fix a non reduced local ring $A$ where all zero ...
4
votes
0answers
76 views

How to compute Ext over an exterior algebra

I found this question in several places (even on mathoverflow and mathstackexchange), but I never found a satisfying answer. Let $k$ be a field and $V$ a finite dimensional $k$-vectorspace, I would ...
4
votes
0answers
49 views

$M\times N$ Doesn’t Have a Module Structure

In Keith Conrad's notes (page 4) is written: For two $R-$modules $M$ and $N$ , $M\oplus N$ and $M\times N$ are the same sets, but $M\oplus N$ is an $R-$module and $M\times N$ doesn’t have a ...
4
votes
0answers
97 views

The importance of being Cohen-Macaulay

I am starting to study Cohen-Macaulay rings, mainly from Bruns-Herzog book. In that book there are many examples and sentences of the type "If something satisfies this properties, then it is ...
4
votes
0answers
102 views

Finitely presented modules and torsion

Suppose $R$ is a Dedekind domain and $A$ a $(m \times n)$-matrix of rank $r$ over $R$. $A$ induces an $R$-module homomorphism $\varphi:R^m \to R^n$ via $x \mapsto xA$ giving rise to an exact sequence ...
4
votes
0answers
62 views

Decomposing the group algebra $\mathbb{R}[Q]$ as a product of matrix rings

I am trying to decompose $\mathbb{R}[Q]$ as a product of matrix rings ($Q$ is the group of quaternions) By Maschke's theorem, $\mathbb{R}[Q]$ is semisimple. I will begin by decomposing it as a left ...
4
votes
0answers
147 views

Comparison of positive elements and Hilbert C*-modules

I can't find a proof of facts like the following, which apparently are quite standard in the theory of C*-algebras. Let $\mathfrak A$ be any C*-algebra, and $a,b$ two positive elements in $\mathfrak ...
4
votes
0answers
27 views

An explicit $\Lambda_R^\ell(M)$ when $M$ is not free

Let $\Lambda_R^n(M)$ be the nth exterior power of an $R$-module $M$. Let us assume $M$ is finitely generated. When $M$ if free, say, $M=R^{\oplus d}$, we know \begin{equation} \Lambda_R^n(M)\cong ...
4
votes
0answers
75 views

Separability of finitely generated projectives over commutative ring

A class $\mathcal{C}$ of $R$-modules is called -separative if $A \oplus A \simeq A \oplus B \simeq B \oplus B$ implies $A \simeq B$ for each $A,B \in \mathcal{C}$ -cancelative if $A \oplus C \simeq ...
4
votes
0answers
38 views

Normal Form problem (in a module over a PID)

Let $A,B$ be $n\times n$ matrices with entires in a PID $D$ and $\det AB\neq 0$. Suppose diag$\{a_i\}$, diag$\{b_i\}$, and diag$\{c_i\}$ are normal froms for $A$, $B$, and $AB$. In particular, ...
4
votes
0answers
245 views

On the Nakayama functor

Let $A$ be a finite dimensional $k$-algebra with 1. Denote by $_AP$ the category of projective left $A$-modules finite dimensional. And with $_AI$ the category of injective left $A$-modules finite ...
4
votes
0answers
116 views

Ext in Dedekind domains

I know and can prove that $\operatorname{Ext}_Z^1(\mathbb{Z}/p\mathbb{Z},A) \simeq A/pA$. Does similar formula work for more general rings, such as Dedekind domains and their ideals, i.e. ...
4
votes
0answers
196 views

Zero divisors in modules?

Let $R$ be a ring. I find myself considering $M=R^n$, as an $R$-module. If $a$ is not a zero divisor in $R$, it holds that $\forall x \in M: ax=0 \Rightarrow a=0 \vee x=0$ . For what kinds of ...
4
votes
0answers
119 views

Why has the category of all discrete $G$-modules not enough projectives when $G$ is profinite?

I found this article about Galois Cohomology, http://www.math.uga.edu/~turkelli/Introduction%20to%20Galois%20Cohomology.pdf In it, it says that, when $G$ is a profinite group and $\mathbf{C}_G$ is ...
3
votes
0answers
31 views

Tensor product of $A_n$ modules/ localisation at ring of differentials

I'm working through Coutinho's "A Primer of Algebraic D-Modules" and I've gotten stuck on the following question: Let $p \in K[x_1, \ldots ,x_n]$ be non-zero, and let $A_n$ be the Weyl Algebra. Show ...
3
votes
0answers
44 views

Commutativity of direct and inverse limits

In exercise 5.34(iv) of Homological Algebra book by Rotman one is asked to prove that direct limits and inverse limits do not necessarily commute. I have two questions : 1.) Is it true that ...
3
votes
0answers
59 views

Equations in the semiring of f.g. modules

Let $R$ be a commutative ring. Then we may consider the semiring $G(R)$ of isomorphism classes of finitely generated $R$-modules with $+ = $ direct sum, $* = $ tensor product, $0 = $ zero module, $1 = ...
3
votes
0answers
55 views

When is $N\otimes_A B \to N$ an isomorphism?

Let $A, B$ be commutative (unital) rings and $f\colon A \to B$ an $A$-algebra. There then exists a canonical functor $f_*\colon \mathbf{Mod}_B \to \mathbf{Mod}_A$ such that, for every morphism of ...
3
votes
0answers
54 views

Projective and simple modules over finite dimensional algebras

I'm working through some lecture notes on the representation theory of a finite dimensional algebra $A$ (associative, unital, over an algebraically closed field $k$), and have got stuck on a ...
3
votes
0answers
65 views

Approximating modules over complete local rings

Let $A$ be a complete local noetherian ring with maximal ideal $\mathfrak{m}$. Is the canonical functor $$\mathsf{Mod}(A) \to \varprojlim_n ~ \mathsf{Mod}(A/\mathfrak{m}^n),~ M \mapsto ...
3
votes
0answers
73 views

exact sequence and modules proposition.

I have problems to prove the following proposition: Let's consider $$0 \rightarrow L \stackrel{\alpha}{\rightarrow} M \stackrel{\beta}{\rightarrow} N \rightarrow 0$$ an exact sequence of modules and ...
3
votes
0answers
64 views

Projective modules over semilocal rings having constant rank are free

I'm starting to study algebraic K-theory by myself and I need a hint how to prove $R$ is a semilocal ring with maximal ideals $\mathfrak m_1,\ldots, \mathfrak m_n$, $P$ is a projective module and ...
3
votes
0answers
130 views

Does $\operatorname{id} M =\dim R$ hold for finite modules of finite injective dimension?

When $\operatorname{id}R<∞$ then $\operatorname{id}R = \dim R$. The same holds for a finite free, projective or flat module instead of $R$, that is, $\operatorname{id}M = \dim R$. Does it hold for ...
3
votes
0answers
167 views

“M is reflexive” implies “M is maximal Cohen-Macaulay”. Is the converse true?

Let $R$ be a local integrally closed domain of dimension $2$. Let $M$ be a nonzero finitely generated $R$-module. We know that "$M$ is reflexive" implies "$M$ is maximal Cohen-Macaulay". Is the ...
3
votes
0answers
52 views

Endomorphism rings of MCM Modules

Let $k$ be a field (algebraically closed of characteristic not equal to two, if you like) and let $R = k[[t^2, t^{2n+1}]]$. It is well known $R$ has finite type and the MCM (maximal Cohen-Macaulay) ...
3
votes
0answers
51 views

“Localization” of a module at a family of elements

Let $x=(x_i)_{i \in I}$ be a family of elements of a commutative ring $R$. Typically $I$ is infinite. Let $M$ be an $R$-module. For every finite subset $E \subseteq I$ define $M_E = M$, and for ...
3
votes
0answers
89 views

Question from Liu, Chapter 5 Ex 1.16

I have a question from Liu's book on Algebraic Geometry, doing Chapter 5 Question 1.16: Let $f:X\rightarrow S$ be a morphism of schemes, with the following base change. $$\require{AMScd} \begin{CD} ...
3
votes
0answers
128 views

On a commutative diagram

Let a commutative diagram: \begin{array}{ccccccccc} 0 & \longrightarrow & A & \overset{f}{\longrightarrow} & B & \overset{g}{\longrightarrow} & C & \longrightarrow & ...
3
votes
0answers
60 views

Morita theory for simplicial rings

My question is the following: is there an analog of Morita theorem in the simplicial setting? I mean, we can define two simplicial rings $A,B$ to be simplicially Morita equivalent is the categories ...
3
votes
0answers
105 views

R-modules over a vector space

Let $V = \mathbb{C}^3$, $A$ be the matrix with column vectors $e3, e1, e2$ (where $e1, e2, e3$ are the standard basis vectors for $\mathbb{R}^3$). $R = \mathbb{F}[X]$. Let $V_a = V$ be the R module ...
3
votes
0answers
47 views

When does $\hom(A,-)$ have trivial kernel?

If $R$ is a commutative ring, is there a special name for those $R$-modules $A$ with the following property? $\forall R$-modules $M$: $~\hom(A,M) = 0 \Rightarrow M = 0$ Notice that every every ...
3
votes
0answers
73 views

$\text{Hom}$ of irreducible modules and restrictions

This question is in reference to this paper. More specifically it is in reference to the proof of proposition 1.4 on page 8. First a defintion: Let $A$ be a semisimple finite dimensional ...
3
votes
0answers
55 views

Projective Module as a Direct Sum of Left Ideals

I wonder if the following statement is true: Every projective $R$-module is a direct sum of projective left ideals of $R$. Most examples of non-free projective modules I have seen are all left ...
3
votes
0answers
70 views

Looking for a short book on modules

I'm looking for a short (100-150 pages) introductory book devoted to the algebra of modules. (I realize that many comprehensive algebra books include coverage of modules, but I'd prefer to read a ...
3
votes
0answers
33 views

Prove that $\eta: R/(a)\to R/(p_1^{\alpha_1})\oplus \cdots \oplus R/(p_r^{\alpha_r})$ is an epimorphism

Let $R$ be PID, and $a \in R$ with $a=p_1^{\alpha_1}\cdots p_r^{\alpha_r}$ its prime factorization. I'd like a Hint in proving that $$ x+(a) \to ...
3
votes
0answers
70 views

Help understanding a comment about isomorphisms of two direct sums.

I've recently noticed a few different posts asking about this problem Isomorphism of two direct sums, all using the CRT. I think I understand it this way. What caught my eye is in the above link a ...
3
votes
0answers
65 views

Free submodule of the intersection of free direct summands.

I have slightly more assumptions than the "standard" question (see e.g. this one) so the usual counterexamples that come to mind don't work (I believe). Let $R$ be a ring and $M$ a free $R$-module. ...