Statements (27)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
gptkb:Field |
| gptkbp:canBe |
ordered
algebraically closed not algebraically closed not ordered |
| gptkbp:cardinality |
infinite
|
| gptkbp:characteristic |
0
p (for some prime p) |
| gptkbp:contains |
gptkb:multiplicative_group
additive group |
| gptkbp:example |
gptkb:Field
gptkb:field_of_complex_numbers_C gptkb:field_of_rational_functions_over_a_field gptkb:field_of_rational_numbers_Q gptkb:field_of_real_numbers_R algebraic number field |
| gptkbp:hasAutomorphisms |
possibly infinite
|
| gptkbp:hasSubfield |
infinite
|
| https://www.w3.org/2000/01/rdf-schema#label |
infinite field F
|
| gptkbp:satisfies |
field axioms
|
| gptkbp:usedIn |
gptkb:algebra
gptkb:algebraic_geometry gptkb:Galois_theory number theory |
| gptkbp:bfsParent |
gptkb:projective_special_linear_group
|
| gptkbp:bfsLayer |
6
|