Namespaces
Variants
Actions

Difference between revisions of "S-integer"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (Automatically changed introduction)
m (latex done)
 
Line 6: Line 6:
 
Out of 59 formulas, 58 were replaced by TEX code.-->
 
Out of 59 formulas, 58 were replaced by TEX code.-->
  
{{TEX|semi-auto}}{{TEX|part}}
+
{{TEX|semi-auto}}{{TEX|done}}
 
As a simple example, let $S = \{ p _ { 1 } , \dots , p _ { n } \}$ be a finite set of rational prime numbers. The rational integers $a / b$, $a , b \in \mathbf{Z}$, relatively prime (cf. also [[Mutually-prime numbers|Mutually-prime numbers]]), such that the set of prime divisors of $b$ (possibly empty) is contained in $S$ are the so-called $S$-integers (corresponding to the specific set $S$). Clearly, this is a subring $R_S$ of $\mathbf{Q}$. Let $R _ { S } ^ { * }$ denote the group of units of $R_S$, i.e. the group of multiplicatively invertible elements of $R_S$ (the $S$-units). Clearly, these are $\pm$ and the rational numbers $x$ in the prime decomposition of which only prime numbers from the set $S$ appear.
 
As a simple example, let $S = \{ p _ { 1 } , \dots , p _ { n } \}$ be a finite set of rational prime numbers. The rational integers $a / b$, $a , b \in \mathbf{Z}$, relatively prime (cf. also [[Mutually-prime numbers|Mutually-prime numbers]]), such that the set of prime divisors of $b$ (possibly empty) is contained in $S$ are the so-called $S$-integers (corresponding to the specific set $S$). Clearly, this is a subring $R_S$ of $\mathbf{Q}$. Let $R _ { S } ^ { * }$ denote the group of units of $R_S$, i.e. the group of multiplicatively invertible elements of $R_S$ (the $S$-units). Clearly, these are $\pm$ and the rational numbers $x$ in the prime decomposition of which only prime numbers from the set $S$ appear.
  
