Undecidability of the theory of finite nearfields (Q1117270): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: The elementary theory of finite fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Undecidability of some elementary theories over PAC fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On finite Dickson near-fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The sub-near-field structure of finite near-fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Endliche Inzidenzgruppen / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Number of Points of Varieties in Finite Fields / rank | |||
Normal rank |
Latest revision as of 14:31, 19 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Undecidability of the theory of finite nearfields |
scientific article |
Statements
Undecidability of the theory of finite nearfields (English)
0 references
1988
0 references
A well known result of James Ax from 1968 states that the theory of finite fields is decidable. Nearfields are defined by omitting one distributive law from the skewfield axioms. Hans Zassenhaus showed in 1936 that with seven exceptions all finite nearfields are Dickson nearfields and hence are derived from finite fields by suitable modifications of the multiplication. These results might give rise to the conjecture that the logical complexity of the two theories is comparable and that the theory of finite nearfields is also decidable. By using methods developed by Cherlin-Jordan it is shown in this paper that the theory of finite nearfields is in fact undecidable. Moreover, it is shown here that the theory of finite Dickson nearfields and the theory of finite nearfields of fixed characteristic are also undecidable. The method of proof involves interpreting the theory of finite symmetric graphs via two intermediate theories in the theory of finite nearfields and using result of Lavrov (1963) which states that the former theory is undecidable.
0 references
the theory of finite nearfields is undecidable
0 references
finite Dickson nearfields
0 references