A note on $p$-bases of rings
HTML articles powered by AMS MathViewer
- by Tomoaki Ono PDF
- Proc. Amer. Math. Soc. 128 (2000), 353-360 Request permission
Abstract:
Let $R\supseteq R’\supseteq R^p$ be a tower of rings of characteristic $p>0$. Suppose that $R$ is a finitely presented $R’$-module. We give necessary and sufficient conditions for the existence of $p$-bases of $R$ over $R’$. Next, let $A$ be a polynomial ring $k[X_1,\dots ,X_n]$ where $k$ is a perfect field of characteristic $p>0$, and let $B$ be a regular noetherian subring of $A$ containing $A^p$ such that $[Q(B) : Q(A^p)]=p$. Suppose that $Der_{A^p}(B)$ is a free $B$-module. Then, applying the above result to a tower $B\supseteq A^p\supseteq B^p$ of rings, we shall show that a polynomial of minimal degree in $B-A^p$ is a $p$-basis of $B$ over $A^p$.References
- Tetsuzo Kimura and Hiroshi Niitsuma, On Kunz’s conjecture, J. Math. Soc. Japan 34 (1982), no. 2, 371–378. MR 651278, DOI 10.2969/jmsj/03420371
- Tetsuzo Kimura and Hiroshi Niitsuma, A note on $p$-basis of a polynomial ring in two variables, SUT J. Math. 25 (1989), no. 1, 33–38. MR 1049600
- Ernst Kunz, Kähler differentials, Advanced Lectures in Mathematics, Friedr. Vieweg & Sohn, Braunschweig, 1986. MR 864975, DOI 10.1007/978-3-663-14074-0
- Hideyuki Matsumura, Commutative ring theory, Cambridge Studies in Advanced Mathematics, vol. 8, Cambridge University Press, Cambridge, 1986. Translated from the Japanese by M. Reid. MR 879273
- Daniel Quillen, Projective modules over polynomial rings, Invent. Math. 36 (1976), 167–171. MR 427303, DOI 10.1007/BF01390008
- Shuen Yuan, Inseparable Galois theory of exponent one, Trans. Amer. Math. Soc. 149 (1970), 163–170. MR 257063, DOI 10.1090/S0002-9947-1970-0257063-1
Additional Information
- Tomoaki Ono
- Affiliation: Tokyo Metropolitan College of Aeronautical Engineering 8-52-1, Minami-senju, Arakawa-ku, Tokyo 116-0003, Japan
- Email: tono@kouku-k.ac.jp
- Received by editor(s): January 19, 1998
- Received by editor(s) in revised form: April 1, 1998
- Published electronically: July 6, 1999
- Communicated by: Wolmer V. Vasconcelos
- © Copyright 1999 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 128 (2000), 353-360
- MSC (1991): Primary 13N05; Secondary 13B05
- DOI: https://doi.org/10.1090/S0002-9939-99-05029-7
- MathSciNet review: 1623048