Commutative algebra Definition and 20 Threads

I want to prove that ##\mathcal{O}_{\mathbb{A}^n}(\mathbb{A}^n \setminus \{0\}) = k[X_1, \ldots, X_n]## for ##n \ge 2## and some user on another forum gave this proof: "We know that ##\mathcal{O}_{\mathbb{A}^n}(\mathbb{A}^n \setminus \{0\}) = \bigcap_{i = 1}^n \mathcal{O}(D(X_i))##, where...

In Miles Reid's book on commutative algebra, he says that, given a ring of functions on a space X, the space X can be recovered from the maximal or prime ideals of that ring. How does this work?

Assume that ##P## is a polynomial over a commutative ring ##R##. Then there exists a ring ##\tilde R## extending ##R## where ##P## splits into linear factor (not necessarily uniquely). This theorem, whose proof is given below, is difficult to find in the literature (if someone know a source, it...

Let ##A## be a ring and ##B## be a commutative algebra over A· Suppose that ##B## is generated by algebraic elements ##\beta\in B## over ##A##, meaning that ##\beta## fulfils a relation of the form ##P(\beta)=0##, with ##P\in A[X]##. Is ##B## necessarily associative ? NOTE: As usual...

Hello, Below are two results with their proof. Of course, there may be several ways to prove these results, but I just need some checking. Can someone check carefully if the math is OK ? (but very carefully, because if there is a failure, I will be murdered :-) ) ? thx. Claim 1: Let ##L/K## be...

Dear teachers, I am curious if you know some good books that have problems well supplemented to "Commutative Algebra I-II" by Zariski/Samuel. I am really enjoying it, but it does not have any exercise, leaving me to try coming up with my own problems (it is fun to do, but I would like to solve...

Dear friends! I am interested to study quantum physics at deep level.For that I think I should be well versed with many mathematical tools.Though I have some knowledge of algebra up to Galois Theory and some more related topics of commutative algebra. I am a mathematics teacher(more a student...

May there exist an integral domain R, with fraction field K, that fulfills the following condition: there exists x\in K, x\not \in R and a maximal ideal \frak m of R{[}x{]}, such that \frak m does not contain x-a for any a\in R ? Motivation : I am trying to prove a difficult result. A way to...

Hello, This is not a homework problem, nor a textbook question. Please do not remove. Is there a concrete example of the following setup : R is an integrally closed domain, a is an integral element over R, S is the integral closure of R[a] in its fraction field, S is not of the form R{[}b{]} for...

I was enrolled in College Algebra for this upcoming winter because the hours will overlap with the class that I enrolled for spring. The reason why I want to learn this, is to refresh my Algebra skills, since I forgot most of it (I only remember matrices, radicals and identities). The purpose...

Hello, I feel very uncomfortable with some aspects of the theory of valuations, places, and valuation rings. Here is one of my problems : Assume that L/K is a finite Galois extension of fields, and that F is a place from K to its residual field k, whose associated valuation ring is discrete. F...

< Mentor Note -- thread moved to HH from the technical math forums >[/color] My final assignment in graduate algebra is to write an essay about the relationship among the subjects we have learned so far this semester: (1) Module (2) The Field of Fractions of an Integral Domain (3) Integrality...

In R. Y. Sharp "Steps in Commutative Algebra", Section 2.23 on sums of ideals reads as follows: ------------------------------------------------------------------------------ 2.23 SUMS OF IDEALS. Let $$ ( {I_{\lambda})}_{\lambda \in \Lambda} $$ be a family of ideals of the commutative ring $$...

I am reading R.Y. Sharp: Steps in Commutative Algebra. Lemma 1.13 on page 7 (see attachment) reads as follows: -------------------------------------------------------------------------------------- 1.13 LEMMA. let R be a commutative ring, and let X be an indeterminate; let T be a commutative...

Are "Commutative Algebra" and "Algebraic Geometry" useful for physics? Hello, I'm considering taking Commutative Algebra, and perhaps even Algebraic Geometry (for which the previous is a prerequisite). In the first place I would take it for the enjoyment of mathematics and to give me an...

how is the quantum momentum operator (being a linear differential op.) related to commutative algebra?

Hi I have a set of nonlinear equations f_i(x_1,x_2,x_3...) and I want to find their solutions. After doing some reading I have come across commutative algebra. So to simplify my problem I have converted my nonlinear equations into a set of polynomials p_i(x_1,x_2,x_3...,y_1,y_2...) by...

Is there a good reference for commutative algebra of graded rings and modules? I've only found little bits and pieces in other texts (e.g. Hartshorne's Algebraic Geometry), and I would like to avoid having to dive fully into the theory of modules over preadditive categories! (And I'd prefer...

Why is CA mostly to do with the study of rings? Why not study more commutative groups? Or are most group noncommutative?

How useful is it to study commutative algebra for the understanding and development of string theory? What about geometric group theory? Which is more useful for string theory and why?