Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
|
   
Mobile Device Pairing
Proceedings of the American Mathematical Society
Proceedings of the American Mathematical Society
ISSN 1088-6826(e) ISSN 0002-9939(p)

     

Homomorphism of quasianalytic local rings

Author(s): Abdelhafed Elkhadiri
Journal: Proc. Amer. Math. Soc. 138 (2010), 1433-1438.
MSC (2010): Primary 26E10, 32B05; Secondary 58C10
Posted: December 8, 2009
MathSciNet review: 2578536
Retrieve article in: PDF

Abstract | References | Similar articles | Additional information

Abstract: Let $ \mathcal{C}_n$ be a local quasi-analytic subring of the ring of germs of $ C^\infty$ functions on $ \mathbb{R}^n$, and let $ \mathcal{C}=\{ \mathcal{C}_n , n\in\mathbb{N}\}$. We suppose that $ \mathcal{C}$ is closed under composition. Consider a map $ \varphi : (\mathbb{R}^n, 0)\rightarrow (\mathbb{R}^k, 0)$ vanishing at zero, where $ \varphi$ is a $ k$-tuple $ (\varphi_1,\ldots,\varphi_k)$ and $ \varphi_1,\ldots,\varphi_k$ are in $ \mathcal{C}_n$. Then $ \varphi$ defines uniquely a map $ \phi: \mathcal{C}_k \rightarrow \mathcal{C}_n$ by composition, and $ \phi$ induces a morphism $ \hat{\phi}: \hat{\mathcal{C}_k }\rightarrow \hat{\mathcal{C}_n}$ between completions. We let $ \phi_* : \frac{\hat{\mathcal{C}_k} }{\mathcal{C}_k }\rightarrow\frac{\hat{\mathcal{C}_n }}{\mathcal{C}_n }$ be the homomorphism of groups induced by $ \phi$ and $ \hat{\phi}$ in the obvious manner. In the analytic case, i.e. when each $ \mathcal{C}_n$ is the ring of germs of real analytic functions, M. Eakin and A. Harris give a condition under which $ \phi_*$ is injective. In this paper we prove that the same statement does not hold for a quasianalytic system unless this system is analytic.


References:

1.
S.S. Abhyankar and M. van der Put. Homomorphisms of analytic local rings. J. Reine Angew. Math. 242 (1970), 26-60. MR 0260729 (41:5353)

2.
P.M. Eakin and G.A. Harris. When $ F(f)$ convergent implies $ f$ is convergent. Math. Ann. 229 (1977), 201-210. MR 0444651 (56:3001)

3.
C.L. Childress. Weierstrass division in quasianalytic local rings. Canad. J. Math. 28 (5) (1975), 938-953. MR 0417441 (54:5491)

4.
A. Elkhadiri and H. Sfouli. Weierstrass division theorem in quasianalytic local rings. Studia Mathematica 185 (1) (2008), 83-86. MR 2380000

5.
H. Komatsu. The implicit function theorem of ultradifferentiable mappings. Proc. Japan Acad. Ser. A Math. Sci. 55 (1979), 69-72. MR 531445 (80e:58007)

6.
L. van den Dries. Tame topology and o-minimal structures. London Mathematical Society Lecture Note Series, 248. Cambridge University Press, Cambridge, 1998. MR 1633348 (99j:03001)

7.
C. Miller. Infinite differentiability in polynomially bounded o-minimal structures. Proc. Amer. Math. Soc. 123 (1995), 2551-2555. MR 1257118 (95j:03069)

8.
W. Rudin. Real and complex analysis. McGraw-Hill, New York, 1966. MR 0210528 (35:1420)


Similar Articles:

Retrieve articles in Proceedings of the American Mathematical Society with MSC (2010): 26E10, 32B05, 58C10

Retrieve articles in all Journals with MSC (2010): 26E10, 32B05, 58C10


Additional Information:

Abdelhafed Elkhadiri
Affiliation: Department of Mathematics, Faculty of Sciences, University Ibn Tofail, BP 133 Kénitra, Morocco
Email: kabdelhafed@hotmail.com

DOI: 10.1090/S0002-9939-09-10176-4
PII: S 0002-9939(09)10176-4
Keywords: Weierstrass division theorem, quasianalytic local rings
Received by editor(s): May 19, 2008,
Received by editor(s) in revised form: August 23, 2009, and August 25, 2009
Posted: December 8, 2009
Additional Notes: This work was partially supported by PARS MI 33
Communicated by: Ted Chinburg
Copyright of article: Copyright 2009, American Mathematical Society
The copyright for this article reverts to public domain after 28 years from publication.




AMS and Social Media LinkedIn Facebook Podcasts Twitter YouTube RSS Feeds Blogs Wikipedia