Skip to main content

All Questions

Tagged with
Filter by
Sorted by
Tagged with
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}$ ...
Sanae Kochiya's user avatar
1 vote
0 answers
108 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 ...
Hvjurthuk's user avatar
  • 573
5 votes
1 answer
759 views

On the annihilator of a module

Question. Let $A$ be a Noetherian ring and $M$ a finitely generated $A$-module. Does there always exist an element $s\in M$ such that $\mathrm{Ann}(s)=\mathrm{Ann}(M)$? Remark. The annihilator of a ...
Chris 's user avatar
  • 303
13 votes
1 answer
595 views

Inverse of the Structure Theorem for Finitely Generated Modules over PID

We know that for a PID $R$, any finitely generated module is of the form $\frac{R}{(a_1)} \oplus \dots \oplus \frac{R}{(a_s)} $. I was wondering if the converse of this statement is true, that is, is ...
Adi Ostrov's user avatar
-2 votes
2 answers
763 views

Reduced ring with all non-prime ideals finitely generated

Let $R$ be a reduced ring with all non-prime ideals finitely generated. Then is $R$ Noetherian ? If not, then is it true at least in the local case ? Without reduced assumption, it is not true even ...
user avatar
2 votes
1 answer
150 views

On minimal generating sets of certain submodules

All our rings are commutative with unity. For an $R$-module $M$ and a submodule $N$ of $M$ and ideal $I$ of $R$, let $(N:I):=\{m\in M : Im \subseteq N\}$. Let $\mu (M)$ denote the least cardinality ...
user avatar
5 votes
0 answers
337 views

Can the Artin-Rees lemma be derived from Krull Intersection theorem?

The Krull Intersection theorem states that : For a finitely generated module $M$ over a Noetherian ring $R$ and any ideal $I$ of $R$, we have $I(\cap_{k=1}^{\infty}I^k M)=\cap_{k=1}^{\infty}I^k M$ . ...
user avatar
2 votes
1 answer
232 views

Commutative rings with unity over which every non-zero module has an associated prime

Let $R$ be a commutative ring with unity such that every non-zero module over $R$ has an associated prime. Then is it true that $R$ is Noetherian ? If not, then can we say something about any possible ...
user avatar
3 votes
1 answer
701 views

On graded projective modules

If $R$ is a PID, then we know that any projective module over $R$ is free. Is there any graded version of this? That is, let us call a graded commutative ring $R=\oplus _{g \in G} R_g$ a graded PID if ...
user avatar
4 votes
1 answer
307 views

How can we find a monic polynomial with the smallest degree in left ideal of $\mathrm{Mat}(F[x])$?

Let $F$ be a finite field, $R=F[x]$ be a polynomial ring and $K = \mathrm{Mat}_n(R)$ be a full matrix ring over $R$. We identify the ring $K$ with the ring $\mathrm{Mat}_n(F)[x]$, for example $$ \left(...
Mikhail Goltvanitsa's user avatar
2 votes
0 answers
134 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. ...
Dmitry Kerner's user avatar