{"id":{"repo_id":"vt","oai_identifier":"oai:vtechworks.lib.vt.edu:10919/37802"},"canonical_url":"https://search.dev.ndltd.org/etd/vt/oai:vtechworks.lib.vt.edu:10919/37802","repository":{"repo_id":"vt","name":"Virginia Tech","base_url":"https://vtechworks.lib.vt.edu/oai/request"},"display":{"title":"Transcendence degree in power series rings","abstract":"Let D[[X]] be the ring of formal power series over the commutative integral domain D. Gilmer has shown that if K is the quotient field of D, then D[[X]] and K[[X]] have the same quotient field if and only if K[[X]] ~ D[[X]]D_(O). Further, if a is any nonzero element of D, Sheldon has shown that either D[l/a][[X]] and D[[X]] have the same quotient field, or the quotient field of D[l/a][[X]] has infinite transcendence degree over the quotient field of D[[X]]. In this paper, the relationship between D[[X]] and J[[X]] is investigated for an arbitrary overring J of D. If D is integrally closed, it is shown that either J[[X]] and D[[X]] have the same quotient field, or the quotient field of J[[X]] has infinite transcendence degree over the quotient field of D[[X]]. It is shown further, that D is completely integrally closed if and only if the quotient field of J[[X]] has infinite transcendence degree over the quotient field of D[[X]] for each proper overring J of D. Several related results are given; for example, if D is Noetherian, and if J is a finite ring extension of D, then either J[[X]] and D[[X]] have the same quotient field or the quotient field of J[[X]] has infinite transcendence degree over the quotient field of D[[X]]. An example is given to show that if D is not integrally closed, J[[X]] may be algebraic over D[[X]] while J[[X]] and ~[[X]] have dif~erent quotient fields.","abstract_html":"Let D[[X]] be the ring of formal power series over the commutative integral domain D. Gilmer has shown that if K is the quotient field of D, then D[[X]] and K[[X]] have the same quotient field if and only if K[[X]] ~ D[[X]]D_(O). Further, if a is any nonzero element of D, Sheldon has shown that either D[l/a][[X]] and D[[X]] have the same quotient field, or the quotient field of D[l/a][[X]] has infinite transcendence degree over the quotient field of D[[X]]. In this paper, the relationship between D[[X]] and J[[X]] is investigated for an arbitrary overring J of D. If D is integrally closed, it is shown that either J[[X]] and D[[X]] have the same quotient field, or the quotient field of J[[X]] has infinite transcendence degree over the quotient field of D[[X]]. It is shown further, that D is completely integrally closed if and only if the quotient field of J[[X]] has infinite transcendence degree over the quotient field of D[[X]] for each proper overring J of D. Several related results are given; for example, if D is Noetherian, and if J is a finite ring extension of D, then either J[[X]] and D[[X]] have the same quotient field or the quotient field of J[[X]] has infinite transcendence degree over the quotient field of D[[X]]. An example is given to show that if D is not integrally closed, J[[X]] may be algebraic over D[[X]] while J[[X]] and ~[[X]] have dif~erent quotient fields.","abstract_has_math":false,"creators":["Boyd, David Watts"],"institution":"Virginia Tech","degree_name":"Ph. D.","degree_level":"doctoral","degree_discipline":"Mathematics","degree_department":"Mathematics","school":null,"contributors":[],"advisors":[],"committee_chairs":["Arnold, Jimmy T."],"committee_members":["Crofts, G. W.","Feustel, C. D.","McCoy, Robert A.","Sheldon, P. B."],"year":1975,"date_issued":"1975-05-09","date_published":"1975-05-09","updated_at":"2026-07-22T22:19:10Z","subjects":[],"languages":["en"],"rights":["In Copyright"],"rights_urls":["http://rightsstatements.org/vocab/InC/1.0/"],"identifier_entries":[{"key":"dc:identifier.other","label":"Dc Identifier Other","values":["etd-05132010-132826"],"render_values":[{"text":"etd-05132010-132826","href":null,"code":true}]}]},"links":{"outbound_url":"http://hdl.handle.net/10919/37802","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.committeechair","label":"Committee Chair","values":["Arnold, Jimmy T."]},{"key":"dc:contributor.committeemember","label":"Committee Member","values":["Crofts, G. W.","Feustel, C. D.","McCoy, Robert A.","Sheldon, P. B."]},{"key":"dc:contributor.department","label":"Department","values":["Mathematics"]},{"key":"dc:creator","label":"Author","values":["Boyd, David Watts"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2014-03-14T21:11:03Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2014-03-14T21:11:03Z","2010-05-13"]},{"key":"dc:date.issued","label":"Date","values":["1975-05-09"]},{"key":"dc:publisher","label":"Institution","values":["Virginia Tech"]},{"key":"dc:type","label":"Dc Type","values":["Dissertation"]},{"key":"dc:type.dcmitype","label":"Dc Type Dcmitype","values":["Text"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Mathematics"]},{"key":"thesis:degree_level","label":"Degree Level","values":["doctoral"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Ph. D."]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["Virginia Polytechnic Institute and State University"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["en"]},{"key":"dc:rights","label":"Dc Rights","values":["In Copyright"]},{"key":"dc:rights.uri","label":"Rights URI","values":["http://rightsstatements.org/vocab/InC/1.0/"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.other","label":"Dc Identifier Other","values":["etd-05132010-132826"]},{"key":"dc:identifier.uri","label":"Identifier URI","values":["http://hdl.handle.net/10919/37802"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["Let D[[X]] be the ring of formal power series over the commutative integral domain D. Gilmer has shown that if K is the quotient field of D, then D[[X]] and K[[X]] have the same quotient field if and only if K[[X]] ~ D[[X]]D_(O). Further, if a is any nonzero element of D, Sheldon has shown that either D[l/a][[X]] and D[[X]] have the same quotient field, or the quotient field of D[l/a][[X]] has infinite transcendence degree over the quotient field of D[[X]]. In this paper, the relationship between D[[X]] and J[[X]] is investigated for an arbitrary overring J of D. If D is integrally closed, it is shown that either J[[X]] and D[[X]] have the same quotient field, or the quotient field of J[[X]] has infinite transcendence degree over the quotient field of D[[X]]. It is shown further, that D is completely integrally closed if and only if the quotient field of J[[X]] has infinite transcendence degree over the quotient field of D[[X]] for each proper overring J of D. Several related results are given; for example, if D is Noetherian, and if J is a finite ring extension of D, then either J[[X]] and D[[X]] have the same quotient field or the quotient field of J[[X]] has infinite transcendence degree over the quotient field of D[[X]]. An example is given to show that if D is not integrally closed, J[[X]] may be algebraic over D[[X]] while J[[X]] and ~[[X]] have dif~erent quotient fields."]},{"key":"dc:description.degree","label":"Dc Description Degree","values":["Ph. D."]},{"key":"dc:format.medium","label":"Dc Format Medium","values":["BTD"]},{"key":"dc:format.mimetype","label":"Dc Format Mimetype","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["Transcendence degree in power series rings"]}]}],"canonical_facts":{"dc:contributor.committeechair":["Arnold, Jimmy T."],"dc:contributor.committeemember":["Crofts, G. W.","Feustel, C. D.","McCoy, Robert A.","Sheldon, P. B."],"dc:contributor.department":["Mathematics"],"dc:creator":["Boyd, David Watts"],"dc:date.accessioned":["2014-03-14T21:11:03Z"],"dc:date.available":["2014-03-14T21:11:03Z","2010-05-13"],"dc:date.issued":["1975-05-09"],"dc:description.abstract":["Let D[[X]] be the ring of formal power series over the commutative integral domain D. Gilmer has shown that if K is the quotient field of D, then D[[X]] and K[[X]] have the same quotient field if and only if K[[X]] ~ D[[X]]D_(O). Further, if a is any nonzero element of D, Sheldon has shown that either D[l/a][[X]] and D[[X]] have the same quotient field, or the quotient field of D[l/a][[X]] has infinite transcendence degree over the quotient field of D[[X]]. In this paper, the relationship between D[[X]] and J[[X]] is investigated for an arbitrary overring J of D. If D is integrally closed, it is shown that either J[[X]] and D[[X]] have the same quotient field, or the quotient field of J[[X]] has infinite transcendence degree over the quotient field of D[[X]]. It is shown further, that D is completely integrally closed if and only if the quotient field of J[[X]] has infinite transcendence degree over the quotient field of D[[X]] for each proper overring J of D. Several related results are given; for example, if D is Noetherian, and if J is a finite ring extension of D, then either J[[X]] and D[[X]] have the same quotient field or the quotient field of J[[X]] has infinite transcendence degree over the quotient field of D[[X]]. An example is given to show that if D is not integrally closed, J[[X]] may be algebraic over D[[X]] while J[[X]] and ~[[X]] have dif~erent quotient fields."],"dc:description.degree":["Ph. D."],"dc:format.medium":["BTD"],"dc:format.mimetype":["application/pdf"],"dc:identifier.other":["etd-05132010-132826"],"dc:identifier.uri":["http://hdl.handle.net/10919/37802"],"dc:language.iso":["en"],"dc:publisher":["Virginia Tech"],"dc:rights":["In Copyright"],"dc:rights.uri":["http://rightsstatements.org/vocab/InC/1.0/"],"dc:title":["Transcendence degree in power series rings"],"dc:type":["Dissertation"],"dc:type.dcmitype":["Text"],"thesis:degree_discipline":["Mathematics"],"thesis:degree_level":["doctoral"],"thesis:degree_name":["Ph. D."],"thesis:institution_name":["Virginia Polytechnic Institute and State University"]},"updated_at":"2026-07-22T22:19:10Z"}