Each relation below ends at this concept.
This is an authored directed relation from the source endpoint to the target endpoint.
- Relation ID
story_galois_extension_to_galois_group_canonical_construction- Relation type
- Canonical construction
canonical-construction - Direction
- source → target
- Endpoint roles
- source: Canonically constructs; target: Canonically constructed from
- Authored annotation
- take base-fixing automorphisms
Authored explanation
The automorphisms of L fixing K form Gal(L/K).
How to interpret this relation type
Apply a standard functorial or canonical construction whose output is not merely a reduct of the input and is not generally an equivalent presentation of the same object.
This is an authored directed relation from the source endpoint to the target endpoint.
- Relation ID
story_group_to_galois_group_framework_specialization- Relation type
- Framework specialization
framework-specialization - Direction
- source → target
- Endpoint roles
- source: Specializes to; target: Special case or refinement of
- Authored annotation
- realized by field symmetries
Authored explanation
A Galois group is a group, with composition as operation.
How to interpret this relation type
A more specific theory, model, entity class, or regime is obtained by restricting or extending the scope of a broader framework.