# Questions tagged [modules]

For questions on modules over rings.

511 questions
Filter by
Sorted by
Tagged with
12 views

### Functors between module categories that comes from restriction

Suppose you have two $k$ algebras $A, B$ (say also finitely generated if this helps) and a functor $F: A-mod \to B-mod$ such that $| F(M) |= |M|$. Here $|U|$ denotes the underlying $k$ vector space. ...
144 views

### Flatness over a local noetherian ring

Let $(R,\mathfrak m)$ be a local noetherian ring, and $M$ an arbitrary $R$-module. Suppose that $\mathrm{Tor}_1(M,R/\mathfrak m)=0$. Does it follow that $M$ is flat? The answer is positive when $M$ ...
90 views

### How to classify rings by combinatorial structures?

There are many ways to encode information about algebraic structures such as groups, rings, etc... in combinatorial form. For example the Cayley graph of a group with a subset of generators, or the ...
50 views

### Faithfull flatness of a module containing the ring as a direct summand

Let $R$ be a not necessarily commutative ring, and let $M$ be a projective left $R$-module. Question. If $R$ is a direct summand of $M$ as a left $R$-module, then is it true that $M$ is faithfully ...
136 views

### Is the rank of free module spectra unique?

Given a commutative ring, the rank of a free module is unique. This is the well known statement that commutative rings have invariant basis numbers. Does an analogue of this property hold for free ...
343 views

42 views

### submodule between free modules with rank $d$ on a valuation ring

Let $A$ be a valuation ring (not necessary DVR) and $M_{1}, M_{2}$ two free modules with rank $d$. Assume that $M_{1}\subset M_{2}$ and $M$ is a submodule $M_{1}\subset M\subset M_{2}$. Then Is $M$ ...
47 views

### When do the kernels of module homomorphisms between rings whose kernels contain a given fixed ideal contain every prime ideal over it?

$\DeclareMathOperator{\Hom}{Hom}$All our rings are commutative with unity and, if necessary, we can suppose that they are actually polynomial rings over a field in finitely many variables where the ...
28 views

213 views

### When does $\operatorname{Ext}_C^1(M,N_i)=0$ imply $\operatorname{Ext}_C^1\left(M,\lim\limits_\longleftarrow N_i\right)=0$?

Let $C$ be an abelian category. Suppose that $(N_i)_{i\in I}$ is an inverse system of objects in $C$. Under which conditions does the hypothesis that \operatorname{Ext}_C^1(M,N_i)=0\quad\forall i\...
56 views

139 views

### What is the maximal weight submodule of $\text{Hom}_{\mathfrak{g}}(M,N)$?
Let $\mathfrak{g}$ be a finite-dimensional semisimple Lie algebra over an algebraically closed field $\mathbb{K}$ of characteristic $0$. Fix a Cartan subalgebra $\mathfrak{h}$ of $\mathfrak{g}$. For ...
I am learning about the so-called "Mackey Machine" for unitary irreps of semidirect products of locally compact groups. Let $G = N \rtimes H$ where $N$ is a closed normal abelian subgroup and $H$ is a ...