Questions tagged [modules]
For questions on modules over rings.
51
questions
15
votes
1
answer
1k
views
Are there non-reflexive modules isomorphic to their bi-dual?
Let $M$ be an $R$-module. We say that $M$ is reflexive if the natural map $M\rightarrow M^{**}$ is an isomorphism.
I'd like to know if there exists a module isomorphic to its bi-dual but not ...
- 269
57
votes
5
answers
8k
views
How to make Ext and Tor constructive?
EDIT: This post was substantially modified with the help of the comments and answers. Thank you!
Judging by their definitions, the $\mathrm{Ext}$ and $\mathrm{Tor}$ functors are among the most non-...
- 33.2k
30
votes
1
answer
13k
views
Rank of a module
What's wrong with defining the rank of a finitely generated module over any (commutative) ring to be just the smallest number of generators? All books I know define rank only locally this way. But why ...
- 2,837
36
votes
4
answers
12k
views
Flatness and local freeness
The following statement is well-known:
Let $A$ be a commutative Noetherian ring and $M$ a finitely generated $A$-module. Then $M$ is flat if and only if $M_{\mathfrak{p}}$ is a free $A_{\mathfrak{p}}$-...
- 2,837
19
votes
4
answers
1k
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 ...
- 61.5k
9
votes
1
answer
867
views
Clebsch–Gordan decomposition formula for algebraic groups
$\DeclareMathOperator\SL{SL}$There is a well-known Clebsch–Gordan decomposition formula for irreducible representations of $\SL_2$. If $V_n$ denotes the unique $n+1$-dimensional irreducible ...
- 350
8
votes
1
answer
675
views
Kazhdan-Lusztig theorem for composition factors of Verma modules
The Kazhdan-Lusztig Conjecture (which is actually a theorem) gives the character of some irreducible modules of a (say) simple complex Lie algebra $\mathfrak{g}$ in terms of characters of Verma ...
- 457
6
votes
2
answers
1k
views
Lemma on infinitely generated projective modules
Is it true that every finitely generated submodule of a non-finitely generated projective over a (not necessarily commutative!) ring is contained in a proper summand?
N.B.: I asked this already on ...
- 46.8k
6
votes
2
answers
2k
views
Cardinality of maximal linearly independent subset
M a finitely generated module over a commutative ring A. I can't think of an example of two maximal linearly independent subsets of M having different cardinality. I know that they all have the same ...
- 2,837
5
votes
1
answer
583
views
"Orthogonal complement" in $\mathbb{Z}_q^n$
Let $W$ be the finite $\mathbb{Z}$-module obtained from $\mathbb{Z}_q^n$ with addition componentwise where $\mathbb{Z}_q$ is the integers mod $q$. Let $V$ be a submodule of $W$. Let $V^{\perp} = \{w \...
- 53
5
votes
1
answer
1k
views
local ring all whose non-maximal ideals are finitely generated
Let $(R, \mathfrak m)$ be a commutative local ring such that every non-maximal ideal is finitely generated. Then, is $R$ Noetherian i.e. is $\mathfrak m$ finitely generated ideal ?
It is easy to see ...
user111524
36
votes
5
answers
4k
views
What is the general geometric interpretation of modules in algebraic geometry?
Algebraic geometry is quite new for me, so this question may be too naive. therefore, I will also be happy to get answers explaining why this is a bad question.
I understand that the basic philosophy ...
- 2,007
30
votes
7
answers
4k
views
"Sums-compact" objects = f.g. objects in categories of modules?
Hello,
Let us call an object of an additive category sumpact (contraction of "sums" and "compact") if taking $Hom$ from it (considered as functor from the category to $Ab$) commutes with coproducts. ...
- 5,492
26
votes
5
answers
14k
views
Flat module and torsion-free module
All rings in this question are integral.
It is known that flat modules are torsion-free. Conversely, torsion-free modules over Prüfer domain (in particular, Dedekind domain) are flat, please see here. ...
- 941
23
votes
3
answers
1k
views
Categorical Unification of Jordan Holder Theorems
In addition to the Jordan-Holder theorem for groups, there are various Jordan-Holder Theorems for other categories:
Finite dimensional representations have filtrations whose associated graded ...
user30211
22
votes
4
answers
2k
views
Freeness of a Z[x]-module
Definition: Call a mapping $f: \mathbb{Z} \rightarrow \mathbb{Z}$
a generalized polynomial if for any distinct integers $m$ and $n$
we have $(m - n)|(f(m)-f(n))$.
It is easy to check that polynomial ...
- 19.5k
21
votes
2
answers
1k
views
If a polynomial ring is finite free over a subring, is the subring polynomial?
Let $R = k[x_1, \ldots, x_n]$ for $k$ a field of characteristic zero and let $S \subset R$ be a graded sub-$k$-algebra (for the standard grading: $\deg x_i = 1$) such that $R$ is a free $S$-module of ...
- 151k
16
votes
4
answers
3k
views
Cardinal of maximal linearly independent subsets of a free module
Is it true that the cardinality of every maximal linearly independent subset of a finitely generated free module $A^{n}$ is equal to $n$ (not just at most $n$, but in fact $n$)? Here $A$ is a nonzero ...
- 2,837
15
votes
1
answer
7k
views
Different definitions of the rank of a module
I have seen different definitions of a rank of a module $M$ over a commutative ring $R$.
Here in nLab, for quite general modules, the rank is defined locally at $p\in \mathrm{Spec}(R)$ as the ...
- 1,136
13
votes
1
answer
1k
views
Classification of symtrivial modules over a PID
Let us call a module $M$ over a commutative ring $R$ symtrivial if the symmetry $M \otimes M \to M \otimes M, a \otimes b \mapsto b \otimes a$ equals the identity (the same notion applies to arbitrary ...
- 61.5k
12
votes
3
answers
3k
views
Justification of the term "invertible sheaf"
Let $X$ be a locally ringed space (or a scheme) and $M,N$ two $\mathcal{O}_X$-modules such that $M \otimes N \cong \mathcal{O}_X$. Does it follow that $M$ is invertible in the usual sense, namely that ...
- 61.5k
9
votes
1
answer
430
views
Rings with all non-prime ideals finitely generated
Motivated by this question, I would like to ask:
If all non-prime ideals in a ring are finitely generated, then is the ring Noetherian? Can we at least say anything in the local case?
Note that ...
user111492
8
votes
1
answer
1k
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 $N(...
- 83
8
votes
0
answers
276
views
Matrix decompositions as monoid isomorphisms. Ever considered before?
I've noticed some correspondences between some matrix decompositions and monoid isomorphisms (always to some free commutative monoid), in addition to the one I asked about in a previous question:
...
- 4,843
8
votes
1
answer
1k
views
Direct sum of injective modules over non-Noetherian rings
By the Bass-Papp theorem, if every direct sum of injective $R$-modules is injective then $R$ is Noetherian. I would like to know if there exists an injective module over $R$ non-Noetherian, that ...
- 113
8
votes
2
answers
1k
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$ ...
8
votes
1
answer
478
views
Rational Canonical Form over $\mathbb{Z}/p^k\mathbb{Z}$
We have a structure theorem for f.g. modules over $R$, whenever $R$ is a PID. In the case of $R=\mathbb{Z}/p\mathbb{Z}[x]$ ($p$ a prime), the structure theorem can be used to obtain the rational ...
- 13.4k
8
votes
1
answer
460
views
Trivial group cohomology induces trivial cohomology of subgroups
From the answer to another question I asked (Projective representations of a finite abelian group) and from the structure theorem of finite abelian groups it follows that if $A$ is a finite abelian ...
- 891
8
votes
1
answer
1k
views
Surjectivity of a map on inverse limits
(The following is crossposted from Math.SE, where the question did not receive any answers.)
I am looking for a proof of the following lemma from P. Gabriel's Des catégories abéliennes (Chap. IV, §3, ...
- 1,032
7
votes
3
answers
2k
views
$R$ a DVR with fraction field $K.$ What are the $R$-submodules of $K^n?$
It is known that if $R$ is a DVR with fraction field $K,$ then the $R$-submodules of $K$ are $0,K,x^nR,$ with $n$ any integer and $x$ a generator of the maximal ideal of $R.$ I was wondering if there ...
- 549
7
votes
1
answer
951
views
Subfactor theory and Hilbert von Neumann Algebras
There seem to be intimate connections between the different definitions of von Neumann module. The two that I'm aware of are Hilbert von Neumann modules and correspondences (in the sense of Connes). I ...
- 1,391
7
votes
1
answer
207
views
Injective indecomposable modules over Laurent polynomial rings
What does the injective envelope of $\mathbb C[x,x^{-1}]/(p(x,x^{-1}))$ as a $\mathbb C[x,x^{-1}]$-module look like where $p(x,x^{-1})$ is an irreducible element? I’m sure this is well known, but ...
- 37.4k
7
votes
1
answer
436
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 ...
- 10.8k
6
votes
1
answer
384
views
Linear algebra over non-commutative semirings
I'm reading up on linear algebra over semirings, and I'm wondering why people seem to stop short of showing an equivalence between linear transformations between free modules and matrices.
It seems ...
- 423
6
votes
1
answer
350
views
How to check whether a module is an n-th syzygy
Given a finite dimensional algebra $A$, define $\Omega^{n}(mod-A)$ (modules here are always finite dimensional) to be the full subcategory of projective modules or modules $M$ such that $M \cong \...
- 26.1k
5
votes
1
answer
641
views
On the annihilator of a module
Question. Let $A$ be a Noetherian ring and $M$ a finitely generated $A$-module. Does there always exist an element $s\in M$ such
that $\mathrm{Ann}(s)=\mathrm{Ann}(M)$?
Remark. The annihilator of a ...
- 303
4
votes
2
answers
781
views
Double orthogonal complement of a finite module
Crossposted from math.stackexchange since I'm not getting any answer.
Let $W$ be the finite $\mathbb{Z}$-module obtained from $\mathbb{Z}_q^n$ with addition componentwise where $\mathbb{Z}_q$ is the ...
- 141
3
votes
2
answers
338
views
$R$-Module objects in cartesian closed categories
I am looking for a reference for the following statement.
Theorem. Let
$C$ be a regular, well-powered, countably complete cartesian closed category,
$R$ be a (commutative) ring object in $C$,
$R\...
user103549
3
votes
1
answer
179
views
If a PID has no nonzero divisible elements, then is the same true of its finitely-generated modules?
EDIT: The question was originally about general Noetherian rings instead of PID's. Thanks to YCor for pointing out how wrong this was in the comments below (1 2 3).
Question 1: Let $R$ be a PID. ...
- 61.5k
3
votes
1
answer
222
views
Split monomorphisms of modules - does the finite case imply the infinite case?
Let $k$ be a field, $A$ a finite dimensional $k$-algebra, $X$ a finite dimensional indecomposable (left) $A$-module and $M$ an infinite dimensional (left) $A$-module. Further $X\subseteq M$ and for ...
- 1,023
3
votes
1
answer
164
views
$M$ is finitely generated as $A$-module iff $M/A_{>0}M$ is finitely generated as $A$ module?
Let $A$ be a nonnegatively graded algebra and $M$ a nonnegatively graded $A$-module. Then, $A_{>0}M$ is a graded $A$-submodule of $M$.
(Here, given a nonnegatively graded algebra $A$, we've ...
- 339
3
votes
1
answer
239
views
Operators on Hilbert $C^*$-module and families of Fredholm operators
If $A$ is a $C^*$-algebra, there is a notion of Hilbert $A$-module (which is something like Hilbert space but the inner product takes values in $A$). The standard example is $H_A:=\{(a_n)_{n=1}^{\...
- 9,150
2
votes
0
answers
116
views
The "matrix direct sum" monoid modulo unitary equivalence
Given a commutative $*$-ring $(R,*)$, let $M(R,*)$ be the monoid whose elements are matrices over $R$ of all possible shapes and entries, including those that have $0$ columns or $0$ rows. Let the ...
- 4,843
2
votes
1
answer
259
views
Endomorphism rings of infinitely generated free modules generated by idempotents?
Let $M$ be a free right $R$-module. When $M_R\cong R_R^n$ with $n\in \mathbb{Z}_{\geq 1}$, then we know that the endomorphism ring $E={\rm End}(M_R)$ is isomorphic to $\mathbb{M}_n(R)$. We also know ...
- 23
2
votes
1
answer
420
views
Finitely generated submodule of non-finitely generated projective module is contained in some proper direct summand ?
Let $P$ be a non-finitely generated projective module over a commutative Noetherian ring. Is every finitely generated submodule of $P$ contained in some finitely generated direct summand of $P$ ? Or ...
user111524
1
vote
1
answer
2k
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 rings)...
- 3,696
1
vote
1
answer
153
views
On cardinality of generating subsets of some submodules
Let $R$ be a commutative ring with unity. Let $\alpha$ be an infinite cardinal . Let $M$ be an $R$-module such that $\mu(M)< \alpha$ . Let $N$ be a submodule of $M$ and $m\in M$ and $r\in R$ be ...
user111524
1
vote
1
answer
299
views
Constructing a free resolution of a $\mathbb Z[x_1,\dotsc,x_n]$-module using a related free resolution of a $\mathbb Q[x_1,\dotsc,x_n]$-module
I have asked a related question on math.SE here, but the notation is a bit different.
As the title says, I am interested in constructing a finite free resolution of a $\mathbb Z[x_1,\dotsc,x_n]$-...
- 283
1
vote
0
answers
274
views
Is it true that the functor of completion of a module over a local ring is injective on isomorphism classes?
Let $A$ be a commutative Noetherian local ring and $\hat A$ be its completion. Then we have the functor of completion from the category of finitely generated $A$-modules to the category of finitely ...
- 1,312
0
votes
2
answers
333
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]$ $?$...
- 303