Localization of Z: Understand What It Is

  • Thread starter joecoz88
  • Start date
In summary, localization is a way to construct a new ring from a given domain by considering a multiplicative subset and defining an equivalent relation and operations. The resulting localization is often denoted as S^{-1}Z, where S is the multiplicative set. It is important to note that S does not have to be a subring of Z. Some examples of localizations of Z include Q, Z_{pZ}, and \mathbb{Z}[\frac{1}{3}].
  • #1
joecoz88
14
0
What are the localizations of Z? I'm having trouble understanding what localization is.
 
Physics news on Phys.org
  • #2
You should along with Z, choose the multiplicative subset you want to do localization with.

Perhaps an intuitive example is the construction of the quotient field Q.

First, we know that [tex]\frac{8}{2}= \frac{4}{1}[/tex], i.e the two are equivalent since [tex]8 * 1 - 4*2 = 0[/tex]. We also need to be careful not to have the denominator be zero!

We may think of [tex]\frac{8}{2}[/tex] as a pair (8,2) in [tex]Z \times S[/tex], where S is Z with zero removed. In order to deal with the fact that two different fractions could be equal, like (8,2) = (4,1), it is better to consider these "equal" fractions as fractions belonging to the same equivalence class.
So we define a relation [tex]\equiv[/tex] as follows [tex](z_1, s_1)\equiv (z_2, s_2)[/tex] if and only if [tex]z_1 s_2 - s_1 z_2 = 0[/tex].

Now we may consider the set of all equivalence classes, i.e the quotient of [tex]Z \times S[/tex] by the relation [tex]\equiv[/tex]. Let us denote that by Q (this is the localization of Z with respect to S, usually denoted by [tex]S^{-1}Z[/tex], in our case, since Z is a domain, and we considered the multiplicative set to be Z - {0}, it is called the field of fractions).

It remains to define multiplication and addition.
Similar to the high-school definition of addition of fractions [tex]\frac{z_1}{s_1} + \frac{z_2}{s_2} = \frac{z_1 * s_2 + z_2 * s_1}{s_1 * s_2}[/tex], define addition as
[tex](z_1, s_1) + (z_2, s_2) = (z_1 * s_2 + z_2 * s_1, s_1 * s_2)[/tex].
and multiplication
[tex](z_1, s_1) * (z_2, s_2) = (z_1 z_2, s_1 s_2)[/tex]

The quotient we defined turns out to be a field, moreover, there's a (an injective) canonical ring homomorphism, [tex]i: Z -> Q[/itex] defined by [tex]x -> (x,1)[/tex], i.e intuitively every integer n in Z is a rational number [tex]\frac{n}{1}[/tex] i.e corresponds to a pair (n,1) in [tex]Q = (Z \times S) / \equiv[/tex].


Here's another localization on Z. Naively speaking, a subset of Q in which the denominator is not divisible by a prime.

Let p be a prime number. Now pZ is a prime ideal. Let [tex]S = Z - pZ[/tex] (i.e the integers with the ideal pZ removed). It is a multiplicative set.
Do localization as above, define an equivalence relation [tex]\equiv[/tex] by [tex](z_1, s_1) \equiv (z_2, s_2)[/tex] iff [tex]z_1 s_2 - s_1 z_2 = 0[/tex] for [tex]z_1, z_2 in Z[/tex], and [tex]s_1, s_2 in S = Z - pZ[/tex]. Define addition and multiplication as above.

The (quotient) ring obtained [tex]Z_{pZ} = (Z \times Z - pZ) / \equiv[/tex] is the "localization of Z at p".

