Galois Theory and Its Algebraic Background最新文献

{"title":"The Discriminant","authors":"","doi":"10.1017/9781108979184.013","DOIUrl":"https://doi.org/10.1017/9781108979184.013","url":null,"abstract":"","PeriodicalId":307448,"journal":{"name":"Galois Theory and Its Algebraic Background","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130352471","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Regular Polygons","authors":"","doi":"10.1017/9781108979184.016","DOIUrl":"https://doi.org/10.1017/9781108979184.016","url":null,"abstract":"","PeriodicalId":307448,"journal":{"name":"Galois Theory and Its Algebraic Background","volume":"177 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127004738","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Separability","authors":"","doi":"10.1017/9781108979184.011","DOIUrl":"https://doi.org/10.1017/9781108979184.011","url":null,"abstract":"","PeriodicalId":307448,"journal":{"name":"Galois Theory and Its Algebraic Background","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115593894","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Vector Spaces and Determinants","authors":"","doi":"10.1017/9781108979184.005","DOIUrl":"https://doi.org/10.1017/9781108979184.005","url":null,"abstract":"","PeriodicalId":307448,"journal":{"name":"Galois Theory and Its Algebraic Background","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126348423","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Transcendental Elements and Algebraic Independence","authors":"","doi":"10.1017/9781108979184.022","DOIUrl":"https://doi.org/10.1017/9781108979184.022","url":null,"abstract":"","PeriodicalId":307448,"journal":{"name":"Galois Theory and Its Algebraic Background","volume":"165 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122503848","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Polynomials of Low Degree","authors":"","doi":"10.1017/9781108979184.017","DOIUrl":"https://doi.org/10.1017/9781108979184.017","url":null,"abstract":"","PeriodicalId":307448,"journal":{"name":"Galois Theory and Its Algebraic Background","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124893688","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Appendix: The Axiom of Choice","authors":"A. Blass","doi":"10.1017/9781108979184.024","DOIUrl":"https://doi.org/10.1017/9781108979184.024","url":null,"abstract":"We propose that failures of the axiom of choice, that is, surjective functions admitting no sections, can be reasonably classified by means of invariants borrowed from algebraic topology. We show that cohomology, when defined so that its usual exactness properties hold even in the absence of the axiom of choice, is adequate for detecting failures of this axiom in the following sense. If a set X, viewed as a discrete space, has trivial first cohomology for all coefficient groups, then every J-indexed family of nonempty sets has a choice function. We also obtain related results when the coefficient groups are required to be abelian or well-orderable. In particular, we show that, if all discrete spaces have trivial first cohomology for all abelian coefficient groups, then the axiom of choice holds. Introduction. The axiom of choice, in one of its many equivalent forms, asserts that, for any surjective function p, from a set Y onto a set X, there exists a section, i.e., a map s: X -» Y with/) ° s = idx. A formally similar concept, the existence (or, more often, nonexistence) of continuous sections for continuous surjections, is one of the central concerns of algebraic topology, and topologists have created an impressive arsenal of sophisticated tools for analyzing it. It therefore seems reasonable to try to use these tools to describe the ways in which the axiom of choice can fail. The sets and functions that are relevant to the axiom of choice can be viewed as topological spaces and continuous functions, and thus brought formally within the domain of algebraic topology, by simply giving all of the sets the discrete topology. An obvious difficulty with this project is that the homotopy, homology, and cohomology groups of discrete spaces all vanish, under the usual definitions, in all positive dimensions, whether or not the axiom of choice holds. One can circumvent this difficulty by using more exotic invariants, such as A-theory, but we shall adopt a more radical approach. We shall argue, in §1, that the usual definitions of cohomology are appropriate only in the presence of the axiom of choice; in its absence they fail to satisfy some simple exactness conditions. We therefore propose to adopt a definition of cohomology due to Giraud [3] which has the expected exactness properties even if the axiom of choice is false. With this definition, or indeed with any definition having a certain (rather tiny) amount of exactness, we can at least make a start on the project of using cohomology to describe failures of the axiom of Received by the editors October 7, 1981 and, in revised form, September 15, 1982. 1980 Mathematics Subject Classification. Primary 03E25, 55N99.","PeriodicalId":307448,"journal":{"name":"Galois Theory and Its Algebraic Background","volume":"30 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122985521","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"The Fundamental Theorem of Galois Theory","authors":"P. Cassidy","doi":"10.1017/9781108979184.012","DOIUrl":"https://doi.org/10.1017/9781108979184.012","url":null,"abstract":"(i) The function : intermediate fields of E=k ! subgroups of Gal(E=k); defined by : F 7! Gal(E=F ), is an order-reversing bijection with inverse Æ : subgroups of Gal(E=k) ! intermediate fields of (E=k); given by Æ : H 7! E . (ii) For every intermediate fieldE=B=k,E = B. For every subgroup H Gal(E=k), Gal(E=E) = H . (iii) For any two subgroups H;K Gal(E=k), E = E E (where hH;Ki means the subgroup generated by H;K) and E = hE ; Ei (where hE ; Ei means the subfield generated by E ; E , called the compositum). For any two intermediate fields B and C of E=k, Gal(E=hB;Ci) = Gal(E=B)Gal(E=C) and Gal(E=(BC)) = hGal(E=B);Gal(E=C)i: (iv) For every intermediate field B between k and E, [B : k] = [G : Gal(E=B)]. (The left is the degree of a field extension, and the right is an index of a subgroup!) For every subgroup H of Gal(E=k), [G : H] = [E : k]. (v) If B is an intermediate field, then B=k is Galois iff Gal(E=B) is a normal subgroup of Gal(E=k). In this case, Gal(B=k) = Gal(E=k)=Gal(E=B).","PeriodicalId":307448,"journal":{"name":"Galois Theory and Its Algebraic Background","volume":"212 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124178944","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Splitting Fields","authors":"Brian Osserman","doi":"10.1017/9781108979184.009","DOIUrl":"https://doi.org/10.1017/9781108979184.009","url":null,"abstract":"We begin with a bit of material from §15.6 of Artin, but then give a discussion of splitting fields which largely follows the presentation in Herstein’s Topics in Algebra. So far when we have discussed adjoining elements to fields, we have mostly worked within a fixed larger field such as the complex numbers. However, we can of course systematically use our formal method of adjoining roots to a ring in order to adjoin roots which do not live in some given larger field. This is important because although we have the complex numbers as a field containing roots of every polynomial over Q, we do not have anything analogous for fields such as F17 or C(t). Definition. Given a field F , suppose that f(x) ∈ F [x] is irreducible. Then to (formally) adjoin a root α of f(x) to F , we set F (α) := F [x]/((f(x)), and let α be the image of x.","PeriodicalId":307448,"journal":{"name":"Galois Theory and Its Algebraic Background","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128656291","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Quintic Polynomials","authors":"","doi":"10.1017/9781108979184.019","DOIUrl":"https://doi.org/10.1017/9781108979184.019","url":null,"abstract":"","PeriodicalId":307448,"journal":{"name":"Galois Theory and Its Algebraic Background","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116924118","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}