For questions on modules over rings.

learn more… | top users | synonyms

2
votes
1answer
55 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}^{\...
2
votes
0answers
92 views

When does effective descent of modules hold?

Let $A$ be a commutative ring with identity. I denote by $\Delta_{\leq 1}$ the full subcategory of the simplex category $\Delta$ with objects $[0]$ and $[1]$. Let $B_{\cdot} : \Delta_{\leq 1}^{\mathrm{...
0
votes
0answers
32 views

A C(B)-module structure on the function algebra of the total space of a vector bunlde $\pi:V \to B$

For a continuous vector bundle $\pi:V \to B$ vector bundle over a compact Hausdorff space $B$, and $C(B)$, $C(V)$ the continuous complex valued functions on $B$ and $V$ respectively, we can give $C(...
5
votes
1answer
97 views

Why is $\operatorname{nr}_{F[G]}:K_1(F[G])\to Z(F[G])^\times$ a bijection?

Let $A$ be a finite dimensional semisimple $F$-algebra and $K_1(A)$ the Whitehead group of $A$. By splitting $A$ into its Wedderburn components, the reduced norm map $\operatorname{nr}_A:K_1(A)\to Z(...
4
votes
1answer
179 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$ ...
1
vote
1answer
160 views

Rank of a locally free $\mathbb Z[G]$-module

This is a basic question. Let $G$ be a finite group, $M$ a finitely generated $\mathbb Z[G]$-module so that the $\mathbb Z_p[G]$-module $M_p$ is free for all prime numbers $p$, i.e. is locally free. ...
4
votes
0answers
65 views

Computations in Weyl algebra with rational function coefficients

I am looking for a software to perform calculations with modules over the algebra $R_n=\mathbb{C}(x_1\ldots x_n)\langle \partial_1\ldots\partial_n\rangle$ of differential operators with rational ...
4
votes
0answers
63 views

An order in $\mathbb Q[G]$ which is a maximal $\mathbb Z_p$-order in $\mathbb Q_p[G]$ for finitely many primes $p$

Let $G$ be a finite group and $S$ a finite set of prime numbers. I know that every separable $\mathbb Q$-algebra $A$ contains a maximal $\mathbb Z$-order but I wonder if the following is true. Is ...
3
votes
1answer
86 views

An invariant submodule of a projective module

This is a basic question (not research level) which has already been asked on SE by someone else but doesn't yet have an answer so I'd like to repost it on MO. Let $R$ be a commutative ring with ...
1
vote
0answers
148 views

Structure theorem for infinitely generated modules over a PID

This is a refined version of a question I asked days ago and have no answers yet. I am completely illietarte in algebra so, please, don't kill but explain. The question is all in the title: is there ...
1
vote
1answer
130 views

Canonical module of a Buchsbaum ring

Is the canonical module of a Buchsbaum ring a Buchsbaum module?
2
votes
0answers
41 views

Quantifier elimination of pp-subgroups of modules

This is a model-theoretic questions. Let $M$ be a $R$-module. Our language will be the standard language of modules, i.e. the language of abelian groups together with an unary function symbol for ...
0
votes
0answers
51 views

Decomposition of PID modules

This is (probably) the culmination of a series of questions I posted recently that have lead me to this (probably) final question. As usual, I aplogize for my illiteracy in algebra. Recall that ...
3
votes
1answer
91 views

Unclear asymmetry in Lie-algebra module structure on space of linear transformations Hom(V,W)

Let $L$ be a (finite dimensional) Lie-algebra. Let $V, W$ be finite-dimensional vector spaces. If $V,\; W$ are in addition $L$-modules (see, e.g., 6.1 in Humphreys Introduction to Lie Algebras), then ...
6
votes
0answers
251 views

Geometric interpretation of minimal number of generators of a module

Let $X \subset \mathbb{C}^n$ be an irreducible affine algebraic curve with coordinate ring $$\mathbb{C}[X] = \mathbb{C}[z_1, \ldots, z_n] / (f_1, \ldots, f_m ) $$ with each $f_i \in \mathbb{Z}[z_1, \...
2
votes
0answers
127 views

When is the torsion submodule a direct factor?

Let $\mathbb{F}$ be a field (of characteristic 0, if needed) and $\mathbf{V}$ an $\mathbb{F}$-vector space. Let $T\in\mbox{End}_\mathbb{F}(\mathbf{V})$ be an endomorphism, and let (following Bourbaki) ...
2
votes
0answers
75 views

How can I prove that this D-module is free?

I have the following setup, I expect that it is studied in the theory of $D$-modules, and I apologize in advance if I am wrong. First, I have an algebra $A$ of differential operators on $n$ ...
1
vote
0answers
70 views

Cyclic decomposition of an infinitely generated module

My knowledge of algebra is undergraduate linear algebra, so I apologize for my complete ignorance. Thinking about Jordan normal forms, I unintensionally came to an idea that turned out to be called a ...
7
votes
1answer
186 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 ...
0
votes
1answer
131 views

The injectivity of Noetherian ring

Let $R$ be a ring with 1, $M$ be a left $R$-module. Then $M$ is fp-injective if every $R$-homomorphism from a finitely presented left ideal to $M$ extends to a homomorphism of $R$ to $M$ i.e. if $\...
3
votes
2answers
112 views

The injective hull of cyclic modules and self injective ring

It is well-known that if $R$ is a Noetherian ring, and the injective hull of every finitely generated $R$-module is projective, then $R$ is a self-injective. My question is that could one replace "...
2
votes
0answers
147 views

Could Partial Tiltings be studied as Almost Complete Tiltings?

The first part of what follows is a brief recap of the definitions, setting and motivations for my questions. Experts can find the questions at the end. Here $k$ denotes an algebraically closed field,...
1
vote
1answer
124 views

when there is an injection $0 \to R \to K_R$?

Let $(R,m)$ be a Cohen-Macaulay local ring which possesses the canonical module $K_R$. Then $R$ is said to be an almost Gorenstein local ring, if there is an exact sequence $0 \to R \to K_R \to C \to ...
7
votes
2answers
332 views

invariants that can be measured by Local Cohomology

What invariants can be measured by Local Cohomology (and what application it has)? As an example of what I mean: Local Cohomology can measure invariants like depth and dim. So in some cases ...
0
votes
0answers
148 views

When Noetherian ring is Artinian

Let R be a ring with1. It is known that if R is left Noetherian and every finitely generated left R-module embeddable in a free left R-module, then R is Artinian. It is known also that if every ...
5
votes
1answer
320 views

A Hom-Tensor identity - $\text{Hom}_{R}(P,B)\otimes _SC \cong \text{Hom}_{R}(P,B \otimes_S C) $

let $R,S$ be associative algebras over $\mathbb{C}$. Let $\mathcal{C} \subseteq$ $R$-Mod be a full abelain subcategory of $R$-Mod which is the category of $R$-modules. Let $B$ and $C$ be, a $(R,S)$-...
5
votes
5answers
567 views

Elementary linear algebra over a (possibly skew) field $K$

I have a number of questions which seem linked to me, about basic (?) linear algebra: Given a field (possibly skew) $K$, and an superfield $L$, one can do linear matrix algebra with coefficients in $...
2
votes
1answer
95 views

Elementary divisors for chains of submodules

Given free modules $N \le M$ of finite rank over a PID $R$, it's well-known that there is a basis $\{x_1,\ldots,x_n\}$ of $M$ and there are $e_1,\ldots,e_n \in R$ such that $\{e_ix_i\mid e_i \neq 0\}$...
7
votes
1answer
142 views

Why do we want $p$-permutation modules in splendid equivalences?

First Rickard (in Splendid Equivalences: Derived Categories and Permutation Modules ) and then Rouquier (Block theory via stable and Rickard equivalences, Appendix A.1) define splendid equivalences ...
1
vote
1answer
32 views

On finite Uniform (Goldie) dimensions

1) Is there any characterization of $\Bbb{Z}$-modules with finite uniform dimensions? 2) Find two $\Bbb{Z}$-modules $N, M$ such that $N\leq M$ and $M\hookrightarrow N$ but $N$ is not isomorphic to $M$...
15
votes
4answers
449 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 ...
0
votes
0answers
122 views

on the ``generic" modules of finite length (skyscrapers)

Let $R$ be a local or graded ring. (If it helps, can assume the ring is "good", e.g. $R=k[[x_1,..,x_p]]$, where $k$ is a field of zero characteristic.) Let $M$ be a finitely generated $R$-module ...
10
votes
0answers
367 views

Dimensions of dual vector spaces

Let $V_F$ be an infinite dimensional right $F$-vector space (over a field $F$, or even over a division ring). The dual space $V^{\ast}={\rm Hom}(V,F)$ is naturally a left $F$-vector space (coming ...
2
votes
0answers
54 views

Analogue of Bass's Lemma 2.4 on when inverse images of free modules are free

Let $R$ be a Noetherian integral domain. Let $x\in R$ be a prime element. Let $\overline{R}=R/Rx$. Let $P$ be a finitely-generated projective $R$-module. Assume that $\frac{P}{xP}$ is a free $\...
0
votes
0answers
66 views

Does an hereditary scalar extension indicate the original algebra is hereditary?

Let $A$ be a finite-dimensional algebra over a field $\mathbb{F}$ of characteristic zero and let $\mathbb{K}/\mathbb{F}$ be a finite galois extension. Assume we know that $A\otimes_\mathbb{F}\mathbb{...
0
votes
0answers
60 views

grade of ideals in non-noetherian rings

Let $R$ be a commutative ring with unity, and $M$ an $R$-module. Assume that $I$ and $J$ are finitely generated ideals and $K$ another ideal of $R$. Let $\textbf{x}$ be a sequence of generators of $I$...
5
votes
0answers
120 views

Functoriality of $\mathsf{Cu}$

I have always been happy with the proof of the functoriality of the Cuntz semigroup $\mathsf{Cu}$ given in arXiv:0902.3381, where the isomorphism $$\mathsf{Cu}(A)\cong W(A\otimes K)$$ is used, $A$ ...
4
votes
0answers
114 views

Reference request for $R$-index

Let $R$ be a noetherian domain with field of fractions $F$, let $V$ be a finite-dimensional $F$-vector space, and let $M,N \subseteq V$ be $R$-lattices in $V$ (finitely generated $R$-submodules of $V$ ...
-5
votes
1answer
89 views

Simple bimodule over matrix ring [closed]

Let given not trivial simple $R$- $R$ bimodule $M$, where $R$ - $n\times n$ matrix algebra over field $\mathbf{F}$. Is it true that $M$ is uniquely defined?
2
votes
3answers
500 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 ...
9
votes
0answers
159 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
2answers
155 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 $R=k[\...
0
votes
0answers
105 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 $...
4
votes
1answer
130 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
0answers
77 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
1answer
127 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
0answers
109 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
2answers
145 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
1answer
250 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 ...
10
votes
2answers
300 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}} x_n^{...