A measure of integrity for local analytic algebras (Q1072685)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A measure of integrity for local analytic algebras |
scientific article |
Statements
A measure of integrity for local analytic algebras (English)
0 references
1985
0 references
The author is interested in three types of order for f in an analytic local ring \({\mathcal O}={\mathbb{C}}\{x_ 1,...,x_ n\}/I\) with maximal ideal \({\mathcal M}\). These orders are the algebraic order, \(\nu (f):=\sup \{p: f\in {\mathcal M}^ p\};\) the reduced order, \({\bar \nu}(f):=\lim_{k\to \infty} \nu (f^ k)/k;\) and the analytic order along a subanalytic set A, \(\mu_ A(f):=\sup \{p: | \tilde f(x)| \leq \alpha | x|^ p\) on \(U\cap A\) for some \(\alpha\), open set U, and representative \(\tilde f\}\). Certain inequalities are obvious; \({\bar \nu}(f) \geq \nu (f),\) \(\nu (fg) \geq \nu (f) + \nu (g),\) \(\nu (f\circ \Phi) > \nu (f)(\Phi: {\mathbb{C}}_ 0^ n\to {\mathbb{C}}^ m_ 0),\) and \(\mu_ A(f) \geq \nu (f).\) The author proves linear complementary inequalities in case I is prime. That is, if \({\mathcal O}\) is an integral domain, there are constants \(a_ 1,b_ 1,a_ 2,b_ 2,a_ 3\), and \(b_ 3\) so that \(\nu (fg) \leq a_ 1(\nu (f) + \nu (g)) + b_ 1,\) \(\mu_ A(f) \leq a_ 3\nu (f) + b_ 1,\) and \(\nu (f\circ \Phi) \leq a_ 2\nu (f) + b_ 2\) if the generic rank of \(\Phi\) is m.
0 references
analytic local ring
0 references
algebraic order
0 references
reduced order
0 references
analytic order along a subanalytic set
0 references
0 references