Each relation below ends at this concept.
This is an authored directed relation from the source endpoint to the target endpoint.
- Relation ID
story_adele_ring_to_topological_ring_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 topological ring
Authored explanation
The restricted-product topology makes the adeles a locally compact topological ring for a global field.
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
e_jtr_tr- Relation type
- Combine compatible structures
combine-compatible - Direction
- source → target
- Endpoint roles
- source: Builds toward; target: Built from
- Authored annotation
- + continuous + and ·
Authored explanation
Require compatibility with the topology.
How to interpret this relation type
Feed several structures into a construction junction and impose compatibility between them.