Discussion Overview
The discussion revolves around the theorem stating that the quotient group G/H is discrete if and only if the normal subgroup H is open. Participants explore the implications of H being open on the topology of G/H, particularly focusing on the direction that H open implies G/H discrete. There is also a secondary interest in the relationship between H being closed and G/H being Hausdorff.
Discussion Character
- Technical explanation
- Conceptual clarification
- Debate/contested
Main Points Raised
- One participant asserts that if H is open, then the cosets gH are open sets, leading to the conclusion that singletons in G/H are open, which suggests that G/H has a discrete topology.
- Another participant questions why the openness of singletons implies a discrete topology, indicating a need for clarification on the definitions involved.
- There is a discussion on the definition of a discrete group, with one participant suggesting that a discrete group is one that is totally disconnected, which is challenged by another who clarifies that a discrete space is defined as one where all sets are open.
- Concerns are raised about the implications of open singletons and their relationship to connectedness, with a participant expressing confusion about the definitions and their application.
- One participant expresses uncertainty about the terminology used by physicists regarding discrete groups and how it relates to the mathematical definitions being discussed.
Areas of Agreement / Disagreement
Participants exhibit some agreement on the definitions of discrete spaces but disagree on the implications of these definitions in the context of the theorem. The discussion remains unresolved regarding the relationship between the mathematical and physicist's interpretations of discrete groups.
Contextual Notes
There are limitations in the definitions being used, particularly regarding the concept of connectedness and the implications of singletons being open. The discussion also highlights a potential misunderstanding of the term "discrete" as it applies in different contexts.
