Questions about commutative rings, their ideals, and their modules.

learn more… | top users | synonyms (1)

0
votes
0answers
15 views

Prime and Maximal Ideals of $\mathbb{Z}[x]$ [duplicate]

Consider $R=\mathbb{Z}[x]$. Also let $p$ be a prime. Then we want to find all the prime and maximal ideals of $\mathbb{Z}[x]$. The prime ideals are $(0), (p), (x)$ and $(ap + bx)$. Then we see that ...
1
vote
1answer
43 views

A subset of a polynomial ring and its ideal. [duplicate]

Let $P=K[x_1,\dots,x_n]$ be a polynomial ring over a field $K$ and $I = (f)$ be a principal ideal in $P$ generated by $f \in P - \{0 \}$. Moreover let $L \subset \{x_1, \dots, x_n \}$ and $\hat{P} ...
0
votes
1answer
62 views

Prove that these two fields are isomorphic.

I want to prove that $\bar{K}[V]/M_p \simeq \bar{K}$ where $K$ is a field, $\bar{K}$ is its algebraic closure and $$\bar{K}[V]=\bar{K}[x_1,...,x_n]/I_V,$$ where $I_V$ is the ideal attached to a ...
3
votes
0answers
25 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
votes
0answers
35 views

How to show for a f.g. graded ring $R$, $R^{(m)}$ is generated by degree $1$ for some $m$?

Let $$R=\oplus_{i\geq 0} R_i$$ be a graded ring, which is finitely generated as a $R_0$ algebra. Let $R^{(m)}$ be $\oplus_{i\geq 0} R_{mi}$. Then how to show that for some $m \in \mathbb{N}$, ...
0
votes
0answers
28 views

If $f : M\otimes_A A/m \to N\otimes_A A/m$ is surjective , so is $f : M \to N$. [on hold]

Let $A$ be a local ring with maximal ideal $m$. Let $f : M \to N$ be a morphism of $A$-modules, where $N$ is finitely generated. Show that if the map $f : M\otimes_A A/m \to N\otimes_A A/m,\quad ...
1
vote
1answer
12 views

Kernel of $M\to M[U^{-1}]$ and primary decomposition of $(0)$

I am working on exercise 3.12 from Eisenbud's Commutative Algebra and I am having trouble parsing the question. Let $M$ be a finitely generated module over the Noetherian ring $R$. Given any ...
1
vote
1answer
33 views

If I is an irreducible ideal, and P is a prime ideal, is (I+P)/P irreducible?

Let $A$ be a commutative ring with unit, and $P$ a prime ideal. My question is: If $I$ is an irreducible ideal in $A$, is $(I+P)/P$ irreducible in $A/P$? If not, can you show a counterexample? ...
4
votes
1answer
46 views

$m_p=\{f\in \mathcal{O}_{V,p}| f(p)=0\}$, ideal of $p$ in the local ring. What is $m_p/m_p^2$?

In Section 6.8 of Undergraduate Algebraic Geometry by Reid, the author proved the following Theorem: There is a natural isomorphism of vector spaces $(T_pV)^*\cong m_p/m_p^2$ where $^*$ denotes ...
2
votes
2answers
67 views

Homogeneous localization and regularity

Let $k$ be a field, $S = k[x_0,\dots,x_r]$, $I$ a homogeneous ideal of $S$ and $R=S/I$. Let $P$ be a homogeneous prime ideal of $R$ and let $R_{(P)}$ be the homogeneous localization of $R$ at $P$. I ...
1
vote
0answers
34 views

Matrices representing a map between free modules of infinite rank and Fitting's Lemma (Eisenbud)

p.497 of Commutative Algebra with a View Toward Algebraic Geometry, Eisenbud: If $\phi: F \rightarrow G$ is a map of free modules, then $I_j\phi$ is the image of the map $$\Lambda^j F ...
2
votes
1answer
55 views

Is this ring extension flat?

Let $k$ be a field of characteristic zero and let $A$ be a finitely generated $k$-algebra. Let $B=A[x_1,\ldots,x_n]$ be the polynomial ring over $A$ and let $I \subseteq B$ be an ideal such that $B/I$ ...
1
vote
1answer
15 views

Algorithm for computing the inverse limit of a finite inverse system

