Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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 $\mathbb{A}^n$ are Zariski-homeomorphic, where $U_i$ is the complement in $\mathbb{P}^n$ of the hyperplane defined by $X_i=0$. In the proof, it considers the ring $S^h$ defined as follows: $$S^h:=\{f\in k[X_0,\ldots,X_n] :f \textrm{ is homogeneous}\}$$

How can $S^h$ be a ring?? The polynomials in $S^h$ are not of fixed degree! Do you think it is a typo? Then it says there are maps $$\alpha(f):=f(1,x_1,\ldots,n_n)$$ and $$\beta(g):=x_o^{\operatorname{deg}(g)}\cdot g\big(\frac{x_1}{x_o},\ldots,\frac{x_n}{x_0}\big)$$ for every $f\in S^h$ and $g\in k[X_0,\ldots,X_n]$, and again $S^h$ is called a ring. Why?

share|improve this question
1  
Indeed $S^h$ is a set. –  Uri Brezner Mar 14 at 12:47

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.