Questions tagged [artin-ring]
Questions about rings satisfying the descending chain condition on ideals.
16
questions
3
votes
0
answers
89
views
Decidability of theory of modules over a ring of finite representation type
I have read from Mike Prest's model theory for modules (London lecture note series) chapter 17 that a Ring of finite representation type has a decidable theory of modules. Here decidability was ...
7
votes
2
answers
145
views
Rings of finite uniserial type
If $R$ is a ring and $M$ an $R$-module, $M$ is uniserial if its lattice of submodules is a chain. Over an Artinian $R$, the chain will be finite. From what I understand, deciding when two uniserial ...
4
votes
2
answers
347
views
Ideals in Artinian Gorenstein local ring $(R,\mathfrak m)$ with $\mu(\mathfrak m)=2, \mathfrak m^2\ne 0$ and $\mathfrak m^3=0$
Let $(R,\mathfrak m,k)$ be an Artinian Gorenstein local ring such that $$\mu(\mathfrak m)=2, \quad\mathfrak m^2\ne 0,\quad\text{and}\quad \mathfrak m^3=0.$$
Then, is it true that every non-maximal ...
6
votes
1
answer
122
views
On the finiteness of an Auslander-Reiten component
I am reading a paper called A NOTE ON THE RADICAL OF A MODULE CATEGORY by
CLAUDIA CHAIO AND SHIPING LIU. This is Theorem 2.7:
And this is part of it's proof, in which the direction (2) $\Rightarrow $ ...
0
votes
1
answer
297
views
injective hull and projective cover of simple modules are indecomposable
Let $A$ be an Artinian algebra. Let $S$ be a simple module over $A$. Let $\pi: S \rightarrow I$ be the injective hull and $\tau: P \rightarrow S$ be the projective cover of $S$. Then $I$ and $P$ must ...
5
votes
0
answers
276
views
Deformations of a blow up
My question is related to this question, but I'm looking for something a bit more explicit.
Let $S$ be a smooth surface over $\mathbb C$, fix a point $s\in S$ and take the blow up $\beta \colon S' \...
3
votes
1
answer
321
views
commutative, infinite, artinian ring (with unity) in which distinct ideals has distinct index
Let $R$ be an infinite commutative Artinian ring such that for any two distinct ideals $I, J$ of $R$, $R/I$ and $R/J$ has different cardinalities; then is it true that $R$ is a PIR (principal ideal ...
2
votes
1
answer
137
views
On Artinian rings
Let $R$ be a ring, and for every $R$-module $M$, suppose that we have the following condition:
If $M$ is cogenerated by any finitely generated $R$-module $N$, then $M$ embeds in a finite direct sum ...
5
votes
2
answers
469
views
A question with simple and indecomposable modules
Assume $M$ is both noetherian and artinian and fix $S_0\subseteq M$ a simple submodule. How to prove that $S_0$ is contained in some indecomposable direct summand of $M$?
12
votes
1
answer
920
views
Lengths over a local ring
Let $A$ be a noetherian domain, $\mathfrak{m}$ а maximal ideal, $s$ a non-zero element of $\mathfrak{m}$, $d= \dim A_\mathfrak{m}$.
Is the following claim true?
Claim:
For any $\epsilon>0$, there ...
1
vote
0
answers
610
views
A left Artinian ring that is also a right Noetherian ring [closed]
I am having trouble showing that a ring which is left Artinian and right Noetherian is right Artinian.
0
votes
2
answers
940
views
Are there only finite many maximal left ideals for a left Artinian ring?
As in title.
Are there only finite many maximal left ideals for a left Artinian ring?
15
votes
1
answer
628
views
When is a local Artin C-algebra a subring of C[t]/t^n
Let $A$ be a local ring over $\mathbb{C}$, which moreover is a finite dimensional $\mathbb{C}$-vector space.
When is $A$ a subring of $\mathbb{C}[t]/t^n$?
What does the minimal ...
0
votes
3
answers
815
views
local Artin algebras
Given a commutative Artin algebra $A$ over an algebraically closed field $k$ one has a decomposition $A=A_1\oplus\ldots\oplus A_n$ into local Artin subalgebras, see for example Atiyah-McDonald, ...
5
votes
1
answer
580
views
Is K(R-Mod) compactly generated when R is an artin algebra?
I wonder if the triangulated category K(R-Mod) is compactly generated when R is an artin algebra? R-Mod denotes all left R-modules. I understand this would be true if R has finite representation type ...
9
votes
1
answer
511
views
Can one check formal smoothness using only one-variable Artin rings?
Let $f:X\rightarrow Y$ be a morphism of schemes over a field $k$. Can one check that $f$ is formally smooth using only Artin rings of the form $k^{\prime}\left[t\right]/t^{n}$, where $k^{\prime}$ is ...