Each relation below starts at this concept.
This is an authored directed relation from the source endpoint to the target endpoint.
- Relation ID
story_solvable_group_to_group_induced_forgotten- Relation type
- Induced / forgotten
induced-forgotten - Direction
- source → target
- Endpoint roles
- source: Yields by induction / forgetting; target: Obtained by induction / forgetting from
- Authored annotation
- is a group
Authored explanation
Forgetting the terminating derived or subnormal series leaves the underlying group.
How to interpret this relation type
Pass canonically from a stronger object to structure it determines, or forget part of the data while retaining a valid weaker structure. The carrier may change under a canonical induced construction.
This is an authored directed relation from the source endpoint to the target endpoint.
- Relation ID
j_radical_solvability__solvable_group- Relation type
- Combine compatible structures
combine-compatible - Direction
- source → target
- Endpoint roles
- source: Builds toward; target: Built from
- Authored annotation
- the same group is solvable
Authored explanation
Require the polynomial’s Galois group to have a terminating derived series.
How to interpret this relation type
Feed several structures into a construction junction and impose compatibility between them.