The modules tag has no usage guidance.

**2**

votes

**3**answers

431 views

### The number of submodules of $\mathbb{Z}_q^n$

Observe $\mathbb{Z}_q^n = \mathbb{Z}_q \times \cdots \times\mathbb{Z}_q$ as a module over $\mathbb{Z}_q\equiv\mathbb{Z}/q\mathbb{Z}$, for general $q$.
I am interested in the following questions:
How ...

**8**

votes

**1**answer

133 views

### $A$-module is free if and only if equation involving Hilbert-Poincaré series holds, $M$ infinitely generated case

See my question here.
Let $A = \oplus_{i \ge 0} A_i$ be a nonnegatively graded commutative algebra and $M$ a nonnegatively graded $A$-module. Assume in addition that $A_0 = k$ and all vector ...

**3**

votes

**2**answers

123 views

### Rings all of whose torsion modules are cyclic

Let us call a (possibly non-commutative) ring $R$ "very good" if every finitely generated torsion left $R$-module is cyclic. Here is an example of such a ring:
Let $k=\mathbb{C}((t))$ and let ...

**0**

votes

**0**answers

67 views

### Quotient modules of polynomial rings by maximal one sided ideal

Let R[X] be a ring of polynomials over an associative unital ring R which is not necessarily commutative. Let M be a maximal left ideal in R[X]. It is easy to see that if the intersection of M with ...

**4**

votes

**1**answer

74 views

### Rank versus free-rank of a module

Suppose M is a finitelly generated left module over a ring R. We define the rank of M as the minimal number of generators of M. If in addition M is free, then we define the free-rank of M as minimal ...

**1**

vote

**0**answers

65 views

### Irreducible representations of quantum affine algebras

The finite dimensional simple modules of quantum affine algebras are parameterized by Drinfeld polynomials. Some other modules of quantum affine algebras are studied in the paper. Some infinite ...

**4**

votes

**1**answer

112 views

### Is this notion of 'closed subset' of a semigroup action something people have thought of?

Suppose $S$ is a semigroup (or a monoid, or a category), and $X$ is an $S$-set -- that is, a set with an action of $S$. Say that a sub-$S$-set $Y$ is "downward closed" (or maybe "well-generated") if ...

**2**

votes

**0**answers

104 views

### Teaching an abstract algebra class involving modules, best way to introduce operations on modules?

I am about to teach a few classes on modules and their operations, namely the following: direct product, direct sum, and finitely generated modules. The following is the "skeleton" version of how I ...

**5**

votes

**2**answers

112 views

### The use of modules in control theory

So far I have seen the use of vector spaces in control theory and other notions from linear algebra; So I wonder if there's a use of this abstraction of modules over rings in control theory? any ...

**7**

votes

**1**answer

226 views

### Jordan-Hölder-like statements for modules with $\Delta$-filtrations over a quasihereditary algebra

Definitions
Let $A$ be an Artin algebra (for instance, take $A$ to be a finite dimensional algebra over some field) and label the isomorphism classes of simple $A$-modules by the elements of a ...

**9**

votes

**2**answers

273 views

### Free $k[x_1, \dots, x_n]^{S_n}$-module?

Let $\text{char}\,k = 0$ and $n \ge 2$. What is the easiest way to see that $k[x_1, \dots, x_n]$ is a free $k[x_1, \dots, x_n]^{S_n}$-module with basis$$x_2^{m_2}x_3^{m_3} \dots x_{n-1}^{m_{n-1}} ...

**5**

votes

**1**answer

238 views

### Constructing a simple $A$-module

Let $n \ge 2$, and let $A$ be the (unital and associative, but noncommutative) $\mathbb{C}$-algebra with generators $x_1, \dots, x_n$ and relations $x_ix_j + x_j x_i = 2\delta_{ij}$. What is a ...

**1**

vote

**1**answer

142 views

### Cyclic faithfully flat modules

I am looking for an example of a cyclic faithfully flat $R$-module that is not projective. Could someone help me?

**0**

votes

**0**answers

45 views

### trying to understand particular modules, to contruct some nice free resolutions

Let $R$ be a local or graded ring, fix some morphism $\phi\in Hom_R (R^{\oplus n},R^{\oplus m})=:Mat(m,n;R)$.
In various applications one meets modules like $\frac{Mat(m,n;R)}{Span(U ...

**6**

votes

**0**answers

157 views

### When is a polynomial ring free over a graded subalgebra?

Keep the setting of my previous question and let $I := k[x_1, \dots, x_n] \cdot A_{>0}$ be an ideal of the algebra $k[x_1, \dots, x_n]$ generated by the set $A_{>0}$. It is clear that $I$ is a ...

**1**

vote

**2**answers

94 views

### Showing that the stable module category of a ring $R$ restricted to maximal Cohen-Macaulay objects is trivial if $\text{gldim } R < \infty$

(In the following, a (not necessarily commutative) ring $R$ is Gorenstein if it has finite injective dimension as a module over itself on either side, and a finitely generated (right) $R$-module is ...

**2**

votes

**1**answer

119 views

### Projectivity of torsion-free modules over integral group rings

Let $G$ be a torsion-free group and assume that the integral group ring $\mathbb{Z}G$ is torsion-free as well. Let $M$ be a torsion-free, finitely generated module over $\mathbb{Z}G$.
If we assume ...

**4**

votes

**1**answer

149 views

### locally noetherian categories and the category of quasi-coherent sheaves over a noetherian scheme

It is known that a ring $R$ is noetherian if and only if direct sums of injective $R$-modules
are injective if and only if every injective $R$-module is a direct sum of indecomposable injective ...

**3**

votes

**1**answer

68 views

### Semisimple monoidal category with duals

We say that an abelian category is semisimple if every object is a semisimple object, which is to say, a direct sum of finitely many simple objects.
Let $({\cal C},\otimes,*)$ be a semisimple ...

**2**

votes

**0**answers

46 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

**1**answer

202 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

**1**answer

122 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

**0**answers

107 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

**1**answer

133 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

**0**answers

95 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

**2**answers

167 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

**1**answer

152 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

**0**answers

69 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

**1**answer

110 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

**0**answers

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

**5**

votes

**1**answer

138 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

**1**answer

188 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

**1**answer

148 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

**1**answer

92 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

**0**answers

92 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

**1**answer

152 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

**1**answer

86 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

**3**answers

205 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

**1**answer

131 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

**1**answer

236 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

**1**answer

275 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

**0**answers

71 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

**0**answers

96 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

**1**answer

97 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

**0**answers

168 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

**1**answer

123 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

**1**answer

147 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

**1**answer

275 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

**1**answer

156 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

**1**answer

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