|
|
|
Viewing Version
12
of
'Krull valuation'
|
[ view 'Krull valuation'
|
back to history
]
| Title of object: |
Krull valuation |
| Canonical Name: |
KrullValuation |
| Type: |
Definition |
| Created on: |
2004-12-27 14:20:41 |
| Modified on: |
2007-02-22 11:10:10 |
| Classification: |
msc:11R99, msc:12J20, msc:13A18, msc:13F30 |
| Defines: |
value group, rank of Krull valuation, rank of valuation |
Revision comment (for changes between this and next version):
Preamble:
% this is the default PlanetMath preamble. as your knowledge
% of TeX increases, you will probably want to edit this, but
% it should be fine as is for beginners.
% almost certainly you want these
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
% used for TeXing text within eps files
%\usepackage{psfrag}
% need this for including graphics (\includegraphics)
%\usepackage{graphicx}
% for neatly defining theorems and propositions
\usepackage{amsthm}
% making logically defined graphics
%\usepackage{xypic}
% there are many more packages, add them here as you need them
% define commands here |
Content:
\textbf{Definition.} \,The mapping\, $|\cdot|: \,K\to G$,\, where $K$ is a field and $G$ an ordered group equipped with zero, is a {\em Krull valuation} of $K$, if it has the properties
\begin{enumerate}
\item $|x| = 0 \,\,\Leftrightarrow\,\, x = 0$;
\item $|xy| = |x|\cdot|y|$;
\item $|x+y| \leqq \max\{|x|,\,|y|\}$.
\end{enumerate}
Thus the Krull valuation is more general than the usual \PMlinkname{valuation}{Valuation}, which is also characterized as \PMlinkescapetext{{\em valuation of rank 1}} and which has real values.\, The image\, $|K\smallsetminus\{0\}|$\, is called the {\em value group} of the Krull valuation; it is abelian.\, In general, the {\em rank of Krull valuation} \PMlinkescapetext{means} the \PMlinkname{rank}{IsolatedSubgroup} of the value group.
We may say that a Krull valuation is \PMlinkname{non-archimedean}{Valuation}.
\subsection*{Some values}
\begin{itemize}
\item $|1| = 1$\,\, because the Krull valuation is a group homomorphism from the multiplicative group of $K$ to the ordered group.
\item $|-1| = 1$\,\, because\, $1 = |(-1)^2| = |-1|^2$\,\, and 1 is the only element of the ordered group being its own inverse ($S\cap S^{-1} = \varnothing$).
\item $|-x| = |(-1)x| = |-1|\cdot|x| = |x|$
\end{itemize}
\begin{thebibliography}{9}
\bibitem{Artin} {\sc Emil Artin}: {\em Theory of Algebraic Numbers}.\, Lecture notes.\, Mathematisches Institut, G\"ottingen (1959).
\end{thebibliography} |
|
|
|
|
|
