Finding generic points
| dc.contributor.advisor | Kaiser, Klaus H. | |
| dc.contributor.committeeMember | Lloyd, Justin T. | |
| dc.contributor.committeeMember | Peters, B. Charles | |
| dc.contributor.committeeMember | Stepp, James W. | |
| dc.contributor.committeeMember | Garson, James W. | |
| dc.creator | Insall, Eugene M. | |
| dc.date.accessioned | 2024-01-05T20:33:05Z | |
| dc.date.available | 2024-01-05T20:33:05Z | |
| dc.date.copyright | 1991-07-01 | |
| dc.date.issued | 1987 | |
| dc.description.abstract | Generic points are classically used in algebraic geometry to, among other things, prove Hilbert's Nullstellensatz. With his development of Nonstandard Analysis, Abraham Robinson used the concept of a generic point to provide a rather simple proof of Ruckert's Nullstellensatz. His proof is recounted here in detail, with various clarifications, and then similar results about other "generic points" are explored, by applying nonstandard methods to Algebra. In the first two chapters, fundamental notions in Model Theory are presented along with basic model theoretic results about fields. These results are used in chapter three to prove the strong form of Hilbert's Nullstellensatz, and the language of Model Theory is later used to formulate the basic notions and results in Non standard Analysis. In chapter four, Ruckert's Nullstellensatz is presented without proof, and in chapter five the basic notions of Nonstandard Analysis are presented; Superstructures, the Transfer Principle, the Concurrency Principle and Enlargements. Chapter 6, entitled "Concurrency and Fields," develops the notion of a specific type of generic point, namely a hyperalgebraic primitive element for field extensions. This concept generalizes the classical notion of a primitive element in Field Theory, and here Nonstandard Algebra is first studied- The Concurrency Principle is used to find a single element ce*E for which E[less than or equal to]*F(c), whenever E is an algebraic extension over F. The seventh chapter presents A. Robinson's nonstandard proof of Ruckert's Nullstellensatz, along with certain notions of Nonstandard Analysis which are useful in this proof. The proof rests on finding a generic point for an ideal. This approach is futile in a classical setting, since the standard version of the theorem involves set and function germs, not real sets of points or functions. Chapter 8 explores more applications of the Concurrency Principle from Non standard Analysis. In particular, it sharpens the results of chapter 6 when applied to the algebraic closure of the rationals in the complex numbers- A hyperalgebraic primitive element is found in the monad of any nonstandard rational number. | |
| dc.description.department | Mathematics, Department of | |
| dc.format.digitalOrigin | reformatted digital | |
| dc.format.mimetype | application/pdf | |
| dc.identifier.other | 18575656 | |
| dc.identifier.uri | https://hdl.handle.net/10657/15801 | |
| dc.language.iso | en | |
| dc.rights | This item is protected by copyright but is made available here under a claim of fair use (17 U.S.C. Section 107) for non-profit research and educational purposes. Users of this work assume the responsibility for determining copyright status prior to reusing, publishing, or reproducing this item for purposes other than what is allowed by fair use or other copyright exemptions. Any reuse of this item in excess of fair use or other copyright exemptions requires express permission of the copyright holder. | |
| dc.subject | Geometry, Algebraic | |
| dc.subject | Nonstandard mathematical analysis | |
| dc.title | Finding generic points | |
| dc.type.dcmi | Text | |
| dc.type.genre | Thesis | |
| dcterms.accessRights | The full text of this item is not available at this time because it contains documents that are presumed to be under copyright and are accessible only to users who have an active CougarNet ID. This item will continue to be made available through interlibrary loan. | |
| thesis.degree.college | College of Natural Sciences and Mathematics | |
| thesis.degree.department | Mathematics, Department of | |
| thesis.degree.discipline | Mathematics | |
| thesis.degree.grantor | University of Houston | |
| thesis.degree.level | Masters | |
| thesis.degree.name | Master of Science |
Files
Original bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- Insall_1987_18575656.pdf
- Size:
- 1.65 MB
- Format:
- Adobe Portable Document Format