A Galois correspondence for radical extensions of fields (Q1085210): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q1380061 |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: David K. Harrison / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0022-4049(86)90067-8 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1970042668 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hopf algebras and Galois theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5343374 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3232305 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The torsion group of a radical extension / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The lattice of subfields of a radical extension / rank | |||
Normal rank |
Latest revision as of 16:49, 17 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A Galois correspondence for radical extensions of fields |
scientific article |
Statements
A Galois correspondence for radical extensions of fields (English)
0 references
1986
0 references
Let \(K/k\) be a finite extension of fields. \(\mathrm{Cog}(K/k)\) is the torsion subgroup of \(\dot K/\dot k\). With this start the authors develop a theory (dual to the usual Galois theory) for radical extensions of fields generalizing the work of \textit{M. Acosta de Oroczo} and \textit{W. Y. Vélez} [J. Number Theory 15, 388--405 (1982; Zbl 0493.12027)]. From the introduction: ``We call \(K/k\) cogalois with cogalois group \(\mathrm{Cog}(K/k)\) if: (1) (Conormality) card(Cog(K/k)) is finite and at most \([K: k]\); (2) (Coseparability) \(K = K_H\) with \(H = \mathrm{Cog}(K/k)\). In the first section, we prove: -- If \(K/k\) is cogalois and \(E\) is a field between \(K\) and \(k\), then \(K/E\) and \(E/k\) are cogalois. -- The maps \(\mathrm{Cog}(-/k)\) and \(K_{(-)}\) are inverse bijections between the lattices of intermediate fields of \(K/k\), and of subgroups of \(\mathrm{Cog}(K/k)\), respectively. - There are many examples; e.g. \(\mathbb Q \left(\root{n_1}\of {a_1}, \ldots, \root{n_t}\of {a_t}\right)\subset \mathbb R\) \((a_i > 0)\) is cogalois over \(\mathbb Q\). In the second section we study the connection between \(G = \Aut(K/k)\) and \(H= \mathrm{Cog}(K/k)\) in case \(K/k\) is both cogalois and galois. A somewhat surprising duality for a special class of nonabelian groups emerges, and we slightly enlarge the class of extensions where we can exhibit all intermediate fields. In an appendix we prove that \(\mathrm{Cog}(K/k)\) is always finite if \(K\) and \(k\) are algebraic number fields.''
0 references
finite field extension
0 references
Cogalois theory
0 references
radical extensions
0 references