# Tagged Questions

61 views

43 views

### Prime Ideals as Ring theoretic Ultrafilters

I am confused by the following statement in Awodey's Category Theory p. 35: Ring homomorphisms $A\to \mathbb Z$ into the initial ring $\mathbb Z$ play an analogous and equally important role [to ...
51 views

### The ring of homogeneous polynomials

I think I found an error in my textbook, but I am not completely sure. The book is Hulek, Elementary algebraic geometry, pag. 73. There is a theorem showing that $U_i$ and the affine space ...
34 views

### relation between quotient field of holomorphic functions and meromorphic functions

Let $U \in \mathbb{C}^n$ open connected. Is it true that the quotient field of $\mathcal{O}_{\mathbb{C}^n,z}$ for $z \in U$ is the stalk of the sheaf $\mathcal{K}$ where $\mathcal{K}(U)$ is the field ...
72 views

### Formally smooth vs. smooth

A (commutative) algebra $A$ is called formally smooth if for any (commutative) algebra $R$ and an ideal $I\subset R$ such that $I^2=0$, any morphism $A\to R/I$ lifts to a morphism $A\to R$. Suppose ...
65 views

### Algebraic Geometry and Maximal ideals

I am solving the following problem but couldn't figure out a strategy to solve: Does $(x^3-17, y^2)$ generate maximal ideals in the quotient ring $R=\mathbb{C}[x,y]/I$ where $I$ is the principal ...
47 views

### Variety and algebraic curves

I am attempting the following problem from Artin: Every variety in $\mathbb{C^2}$ is the union of finitely many points and algebraic curves. I think the proof is trivial (unless I am missing ...
84 views

### Irreducible polynomials and algebraic geometry

I was reading Dummit and Foote and this was one of statements stated (without any proof), "An irreducible curve have finitely many singular points" I would like to know why is this true. Shouldn't it ...
125 views

### Number of common zeros of two quadratic polynomials in ${\Bbb C}[t,x]$

The following theorem is in Artin's Algebra(2nd edition): Theorem 11.9.10 Two nonzero polynomials $f(t,x)$ and $g(t,x)$ in two variables have only finitely many common zeros in ${\Bbb C}^2$, ...
85 views

### Orthogonal idempotents from disjoint union in $\text{Spec}(A)$

Let $A$ be a commutative ring with unity. Suppose that $X=\text{Spec}(A)$ is a disjoint union $X_1\cup X_2$ of topological spaces. Show that $A$ has a pair of orthogonal idempotents $e_1,e_2$ ...
77 views

### Is the completion of $(k[x,y]/f)_\mathfrak{m}$ isomorphic to $k[[x]][y]/f$?

Let $k$ be an algebraically closed field and let $f\in k[x,y]$ be an irreducible polynomial with no constant term that is not a polynomial in $x$ alone. Is it the case that the completion of the ...
95 views

### Integral morphism between varieties has finite fiber

I'm looking for a proof/counterexample of the following fact: Theorem Let $X \subseteq k^n$ and $Y \subseteq k^n$ be algebraic varieties over a field $k$ and let $\phi$ be a morphism from $X$ to ...
99 views

### What does $J_1\cap J_2=\emptyset$ mean algebraically for two varieties in $\Bbb{C}^n$?

Let $J_1, J_2$ be two varieties in ${\Bbb C}^n$. Then $$J_i=V(I_i)\quad i=1,2.$$ for some $I_i\subset\Bbb{C}[x_1,\cdots, x_n]$ and $$J_1\cap J_2=V(I_1\cup I_2)$$ and $$J_1\cup J_2=V(I_1I_2).$$ ...
71 views

### What are the ideals in ${\Bbb C}[x,y]$ that contain $f_1,f_2\in{\Bbb C}[x,y]$?

This question is based on an exercise in Artin's Algebra: Which ideals in the polynomial ring $R:={\Bbb C}[x,y]$ contain $f_1=x^2+y^2-5$ and $f_2=xy-2$? Using Hilbert's (weak) nullstellensatz, ...
81 views

### Are these two theorems about algebraic varieties the same?

In Artin's Algebra, there is a theorem (1) stated as the following: Let $J\subset\Bbb{C}[x]$ be an ideal such that $J=(f_1,\cdots,f_r)$ where $f_1,\cdots,f_r\in\Bbb{C}[x_1,\cdots,x_n]$. Let ...
117 views

### Why are roots of polynomials called geometric objects?

I read the following from the Wikipedia article about algebraic varieties: Proven around the year 1800, the fundamental theorem of algebra establishes a link between algebra and geometry by ...
### Can this quick way of showing that $K[X,Y]/(Y-X^2)\cong K[X]$ be turned into a valid argument?
I've been trying to show that $$K[X,Y]/(Y-X^2)\cong K[X]$$ where $K$ is a field, $K[X]$ and $K[X,Y]$ are the obvious polynomial rings over the indeterminates $X$ and $Y$ and $(Y-X^2)$ is the ...