The embedding problem over a Hilbertian PAC-field (Q1197340): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Created claim: Wikidata QID (P12): Q59664830, #quickstatements; #temporary_batch_1722426648791 |
||
(2 intermediate revisions by 2 users not shown) | |||
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.2307/2946573 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1978839186 / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q59664830 / rank | |||
Normal rank |
Latest revision as of 13:52, 31 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The embedding problem over a Hilbertian PAC-field |
scientific article |
Statements
The embedding problem over a Hilbertian PAC-field (English)
0 references
16 January 1993
0 references
A field \(P\) is called pseudo-algebraically closed (a PAC-field) if every absolutely irreducible variety defined over \(P\) has a \(P\)-rational point. The algebraic closure of a field \(P\) is denoted by \(\overline{P}\), the absolute Galois group \(G(\overline{P}/P)\) of \(P\) by \(G_ P\). One says that all finite embedding problems over \(P\) are solvable if, for every surjection \(h: E\to C\), of finite groups and for every surjection \(\lambda: G_ P\to C\) there exists a surjection \(\varepsilon: G_ P\to E\) with \(h\circ \varepsilon=\lambda\). It is proved that every finite embedding problem over a Hilbertian PAC- field \(P\) is solvable. For countable fields this implies that the absolute Galois group of \(P\) is \(\omega\)-free that is \(G(\overline{P}/P)\) is a free profinite group of countably infinite rank. It is shown that a PAC-field \(P\) of characteristic 0 is Hilbertian if and only if all finite embedding problems over \(P\) are solvable. A field \(P\) is said to be regular Galois-Hilbertian if every regular (finite) Galois extension of \(P(x)\) can be specialized to a Galois extension of \(P\) with the same Galois group. It is proved that a PAC-field of char. 0 is RG-Hilbertian if and only if every finite group is a Galois group over \(P\).
0 references
pseudo-algebraically closed field
0 references
regular Galois-Hilbertian field
0 references
finite embedding problem
0 references
Hilbertian PAC-field
0 references
absolute Galois group
0 references
free profinite group
0 references