These notions can be defined in a more sophisticated way, the advantage of which is that it can be generalized to the more general case of a [[Number field|number field]]. For this the notion of absolute value on a number field is needed. Unfortunately, there is no general agreement on the definition of this notion. Below, this  "absolute value"  is taken in the sense of a metric as in [[#References|[a1]]], Chap. 1, Sect. 4; Chap. 4, Sect. 4; equivalently, an absolute value is a function $\rho ^ { v(.) }$, where $\rho$ is a fixed, conveniently chosen positive real number $< 1$ and $v$ is a valuation, as defined and used in [[#References|[a2]]], Chap. 1, § 2; Chap. 3 § 1, (cf. also [[Valuation|Valuation]], which gives a slightly different definition).
+
These notions can be defined in a more sophisticated way, the advantage of which is that it can be generalized to the more general case of a [[Number field|number field]]. For this the notion of absolute value on a number field is needed. Unfortunately, there is no general agreement on the definition of this notion. Below, this  "absolute value"  is taken in the sense of a metric as in [[#References|[a1]]], Chap. 1, Sect. 4; Chap. 4, Sect. 4; equivalently, an absolute value is a function $\rho ^ { v(.) }$, where $\rho$ is a fixed, conveniently chosen positive real number $< 1$ and $v$ is a valuation, as defined and used in [[#References|[a2]]], Chap. 1, § 2; Chap. 3 § 1, (cf. also [[Valuation]], which gives a slightly different definition).
  
In the special case above, every rational prime number $p$ gives rise to a $p$-adic absolute value and all possible absolute values of $\mathbf{Q}$ are (up to topological equivalence) the $p$-adic ones (non-Archimedean), denoted by $|.|_p$, and the usual absolute value (Archimedean), denoted by $|.| _ { \infty }$. Let $M _ { \operatorname{Q} }$ denote the set of absolute values (more precisely, the set of equivalence classes of absolute values (i.e. places) of $\mathbf{Q}$; cf. also [[Place of a field|Place of a field]]). Thus, every element of this set is of the form $|.| v$, where $v$ is either a rational prime number or the symbol $\infty$. One now modifies the definition of the set $S$ above as the subset of $M _ { \operatorname{Q} }$ containing the absolute values (i.e. places) $|.| v$, where $v \in \{ p _ { 1 } , \dots , p _ { n } , \infty \}$. Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130010/s13001040.png"/> and $R _ { S } ^ { * } = \{ x \in \mathbf{Q} : | x | _ { v } = 1 , \forall | \cdot | _ { v } \notin S \}$.
+
In the special case above, every rational prime number $p$ gives rise to a $p$-adic absolute value and all possible absolute values of $\mathbf{Q}$ are (up to topological equivalence) the $p$-adic ones (non-Archimedean), denoted by $|.|_p$, and the usual absolute value (Archimedean), denoted by $|.| _ { \infty }$. Let $M _ { \operatorname{Q} }$ denote the set of absolute values (more precisely, the set of equivalence classes of absolute values (i.e. places) of $\mathbf{Q}$; cf. also [[Place of a field|Place of a field]]). Thus, every element of this set is of the form $|.| v$, where $v$ is either a rational prime number or the symbol $\infty$. One now modifies the definition of the set $S$ above as the subset of $M _ { \operatorname{Q} }$ containing the absolute values (i.e. places) $|.| v$, where $v \in \{ p _ { 1 } , \dots , p _ { n } , \infty \}$. Then $R_{S}  = \{ x \in \mathbf{Q} : | x | _ { v } \leq 1 , \forall | \cdot | _ { v } \notin S \}$ and $R_{S}^{*} = \{ x \in \mathbf{Q} : | x | _ { v } = 1 , \forall | \cdot | _ { v } \notin S \}$.
  
 
Consider now the more general situation, where a number field $K$ is taken in place of $\mathbf{Q}$ and its ring of integers $\mathcal{O} _ { K }$ is taken in place of $\bf Z$. Let $M _ { K }$ be the set of absolute values of $K$ (more precisely, the set of equivalence classes of absolute values, i.e. places, of $K$). These are divided into two categories, namely, the non-Archimedean ones, which are in one-to-one correspondence with the prime ideals (or, what is essentially the same, with the prime divisors) of $K$ and the Archimedean ones, which are in one-to-one correspondence with the isomorphic embeddings $K \hookrightarrow \bf C$ (complex-conjugate embeddings giving rise to the same absolute value). As before, let $S$ be a finite subset of $M _ { K }$ containing all Archimedean valuations of $K$. Then, the set $R_S$ of $S$-integers and the set $R _ { S } ^ { * }$ of $S$-units are defined exactly as in the case of rational numbers (see the definitions above), where now $\mathbf{Q}$ is replaced by $K$.
 
Consider now the more general situation, where a number field $K$ is taken in place of $\mathbf{Q}$ and its ring of integers $\mathcal{O} _ { K }$ is taken in place of $\bf Z$. Let $M _ { K }$ be the set of absolute values of $K$ (more precisely, the set of equivalence classes of absolute values, i.e. places, of $K$). These are divided into two categories, namely, the non-Archimedean ones, which are in one-to-one correspondence with the prime ideals (or, what is essentially the same, with the prime divisors) of $K$ and the Archimedean ones, which are in one-to-one correspondence with the isomorphic embeddings $K \hookrightarrow \bf C$ (complex-conjugate embeddings giving rise to the same absolute value). As before, let $S$ be a finite subset of $M _ { K }$ containing all Archimedean valuations of $K$. Then, the set $R_S$ of $S$-integers and the set $R _ { S } ^ { * }$ of $S$-units are defined exactly as in the case of rational numbers (see the definitions above), where now $\mathbf{Q}$ is replaced by $K$.
Line 18: Line 18:
  
 
====References====
 
====References====
<table><tr><td valign="top">[a1]</td> <td valign="top"> Z.I. Borevich,   I.R. Shafarevich,   "Number Theory" , Acad. Press  (1966)  (In Russian)</td></tr><tr><td valign="top">[a2]</td> <td valign="top"> W. Narkiewicz,   "Elementary and analytic theory of algebraic numbers" , PWN/Springer  (1990)</td></tr></table>
+
<table>
 +
<tr><td valign="top">[a1]</td> <td valign="top"> Z.I. Borevich, I.R. Shafarevich, "Number Theory" , Acad. Press  (1966)  (In Russian)</td></tr>
 +
<tr><td valign="top">[a2]</td> <td valign="top"> W. Narkiewicz, "Elementary and analytic theory of algebraic numbers" , PWN/Springer  (1990)</td></tr>
 +
</table>

Latest revision as of 13:28, 25 November 2023

As a simple example, let $S = \{ p _ { 1 } , \dots , p _ { n } \}$ be a finite set of rational prime numbers. The rational integers $a / b$, $a , b \in \mathbf{Z}$, relatively prime (cf. also Mutually-prime numbers), such that the set of prime divisors of $b$ (possibly empty) is contained in $S$ are the so-called $S$-integers (corresponding to the specific set $S$). Clearly, this is a subring $R_S$ of $\mathbf{Q}$. Let $R _ { S } ^ { * }$ denote the group of units of $R_S$, i.e. the group of multiplicatively invertible elements of $R_S$ (the $S$-units). Clearly, these are $\pm$ and the rational numbers $x$ in the prime decomposition of which only prime numbers from the set $S$ appear.

These notions can be defined in a more sophisticated way, the advantage of which is that it can be generalized to the more general case of a number field. For this the notion of absolute value on a number field is needed. Unfortunately, there is no general agreement on the definition of this notion. Below, this "absolute value" is taken in the sense of a metric as in [a1], Chap. 1, Sect. 4; Chap. 4, Sect. 4; equivalently, an absolute value is a function $\rho ^ { v(.) }$, where $\rho$ is a fixed, conveniently chosen positive real number $< 1$ and $v$ is a valuation, as defined and used in [a2], Chap. 1, § 2; Chap. 3 § 1, (cf. also Valuation, which gives a slightly different definition).

In the special case above, every rational prime number $p$ gives rise to a $p$-adic absolute value and all possible absolute values of $\mathbf{Q}$ are (up to topological equivalence) the $p$-adic ones (non-Archimedean), denoted by $|.|_p$, and the usual absolute value (Archimedean), denoted by $|.| _ { \infty }$. Let $M _ { \operatorname{Q} }$ denote the set of absolute values (more precisely, the set of equivalence classes of absolute values (i.e. places) of $\mathbf{Q}$; cf. also Place of a field). Thus, every element of this set is of the form $|.| v$, where $v$ is either a rational prime number or the symbol $\infty$. One now modifies the definition of the set $S$ above as the subset of $M _ { \operatorname{Q} }$ containing the absolute values (i.e. places) $|.| v$, where $v \in \{ p _ { 1 } , \dots , p _ { n } , \infty \}$. Then $R_{S} = \{ x \in \mathbf{Q} : | x | _ { v } \leq 1 , \forall | \cdot | _ { v } \notin S \}$ and $R_{S}^{*} = \{ x \in \mathbf{Q} : | x | _ { v } = 1 , \forall | \cdot | _ { v } \notin S \}$.

Consider now the more general situation, where a number field $K$ is taken in place of $\mathbf{Q}$ and its ring of integers $\mathcal{O} _ { K }$ is taken in place of $\bf Z$. Let $M _ { K }$ be the set of absolute values of $K$ (more precisely, the set of equivalence classes of absolute values, i.e. places, of $K$). These are divided into two categories, namely, the non-Archimedean ones, which are in one-to-one correspondence with the prime ideals (or, what is essentially the same, with the prime divisors) of $K$ and the Archimedean ones, which are in one-to-one correspondence with the isomorphic embeddings $K \hookrightarrow \bf C$ (complex-conjugate embeddings giving rise to the same absolute value). As before, let $S$ be a finite subset of $M _ { K }$ containing all Archimedean valuations of $K$. Then, the set $R_S$ of $S$-integers and the set $R _ { S } ^ { * }$ of $S$-units are defined exactly as in the case of rational numbers (see the definitions above), where now $\mathbf{Q}$ is replaced by $K$.

Many interesting problems concerning the solution of Diophantine equations are reduced to questions about $S$-integers of "particularly simple form" (e.g. linear forms in two unknown parameters), which are $S$-units, and then results are obtained by applying a variety of relevant results on $S$-integers and $S$-units.

References

[a1] Z.I. Borevich, I.R. Shafarevich, "Number Theory" , Acad. Press (1966) (In Russian)
[a2] W. Narkiewicz, "Elementary and analytic theory of algebraic numbers" , PWN/Springer (1990)
How to Cite This Entry:
S-integer. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=S-integer&oldid=54680
This article was adapted from an original article by N. Tzanakis (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article