Let $k$ be a field (finite if you'd like), let $(I,\le)$ be a finite directed poset with $|I|=n$, and let $(A_i,f_{ij})_{i\le j\in I}$ be an inverse system of finitely generated, graded, commutative ...
1
vote
0answers
16 views

Algorithm for computing an inverse image

Let $k$ be a field (finite if you'd like), and let $f:A\to B$ be a map of graded, commutative $k$-algebras. Suppose further that $A$ is finitely generated and choose a presentation ...
-1
votes
0answers
41 views

Monomial Algebras problem. Associated prime ideals [on hold]

I am trying to prove the following: Monomial Algebras (First Edition) Rafael H. Villarreal - Exercise 1.1.45 or Monomial Algebras (Second Edition) Rafael H. Villarreal - Exercise 6.1.26 Let ...
-1
votes
1answer
50 views

How to use the Universal Coefficient Theorem to determine $H^i(M; \mathbb{Z}_p)$ from $H^i(M; \mathbb{Z})$? [closed]

Let $M$ be a path-connected finite $CW$-complex. Suppose $$ H^2(M;\mathbb{Z})=\mathbb{Z}_{2k}, \text{ } k\geq 3; $$ $$ H^3(M;\mathbb{Z})=\mathbb{Z}\times\mathbb{Z}_{2}; $$ $$ ...
0
votes
0answers
22 views

Intersection of affine subvarieties [closed]

If the ideals $I_i$ define irreducible subvarieties of an affine space, can the scheme defined by the ideal generated by finitely many of the $I_i$ contain a embedded component?
0
votes
0answers
33 views

Every non-Noetherian module has a submodule maximal with respect to being not finitely generated. [duplicate]

Let $M$ be a module. Show that if $M$ is not Noetherian then $M$ has a submodule $N$ such that $N$ is not finitely generated whenever $N<A\leq M$. The question is related to If $M$ isn't ...
-1
votes
0answers
31 views

Completion of a polynomial ring [closed]

Let $R$ be a commutative ring with ideal $I$. Let $J$ be the ideal of $R[x]$ generated by $I$ and $x$. What is the $J$-adic completion of $R[x]$? Is it $S[[x]]$, where $S$ is the $I$-adic ...
4
votes
1answer
47 views

Closed points in projective space correspond to which homogenous prime ideals in $k[x_0,…,x_n]$

I'm trying to think about exercise 4.5.O in Vakil's notes on Algebraic Geometry. Before we defined the scheme $\mathbb{P}^n_k := \operatorname{Proj}(k[x_0,...,x_n])$ and showed that that for $k$ ...
4
votes
2answers
97 views

Does $\operatorname{Spec}$ preserve pushouts?

The spectrum-functor $$ \operatorname{Spec}: \mathbf{cRng}^{op}\to \mathbf{Set} $$ sends a (commutative unital) ring $R$ to the set $\operatorname{Spec}(R)=\{\mathfrak{p}\mid \mathfrak{p} \mbox{ is a ...
1
vote
1answer
73 views

When is an ideal also a ring, and could then be anything said about its relation to the original ring

If $R$ is a ring with unity $1$, then $S \subseteq R$ is called a subring if it is itself a ring with $1 \in S$. A subset $I \subseteq R$ is called an ideal if it is a group with respect to addition ...
-1
votes
0answers
45 views

Field of fractions of $\mathbb{C}[X,Y,Z]/\langle XY-Z^2\rangle$ [closed]

Let $R=\mathbb{C}[X,Y,Z]/\langle XY-Z^2\rangle$ and let $\mathbb{C}(X,Y)$ be the field of fractions of $\mathbb{C}[X,Y]$. Show that the field of fractions of $R$ can be expressed as ...
0
votes
1answer
47 views

If ideal can be generated by zero divisors, then is the depth of the ideal 0?

Let $R$ be a Noetherian ring and $I$ an $R$-ideal. The number $\operatorname{depth}_I R$ is the length of maximal $R$-regular sequence in $I$. It is well-known that If $\operatorname{depth}_I R = 0$, ...
0
votes
0answers
17 views

Does Magma let you specify primary invariants?

I am cross-posting this question from scicomp.SE. The computer algebra system Magma can calculate primary invariants (i.e. a homogeneous system of parameters) in an invariant ring of a finite group ...
1
vote
1answer
36 views

Example of an integral domain with a non-principal prime ideal of height one [closed]

Is there an integral domain $R$ with a prime ideal $\mathfrak{p}$ of height $1$ which is not a principal ideal?
1
vote
0answers
24 views

Does the order of a finite group divide the product of degrees of a system of parameters of the invariant algebra?

Let $V$ be a vector space of dimension $n$ over a finite field $\mathbb{F}$, and let $G$ be a subgroup of the finite group $\operatorname{GL}(V)$. Then $G$ acts on the graded algebra $\mathbb{F}(V)$ ...
7
votes
2answers
84 views

Are weakly étale ring homomorphisms of finite presentation étale?

Following [Stacks, 092A], say a ring homomorphism $A \to B$ is weakly étale if both $A \to B$ and $B \otimes_A B \to B$ are flat. Question. Are weakly étale ring ...
0
votes
0answers
91 views

Why is the map from $A^n$ to $M$ a surjective homomorphism?

How can one do the problem 1.3.11 b in Algebraic Geometry and Arithmetic Curves? I have read basics of commutative algebra but this one seems to be too difficult. Let $A$ be a commutative ring with ...
8
votes
1answer
59 views

Is I-adic completion a ring epimorphism?

Let $R$ be a commutative ring and let $I \subset R$ be an ideal. For any $n \ge 1$, the ring homomorphism $R \rightarrow R/I^n$ is surjective, hence an epimorphism in the category of rings. What about ...
0
votes
2answers
79 views

Affine varieties and their ideals

I was reading on Wikipedia about quotient ideals. It mentions that if $W$ and $V$ are affine varieties (assume $V$ is) and $I(V)$ and $I(W)$ are the ideals for $V$ and $W$, then $$I(V):I(W) = ...
1
vote
1answer
53 views

$>$ is an elimination ordering for $x_1,\dots,x_t \iff x_i >x_j^m$

Let $R = k[x_1,\dots,x_t,x_{t+1},\dots,x_n]$ and $>$ a monomial ordering on $R$. Then $>$ is an elimination ordering for $x_1,\dots,x_t \iff x_i >x_j^m$ for all $1\leq i \leq t, t+1 \leq j ...
0
votes
0answers
45 views

Groebner basis and prime ideals.

Let $I$ be an ideal in a polynomial ring $P = K[x,y_1,\dots,y_n]$ and assume that $I \cap K[x]\neq (0)$. Let $>$ be an elimination ordering for $\{y_1, \dots, y_n\}$ and $G$ is a Groebner basis for ...
-2
votes
0answers
74 views

Finite number of maximal ideals of bounded norm [on hold]

Suppose that we have an integral extension of rings $R\subseteq S$ and $S$ is finitely generated as $R$-module or as $R$-algebra, and $R/\mathfrak m$ is finite for all maximal ideals and $S/\mathfrak ...
0
votes
1answer
72 views

There exists a zero dimensional ideal I such that $\dim (R/I) - |V(I)| \geq \alpha > 0$

If $I \subset K[x_1,\dots,x_n]$ is a zero dimensional ideal and $$V(I) = \{ (\alpha_1,\dots,\alpha_n) \in K^n: f((\alpha_1,\dots,\alpha_n)) = 0\ \forall f\in I\}$$ (the variety). I know that ...
1
vote
1answer
22 views

Poincare series and the Hilbert polynomial of $A = A_0[X_1,\dots , X_s]$

Let $A = A_0[X_1, \dots , X_s]$ be a polynomial ring in $s$ variables over an Artin ring $A_0$. This is a graded ring, and can be regarded as a graded module over itself. 1. What are the ...
2
votes
1answer
35 views

Why is $|V(I)| \leq d_1\cdots d_n$?

If $I \subset K[x_1,\dots,x_n]$ is a zero dimensional ideal and $$V(I) = \{ (\alpha_1,\dots,\alpha_n) \in K^n: f((\alpha_1,\dots,\alpha_n)) = 0\ \forall f\in I\}$$ (the variety). Then if $G$ is a ...
0
votes
1answer
44 views

Poincare series and Hilbert polynomial of some graded modules [on hold]

Let $k$ be a field, and let $k[X, Y ]$ be the polynomial ring in two variables equipped with the usual grading such that $\deg(X) = \deg(Y ) = 1$. Consider the ideals $I = (X, Y^2)$ and $J = (X^2, ...
0
votes
0answers
31 views

Minimal primary decomposition of the ideal $I = (XY, Y Z, XZ) ⊆ \mathbb C[X, Y, Z]$ [duplicate]

Write out a minimal primary decomposition of the ideal $I = (XY, Y Z, XZ) ⊆ \mathbb C[X, Y, Z]$, and determine the primes belonging to $I$. Determine the dimension of the ring $\mathbb C[X, Y, ...
0
votes
1answer
70 views

Elimination Ordering for the ring $k[x,y]$

How to show that the only elimination ordering on the ring $k[x,y]$ is the lexicographic ordering? (Ene and Herzog, Gröbner Bases in Commutative Algebra, Problem 3.1.) Definition (Elimination ...
2
votes
1answer
53 views

Is the map $\phi: \mathbb{P^2\rightarrow \mathbb{P^1}}$ defined by $\phi(x,y,z)=(x,y)$ birational?

This is Exercise 5.3 (a) in Undergraduate Algebraic Geometry by Reid. Does the map $\phi: \mathbb{P^2\rightarrow \mathbb{P^1}}$ defined by $\phi(x,y,z)=(x,y)$ define a rational map? Determine ...
2
votes
0answers
18 views

A sufficient condition for factorization in a complete local ring

I think something like the following statement is true, but I don't recall a reference. Suppose $f(x,y)\in k[[x,y]]$ is power series with no constant or linear terms. Then, if the quadratic terms ...
1
vote
0answers
33 views

Nullstellensatz to prove Noether Normalization

In many commutative algebra texts, Noether Normalization Lemma is proved and then Hilbert's Nullstellensatz is obtained as a corollary. Nullstellensatz and Normalization Lemma seem to be non-trivial ...
-1
votes
0answers
16 views

Proof that maximal ideals in $\mathcal{P}[x_0]$ intersected with $\mathcal{P}$ is a maximal ideal in $\mathcal{P}$ [closed]

I am trying to show that maximal ideals in $\mathcal{P}[x_0]$ intersected with $\mathcal{P}$ is a maximal ideal in $\mathcal{P}$, where $\mathcal{P}$ is the polynomial ring $K[x_1, \dots, x_n]$ or ...
1
vote
1answer
30 views

$I(X_1 \cap X_2)=\sqrt{I(X_1)+I(X_2)}$

How to prove $I(X_1 \cap X_2)=\sqrt{I(X_1)+I(X_2)}$? Clearly $\sqrt{I(X_1)+I(X_2)} \subseteq I(X_1 \cap X_2)$ But for $f \in I(X_1 \cap X_2)$ $f(x)=0 \forall x\in X_1 \cap X_2$. how to show $f \in ...
0
votes
0answers
50 views

Spectrum and maximal spectrum of a ring

How do the $\mathrm{Spec}(\mathbb{C}\left [ X \right ])$ and $\text{m-Spec}(\mathbb{C}\left [ X \right ])$ look like? I understand the definitions of $\mathrm{Spec}(R)$ and $\text{m-Spec}(R)$ for a ...
-1
votes
0answers
33 views

Buchberger's Algorithm Example

I've been reading Ideals, Varieties and Algorithms and came across an example of Buchberger's algorithm being computed and I am not able to understand how they came to have the final result. The ...
3
votes
1answer
52 views

Suppose A is a principal ideal domain with every ideal of finite index. Must A be a Euclidean domain?

Suppose $A$ is a principal ideal domain with every ideal of finite index (except the zero ideal). Must $A$ be a Euclidean domain? If it's not known, are there any relevant partial results?
1
vote
1answer
51 views

Tensor product of Hom-module and another ring

Let $A$ be a local noetherian ring, $B$ and $C$ are finitely generated $A$-algebras and $M$ is a finitely generated $B$-module. Is the natural morphism $\mathrm{Hom}_B(M,B) \otimes_A C \to ...
6
votes
1answer
66 views

Does the determinant give you the index over $\mathcal{O}_k$ as well as over $\mathbb{Z}$?

It is a standard fact that if $M$ is a nonsingular $n\times n$ integer matrix, the index of the $\mathbb{Z}$-span of its columns as an abelian group in $\mathbb{Z}^n$ is $|\det M|$. What happens if we ...