On some regularity condition (Q6155551)
From MaRDI portal
scientific article; zbMATH DE number 7692656
Language | Label | Description | Also known as |
---|---|---|---|
English | On some regularity condition |
scientific article; zbMATH DE number 7692656 |
Statements
On some regularity condition (English)
0 references
5 June 2023
0 references
If \(K\) is a field, a function \( f: K^n \rightarrow K\) is regular at \(a\) in \(K^n\) if there are polynomials \(G\) and \(H\) in \(K[x_1, \dots, x_n]\) and an open neighborhood \(U\) of \( a\) in \(K^n\) such that \( H(x) \not=0\) and \( f(x) = G(x)/H(x)\) for every \(x \in U\). \( f \) is termed regular if it is regular at every point in \(K^n\). For \(n \geq 2\), \( K\) an uncountable field of characteristic zero, and \(f: K^n\rightarrow K\), the author shows \(f\) is regular if for every affine plane \( L\subset K^n\) the restriction of \( f \) to \( L\) is regular. An example shows \(f\) need not be regular if \( K\) is assumed to be an infinite countable field. Another example shows ``affine planes'' cannot be replaced by ``affine lines'' in the theorem.
0 references
regular function
0 references
rational representation
0 references
Bertini's theorem
0 references
Hensel's lemma
0 references