Each element (a,b) in [tex]Z_{pZ}[/tex] corresponds to an element in Q (i.e in [tex](Z \times Z - {0}) / \equiv[/tex], but the prime p we chose doesn't divide b.




Actually localization allow us to consider rings that are not domains, but in order to do so we must modify the definition of the equivalent relation above by requiring the existence of an element [tex]s_3[/tex] in the multiplicative set S, so that instead of [tex]z_1 s_2 - s_1 z_2 = 0[/tex], it would be [tex]s_3 ( z_1 s_2 - s_1 z_2) = 0[/tex]. But addition and multiplication is defined as above! The canonical ring homomorphism defined earlier is no more injective, and we can't form a field of fraction(the case where we have a domain, and consider the multiplicative set to be that domain with zero removed, as we did for Q!) !

Still though, if you have a set A that is not a domain. You may consider the multiplicative set S which consists of all non-zero divisors of A. You may then (similar to arguments above) construct "the total ring of fractions".
 
Last edited:
  • #3
Thank you so much for the response. My next question is, must S be a subring of Z? Can one obtain all localizations of Z by localizing with all of its subrings?

Also, what form do these localizations take? I am assuming there is a general one.

For example, {(n/p^k) : n, k in Z, p prime} Is this a localization of Z?

Thanks
 
  • #4
must S be a subring of Z?
Not at all. If S is a subring, then S contains the additive identity 0, but then the localization will be the zero ring, in fact the localization [tex]S^{-1} Z = 0[/tex] if and only if [tex]0 \in S[/tex]. (This should be intuitive, recall that when Q was constructed, we required the denominator to never be zero, in other words the multiplicative set S shouldn't have zero)

For example, {(n/p^k) : n, k in Z, p prime} Is this a localization of Z?
Perhaps you meant k in N! Yeah, this is a localization of Z.
Actually, you may choose any p, you're not restricted to primes.
As noted earlier, if p^k is happens to be zero at some k, then you end up with the zero ring.
 
Last edited:
  • #5
I've seen the notation [itex]\mathbb{Z}\left[\frac{1}{3}\right][/itex] and it should have something to do with localization. What does the notation mean?
 
  • #6
in general, [tex]\mathbb{Z}[\frac{1}{3}][/tex] is the smallest sub-ring of [tex]\mathbb{Q}[/tex] which contains both [tex]\frac{1}{3}[/tex] and [tex]\mathbb{Z}[/tex].

From the viewpoint of localization, we consider [tex]\mathbb{Z}[/tex] as our domain. Choose 3 in [tex]\mathbb{Z}[/tex], and let the multiplicative set [tex]S = \{3^n | n \in \mathbb{N}\}[/tex] (Note: [tex]3^0=1[/tex] is included)
Define the equivalence relation and the operations as usual (see earlier post(s)).
Finally, one obtains the localization [tex]S^{-1}Z = \{\frac{a}{b} | a \in Z, b \in S\}[/tex].

This is pretty much the localization joecoz88 had in mind in the last post.
 
Last edited:

Related to Localization of Z: Understand What It Is

1. What is localization of Z?

Localization of Z is the process of understanding the meaning and function of the Z gene, also known as the Z allele. This gene is responsible for the production of a protein that is essential for proper immune function in humans.

2. How is localization of Z studied?

Localization of Z is studied through a combination of genetic and molecular biology techniques. This can include gene sequencing, gene expression analysis, and protein localization studies.

3. Why is understanding Z important?

Understanding Z is important because it has been linked to a variety of health conditions, including autoimmune disorders and certain types of cancer. By understanding the role of this gene, we can develop treatments and interventions to improve human health.

4. What are the current findings on localization of Z?

Recent studies have shown that the Z gene is highly expressed in tissues that are involved in immune response, such as the spleen and lymph nodes. It has also been found to play a role in the regulation of inflammatory pathways and immune cell development.

5. Are there any ethical considerations surrounding localization of Z research?

As with any scientific research, there are ethical considerations surrounding localization of Z research. This includes obtaining informed consent from study participants, protecting their privacy, and ensuring the responsible use of any findings for the benefit of humanity.

Similar threads

  • Linear and Abstract Algebra
Replies
9
Views
1K
  • Linear and Abstract Algebra
Replies
7
Views
2K
  • Linear and Abstract Algebra
Replies
4
Views
1K
  • Linear and Abstract Algebra
Replies
3
Views
614
  • Linear and Abstract Algebra
Replies
6
Views
860
  • Linear and Abstract Algebra
Replies
13
Views
1K
  • Linear and Abstract Algebra
Replies
1
Views
783
  • Linear and Abstract Algebra
Replies
1
Views
1K
  • Linear and Abstract Algebra
Replies
1
Views
1K
  • Linear and Abstract Algebra
Replies
11
Views
2K
Back
Top