Mathematics Stack Exchange
Mathematics Stack Exchange

Questions tagged [localization]

For questions regarding the process, consequences, and stability of localizing algebraic structures such as rings, categories, and modules. Not for use with local topological spaces.

For questions regarding the process, consequences, and stability of [localizing](For questions regarding the process, consequences, and stability of localizing algebraic structures such as rings, categories, and modules. Not for use with local topological spaces.) algebraic structures such as rings, categories, and modules. Not for use with local topological spaces.

Also for relationships to Spec and quasi-coherent sheaves.

964 questions
53
votes
3 answers

Why is the localization at a prime ideal a local ring?

I would like to know, why $ \mathfrak{p} A_{\mathfrak{p}} $ is the maximal ideal of the local ring $ A_{\mathfrak{p}} $, where $ \mathfrak{p} $ is a prime ideal of $ A $ and $ A_{\mathfrak{p}} $ is the localization of the ring $ A $ with respect to…
Bryan
  • 727
  • 1
  • 6
  • 9
33
votes
3 answers

Why is the localization of a commutative Noetherian ring still Noetherian?

This is an unproven proposition I've come across in multiple places. Suppose $A$ is a commutative Noetherian ring, and $S$ a multiplicative subset of $A$. Then $S^{-1}A$ is Noetherian. Why is this? I thought about taking some chain of…
Buble
  • 1,509
  • 12
  • 16
23
votes
3 answers

An integral domain $A$ is exactly the intersection of the localisations of $A$ at each maximal ideal

This result appears to be ubiquitous as an algebra exercise. How do you prove this result? Let $A$ be an integral domain with field of fractions $K$, and let $A_{\mathfrak{m}}$ denote the localisation of $A$ at a maximal ideal $\mathfrak{m}$…
user118000
  • 231
  • 2
  • 3
20
votes
5 answers

Localisation is isomorphic to a quotient of polynomial ring

I am having trouble with the following problem. Let $R$ be an integral domain, and let $a \in R$ be a non-zero element. Let $D = \{1, a, a^2, ...\}$. I need to show that $R_D \cong R[x]/(ax-1)$. I just want a hint. Basically, I've been looking…
johnq
  • 201
  • 2
  • 3
17
votes
2 answers

Motivation behind the definition of localization

What is the motivation behind definition of localization of rings? From where does the term "localization" come from? Why is the equivalence relation between the ordered pairs $(m,u),(m',u')$ with $ m,m' \in M$ and $u,u' \in U$ is defined as…
Mohan
  • 13,820
  • 17
  • 72
  • 125
16
votes
2 answers

Is the localization of a PID a PID?

Let $A$ be a commutative ring and $S$ a multiplicative closed subset of $A$. If $A$ is a PID, show that $S^{-1}A$ is a PID. I've taken an ideal $I$ of $S^{-1}A$ and I've tried to see that is generated by one element; the ideal $I$ has the form…
Sadi
16
votes
2 answers

Exactness of sequences of modules is a local property

It's well known, that passing to modules of fractions is exact, i.e. if $$M'\xrightarrow{f} M\xrightarrow{g} M''$$ is an exact sequence of $A$-modules ($A$ being a commutative ring with unity), then for every multiplicative subset $S\subset A$, the…
Ben
  • 5,502
  • 2
  • 19
  • 40
15
votes
1 answer

Showing that localization is an exact functor

I'm again in this awfully familiar situation where I'm struggling to prove simple statements mostly because I have no idea how a template of a proof should look like in this specified context. I'm trying to prove these two statements: Given a…
Saal Hardali
  • 4,449
  • 2
  • 28
  • 77
14
votes
2 answers

Localization commutes with Hom for finitely-generated modules

Let $M,N$ be $R$-modules with $M$ finitely generated and let $S\subseteq R$ be multiplicatively closed. Then there exists a module isomorphism $$S^{-1}\text{Hom}_R(M,N) \xrightarrow{\sim} \text{Hom}_{S^{-1}R}(S^{-1}M,S^{-1}N).$$ As homework, I…
MadPidgeon
  • 153
  • 1
  • 7
13
votes
1 answer

Showing that the fiber of a morphism of schemes over a point is homeomorphic to the preimage

Suppose I am given a morphism of schemes $f: X \longrightarrow Y$ and suppose that for any point $y \in Y$, $\kappa(y)$ denotes the residue field. I would like to show that the fibered product $$X \times_{Y} \text{Spec}(\kappa(y))$$ is homeomorphic…
Luke
  • 3,321
  • 1
  • 6
  • 13
12
votes
2 answers

Can a local ring have more than one prime ideal?

A local ring is defined as a ring which has a unique maximal ideal. This unique maximal ideal consists of only non-units and contains all the non-units of the ring $R$. So examples of local rings include any field, or rings localised at prime ideals…
user1314
  • 1,428
  • 15
  • 27
11
votes
4 answers

Localization at a prime ideal in $\mathbb{Z}/6\mathbb{Z}$

How can we compute the localization of the ring $\mathbb{Z}/6\mathbb{Z}$ at the prime ideal $2\mathbb{Z}/\mathbb{6Z}$? (or how do we see that this localization is an integral domain)?
user9459
11
votes
4 answers

Subrings of fraction fields

Let $R$ be an integral domain and let $S$ be a ring with $R \le S \le \text{Frac}(R)$ (fraction field). Question: Is there a multiplicatively closed subset $U \subseteq R\setminus \{0\}$ such that $S=R[U^{-1}]$ ?
tj_
  • 2,033
  • 10
  • 17
10
votes
0 answers

There isn't a "going in-between" theorem for integral ring extensions, is there?

Let $A\subset B$ be an integral extension of commutative, unital rings. We have the well-known "incomparability", "lying-over", and "going-up" theorems (5.9-5.11 in Atiyah-Macdonald, or see here). Lying-over asserts that every prime of $A$ has a…
Ben Blum-Smith
  • 19,309
  • 4
  • 52
  • 115
9
votes
2 answers

$\mathfrak p$ be a prime ideal of a commutative ring $R$ , then $R_\mathfrak p/\mathfrak pR_\mathfrak p$ is the field of fractions of $R/\mathfrak p$?

Let $\mathfrak p$ be a prime ideal of a commutative ring $R$ with unity , then how to show that the field $R_\mathfrak p/\mathfrak pR_\mathfrak p$ is isomorphic with the field of fractions of the integral domain $R/\mathfrak p$ ? I can show that…
user
  • 4,224
  • 8
  • 25
1
2 3
…
64 65