Questions tagged [modules]
For questions on modules over rings.
664 questions
0
votes
0
answers
33
views
Semiperfect modules are $D1$
Let $M_R$ be a module. We say that $M$ is lifting or has $D1$ if for every submodule $N \subset M$ there is a decomposition $M=A \oplus B$ such that $A \subset N$ and $N \cap B \ll M$ (that is, $N \...
- 324
0
votes
0
answers
31
views
Right maximal ideals in skew-Laurent rings over division Rings
Let $R$ be a Noetherian domain, and let $D$ denote its division ring. Define $S = D_q[x_1^{\pm 1}, x_2^{\pm 1}]$ as an iterated skew-Laurent polynomial ring with the relation $x_1 x_2 = q x_2 x_1$. Is ...
- 923
0
votes
0
answers
91
views
Finitely generated module over a skew Laurent polynomial ring $\mathbb{K}[x_1^{\pm 1},x_2^{\pm1}]$
Let $A := \mathbb{K}_{\Lambda}[x_1^{\pm 1}, x_2^{\pm 1}, x_3^{\pm 1}, x_4^{\pm 1}]$, $B := \mathbb{K}_{\Lambda'}[x_1^{\pm 1}, x_2^{\pm 1}, x_3^{\pm 1}]$, and $C := \mathbb{K}_{\Lambda''}[x_1^{\pm 1}, ...
- 923
2
votes
0
answers
76
views
Does a matrix ring over a ring satisfy the Koethe conjecture if the coefficient ring itself satisfies the Koethe conjecture?
I just want to know whether the following statement is true or false.
If $R$ is a ring satisfying the Koethe conjecture, then the matrix ring over $R$ also satisfies the Koethe conjecture.
Or is it ...
0
votes
0
answers
43
views
Endomorphism algebra of equivariant maps of isotypic module
Let $A$ be a simple Artinian $K$-algebra with a minimal left ideal $M$. Here, $M$ can be viewed as a simple left $A$ module, and, by Schur's lemma, $D=\text{End}_A(M)$ is a $K$-algebra. By Wedderburn-...
- 143
2
votes
2
answers
189
views
A semisimple ring is left square-full iff it is right square-full
Let $R$ be a ring with unity and $M$ any right $R$-module. A submodule $X$ of $M$ is called square-root in $M$ if $X \oplus X$ embeds in $M$ (i.e., there exists a monomorphism $X \oplus X \to M$). ...
- 324
1
vote
0
answers
58
views
When is a bimodule that is projective as a right and as a left module also projective as a bimodule
Are there practical criteria for determining when a bimodule that is projective as a right and as a left module is projective as a bimodule? Some illustrative examples of what goes wrong and what goes ...
0
votes
0
answers
59
views
Bimodule endomorphisms of a bimodule over a noncommutative ring
Let $R$ be a noncommutative ring and $M$ an $R$-$R$-bimodule that is projective as left $R$-module. We know that the bimodule of left $R$-module endomorphisms ${}_REnd(M)$ is isomorphic to the tensor ...
3
votes
0
answers
107
views
Dimension of hom spaces between indecomposable modules
Undergraduate-Level Background
Let $A$ be an Artin algebra over an algebraically closed field $k$, and let $C = Rep(A)$ denotes the category of $k$-linear, $k$-finite dimensional representations of $A$...
- 5,230
3
votes
1
answer
301
views
If a bimodule is "generated" by single elements, must the elements be conjugate?
Let $A$ and $B$ be Artin $k$-algebras for a commutative artinian ring $k$ (e.g. $A$ and $B$ are finite dimensional $k$-algebras for a field $k$). Let $M$ be an $A$-$B$-bimodule of finite length over $...
- 696
3
votes
1
answer
339
views
If the Hom-space of finite length modules is generated by single elements, must the elements be conjugate?
Let $A$ be an Artin $k$-algebra for a commutative artinian ring $k$ (e.g. $A$ is a finite dimensional algebra over a field $k$). Let $X,Y$ be finite length left $A$-modules. If $\text{Hom}_A(X,Y)$ is ...
- 696
2
votes
1
answer
210
views
Direct product of direct sum of a flat module
In the book "Rings and Categories of Modules" by Anderson & Fuller, this problem is given: If $V^A$, i.e. the direct product of the module $V$ by the index set $A$, is flat for all sets $...
- 355
1
vote
0
answers
43
views
An example a right Noetherian domain which is left uniform but not right uniform
Recall that a module $M_R$ ($R$ is a ring with unity) is called uniform if the intersection of any two nonzero submodules is nonzero. We say that $M_R$ is an SIP-module if the intersection of any two ...
- 324
9
votes
1
answer
315
views
Nonzero module with vanishing derived fibers
What's an example of a nonzero $R$-module with vanishing derived fibers at all points of $\mathrm{Spec}(R)$?
This was asked in When does a quasicoherent sheaf vanish?
but the answer there only says ...
- 2,346
1
vote
1
answer
67
views
An example of a commutative ring $R$ which has a proper right ideal which is not a right SIP $R$-module
Recall that a module $M_R$ ($R$ is a ring with unity) is called SIP if the intersection of any two summands of $M$ is also a summand. I asked before if there exists a commutative ring which is not an ...
- 324
1
vote
1
answer
87
views
An example of a commutative ring which is not SIP
Recall that a module $M_R$ ($R$ is a unital ring) is called an SIP-module if the intersection of any two summands of $M$ is a summand. The ring $R$ is called (left) right SIP-ring if the module (${}...
- 324
5
votes
0
answers
288
views
Representation functor on modules
Let $k$ be a field and $A$ a unital associative $k$-algebra.
The representation functor associates, to each object in non-commutative geometry, a genuine geometric object on the representation variety ...
- 985
0
votes
0
answers
36
views
If $R$ is a regular square-free ring, then $R$ is dual-square-free
Let $R$ be a ring with unity. We call $R$ regular if every principal (left) right ideal is a summand (i.e., generated by an idempotent). A module $M$ is called square-free if whenever $A,B$ are ...
- 324
0
votes
1
answer
98
views
A question on clean rings
Recall that a ring $R$ is called clean if every element of $R$ is a sum of a unit of $R$ and an idempotent of $R$. We call a module $M$ clean if its endomorphism ring $End(M)$ is a clean ring. ...
- 324
1
vote
1
answer
75
views
Lemma of Harada and Sai on sums of modules with a "chain" of monomorphisms between them
I am trying to get a contradiction from the following set of hypotheses:
Let $R$ be a ring. Let $M$ be a direct sum of non-zero $R$-modules $M_1$, $M_2$, $\dotsc$. For each $i\ge1$, let $f_i:M_i\to M_{...
- 1,644
2
votes
0
answers
101
views
What is the natural module?
Lemma 2.9 of [1]:
Let $\operatorname{char}(K) \neq 2 $ and let $G$ be $\operatorname{Spin}(m,K)$, $n=\operatorname{rank} G$, and let $V$ be the natural $m$-dimensional module. Suppose $f\in G$ and $f^...
- 217
3
votes
2
answers
468
views
How fast does the number of "fixed" points grow compared to the size of the ball in the following group?
I have copied this question from Math.StackExchange, in the hope that some experts here can provide some relevant insight.
Let $M = \oplus_{i\in \mathbb Z} V^{(i)}$ where each $ V^{(i)} \cong \mathbb ...
- 823
3
votes
2
answers
214
views
Characterize rings $R$, such that the countable product $P=R^N$ has the property that every finitely generated submodule of $P$ is free
What are the rings whose countable power has the property that every finitely generated submodule is free?
- 139
2
votes
1
answer
152
views
A commutative ring with unity which does not have relatively pseudo-injective ideals with zero intersection
Let $R$ be a ring with $1$ and $M$ and $N$ be any right $R$-modules. We say that $M$ is pseudo-$N$-injective if every $R$-monomorphism $f:X \to M$ from a submodule $X_R$ of $N_R$ can be extended to $N$...
- 324
2
votes
2
answers
416
views
Tensor product over $\mathbb{Z}$ and p-adic integer ring $\mathbb{Z}_p$
Thanks for your reading. Suppose we have two $\mathbb{Z}_p$-modules $A,B$. Do we always have $A \otimes_{\mathbb{Z}} B \simeq A \otimes_{\mathbb{Z}_p} B$, as abelian groups or $\mathbb{Z}_p$-modules? ...
- 319
1
vote
0
answers
60
views
Bounding the length in a module of evaluated skew polynomials
Let $R$ be a finite principal ideal ring, $S$ a Galois extension of $R$ of degree $m$ (so in particular $S$ is a free $R$-module of rank $m$, and we have an $R$-module isomorphism $S^n \cong \...
- 223
1
vote
0
answers
67
views
How to find the annihilator of a module/how to determine the torsion module
Given a left $R$-module $M$. Given a subset of $S\subset M$.
What are related theorems concerning the annihilator of $S\subset M$ that can be used in practice? $S$ is known.
In my case, $R$ is ...
0
votes
0
answers
71
views
When is a submodule trivial?
I am a beginner concerning module theory, but I need it for my PhD. Sorry for obvious questions therefore.
Given a left $C(G)$-module $(V, \tilde{\rho})$ where $C(G)$ denotes the group algebra over a ...
0
votes
0
answers
46
views
submodules in a direct sum of semisimple modules without common simple factors
Let $A$ be an associative (unital) algebra. Let $M_1,\cdots, M_r$ be pairwise non-isomorphic simple $A$-modules and let $V=\bigoplus^r_{i=1}V_i$, where
$$
V_i=M_{i,1}\oplus \cdots\oplus M_{i,n_i}\...
- 620
6
votes
3
answers
434
views
What is known about finite dimensional modules over the nilCoxeter algebra?
Recall that the nilCoxeter algebra $\mathcal{N}_W$ for a Coxeter group $W$ is given by the $\mathbf{k}$-basis $x_w$ for each $w\in W$ and multiplication $x_ux_v=x_{uv}$ if $\ell(uv)=\ell(u)+\ell(v)$ ...
- 1,066
0
votes
0
answers
35
views
Endomorphism of torsion points of Drinfeld modules
Reposting from mathstackexchange.
A Drinfeld module is defined to be an $\mathbb F_q$-algebra morphism $\phi: \mathbb F_q[T] \rightarrow K\{\tau\}$, where $K=\mathbb F_{q^m}$ is a finite field and $K\{...
- 149
6
votes
1
answer
310
views
Factoring through projective modules is an equivalence relation
$\DeclareMathOperator\Hom{Hom}\DeclareMathOperator\PHom{PHom}$I'm reading about stable module categories, and I have a question about the definition of the maps. Let $R$ be a ring, and take (left) ...
3
votes
1
answer
223
views
Monoidal structure on presheaves
I am confused about the following monoidal structure, which gives a symmetric monoidal structure on R-modules (that I think is not Cartesian), even if R is not commutative.
Let $C$ be a small category....
- 521
3
votes
0
answers
107
views
Auslander-Reiten sequences where irreducible morphisms are all epi/mono
Let's work in the setting of modules over an Artin algebra $A$, or a finite-dimensional $k$-algebra $A$, or if you like, modules over a connected quiver $Q$ without oriented cycles.
Let $M$ be such a ...
- 13.3k
1
vote
0
answers
78
views
Is the matrix ring $\mathbb{M}_n(R)$, $n\geq 2$, over a serial ring $R$ again serial?
Let $R$ be a ring with $1$. A right $R$-module $M$ is called uniserial if its submodules form a chain, i.e., for any two submodules $A,B\subseteq M$ either $A\subseteq B$ or $B\subseteq A$. The module ...
- 324
2
votes
2
answers
139
views
Infinite radical ideal cubed equals zero for tame hereditary Artin algebras
Let $A$ be a tame hereditary Artin algbera and mod$A$ the category of finitely generated (left) $A$-modules. Further, let rad$_A$ be the radical ideal of mod$A$, which is the smallest ideal containing ...
- 696
2
votes
1
answer
88
views
Generating sets for a module and scalar extension
Let $k$ be an algebraically closed field and $K/k$ a (transcendental) field extension. Let $A$ be a finite dimensional $k$-algebra, and $M$ an $A$-module. Suppose that the $K \otimes_k A$-module $K \...
- 23
4
votes
1
answer
198
views
Does hereditary and connected imply that the underlying ring $k$ of a $k$-algebra is a field?
All rings are assumed to be associative and have a 1. Let $k$ be a commutative artininan ring and $R$ a finitely generated $k$-algebra. Is it true that if $R$ is connected and hereditary, then $k$ is ...
- 696
3
votes
2
answers
401
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
1
vote
0
answers
97
views
Algorithms to decompose a graded module over $R[x]$, where $R$ is a PID
There is a certain class of objects, which can be thought of either as modules over a ring $R[x]$ or as functors. A few equivalent definitions are given below. The question is what computer algorithms ...
- 11
4
votes
0
answers
127
views
Length of dual module
It is well known that, given a commutative ring $R$ and an $R$-module $M$, the dual module $M^\vee = \operatorname{Hom}_R(M, R)$ does not always satisfy $M^\vee \cong M \ (1)$, and not even $M^{\vee \...
- 223
5
votes
0
answers
87
views
Tensor product of modules in model vs. infinity categories
Let $C$ be a combinatorial symmetric monoidal model category and let $A$ be a associative algebra object in $C$, that is cofibrant as an object in $C$. In Higher Algebra 4.3.3.17, Lurie proves an ...
- 2,040
0
votes
0
answers
111
views
Totally isotropic space for bilinear pairing over ring
A duplicate of this:
Consider the following well-known inequality: Let $b$
be a non-degenerate symmetric bilinear pairing over a (finite-dimensional) $\mathbb F$-vector space $V$ and $W$
a totally ...
- 223
4
votes
1
answer
160
views
Symmetric tensor of highest weight modules for $\mathrm{SU}(2)$
Let $V_i$ be the $(i+1)$-dimensional representation of the special unitary group $\mathrm{SU}(2)$ with the highest weight $i$. Is there any uniform way to compute the irreducible decomposition for the ...
- 951
1
vote
0
answers
242
views
Is the span of all nilpotent ideals also a nilpotent ideal?
Given a non-zero Lie algebra $\mathcal{L}$ over $\mathbb{C}$, we define $\mathcal{L}^2 = \big[\mathcal{L}, \mathcal{L} \big] = \big\{ [x, y]: x, y\in \mathcal{L} \big\}$, and for any $k\in\mathbb{N}$ ...
- 307
3
votes
1
answer
153
views
A question about freeness of a certain class of abelian groups
Lets call an abelian group $G$, to be semi-free (or SF) if every nonzero subgroup of $G$ is isomorphic to $\mathbb{Z}\times H$ for some abelian group $H$.
Is every semi-free group, a free group? If ...
- 4,484
2
votes
1
answer
95
views
Two nonsingular non-isomorphic modules with isomorphic injective hulls
Let $R$ be a ring with unity. Are there two nonsingular non-isomorphic right $R$-modules with isomorphic injective hulls?!.
- 324
1
vote
1
answer
84
views
Simple-direct-injective modules
A right $R$-module $M$ is called a simple-direct-injective module if it satisfies any of the following equivalent conditions:
For any simple submodules $A,B$ of $M$ with $A \cong B \subseteq^{\oplus} ...
- 324
1
vote
0
answers
167
views
When do limits of $R$-modules commute with direct sum?
Let $R$ be a commutative ring. Is there any good special case in which I can say that a limit of $R$-modules commutes with direct sum? This is of course true for finite direct sums. Are there other ...
- 658
0
votes
1
answer
96
views
An example of module which is square-free, CS, NOT C3, and NOT nonsingular
Let $M$ be a right $R$-module ($R$ has unity). Recall that $M$ is called square-free if $M$ does not contain two nonzero isomorphic submodules with zero intersection. $M$ is called CS if every ...
- 324