Skip to main content

Questions tagged [dimension-theory-algebra]

For questions about notions of dimension, rank, or length used in abstract algebra (e.g. Krull dimension, homological dimensions, composition length, Goldie dimension). Questions about dimension of vector spaces, and rank of linear transformations are better placed under the [linear-algebra] tag.

2 votes
1 answer
46 views

Let $R$ be a Jacobson ring, meaning that every prime ideal is an intersection of maximal ideals, and let $S$ be a finitely generated $R$-algebra. I am interested in proving the following. (I sadly ...
Regular Local Learner's user avatar
1 vote
0 answers
46 views

The following is 2.3 in Krick and Logar (1991). (ISBN: 978-3-540-38436-6) Let $I \leq k[X_1, \dots X_n]$ be of dimension $d$, and w.l.o.g assume that $I \cap k[X_1, \dots, X_d] = (0)$. We say that $...
Regular Local Learner's user avatar
2 votes
1 answer
116 views

Question Let $k$ be an algebraically closed field, and give $\mathbb{A}^n_k$ the Zariski topology. Let $Y$ be an irreducible closed subset of $\mathbb{A}^n$, and let $Z:=V(F)\subseteq \mathbb{A}^n$ ...
John Frank's user avatar
0 votes
1 answer
57 views

Let $R$ be a commutative ring, and let $p_0 \subset p_1$ be prime ideals in $R[x]$ such that $p_0 \neq p_1$ and $p_0 \cap R = p_1 \cap R$. Prove that the chain $p_0 \subset p_1$ is saturated. ( A ...
mdmi's user avatar
  • 319
0 votes
1 answer
120 views

Let $A$ an integrally closed domain and $B$ a commutative ring extension of $A$ that is finitely generated as an $A$-module. For $f\in B$ is it true that there exists $a_f\in A$ s.t. $\sqrt{(f)\cap A}=...
Teddy's user avatar
  • 77
1 vote
1 answer
170 views

Let $R$ be a Noetherian local ring with maximal ideal $m$, and let $M$ be a finitely generated $R$-module. It is known that if $x \in m$ is an $M$-regular element, then the dimension of $M/xM$ is ...
Swaraj Koley's user avatar
3 votes
1 answer
189 views

I am trying to prove this statement by deducing a contradiction to Krull's Principal ideal theorem. Here is my attempt: Denote $R$ and $P$ the ring and the prime ideal under consideration, ...
Mystery girl's user avatar
0 votes
0 answers
87 views

Let $C$ be a smooth projective curve over an algebraic field $k$. I suppose the Kodaira dimension of $C$ is $0$. Why the genus must be $1$? If $C$ is a smooth projective surface, and if I suppose the ...
Analyse300's user avatar
0 votes
0 answers
61 views

On a connected domain, the set of antiderivatives of a continuous function $f$ is $1$-dimensional. However, for a punctured domain like $\mathbb{R} - \{0\}$, the set of antiderivatives becomes $2$-...
user107952's user avatar
  • 24.9k
1 vote
0 answers
68 views

I have been thinking about the possibility of representing all points in a $4$-dimensional spacetime coordinate system $\mathbb{R}^{1,4}$, as points on one line $P$ (or axis of a $1$-dimensional ...
A.M.M Elsayed 马克's user avatar
2 votes
0 answers
164 views

In Eisenbud's and Harris's "3264 & All That", they define the codimension of a subvariety $Y$ of a variety $X$ as $\operatorname{codim}_X(Y)=\dim(X)-\dim(Y)$. This part is fine and also ...
Anon's user avatar
  • 1,173
1 vote
1 answer
275 views

I know there are similar questions, but everyone uses different approaches and it's complicated to change proofs. In my algebraic geometry course, we're dealing with algebraic variety (topological ...
Alessandro Vagni's user avatar
2 votes
1 answer
139 views

I would like to prove the following result : A semi-algebraic set in $\mathbb{R}^d$ has dimension $d$ if and only if its interior is non empty The dimension here has to be understood in the semi ...
G2MWF's user avatar
  • 1,657
2 votes
1 answer
448 views

I hope I'm not overbearing in this site. Yes, I'm still struggling. If you can, I have a question about primary decomposition that still needs help, you can find it in my page. Now I wanted to find ...
user avatar
6 votes
0 answers
206 views

Let $\overline{\mathbb{R}}_{\geq 0} = \mathbb{R}_{\geq 0} \cup \{\infty\}$. Given a commutative ring with unity $R$, $R\operatorname{-Mod}$ denotes the category of $R$-modules. Given $R$-modules $A$ ...
Elia Immanuel Auer's user avatar

15 30 50 per page
1
2 3 4 5
13