# Topological group

#### tomboi03

Let H be a subspace of G. Show that if H is also a subgroup of G, then both H and$$\bar{H}$$ are topological groups.

So, this is what i've got...

if H is a subgroup of G then H $$\subset$$ G.
Since H is a subspace of G then H is an open subset.

But, i don't even know if that's right.
How do i do this?

Thanks!

Related Differential Geometry News on Phys.org

#### olliemath

Clearly H is a group and it's a topological space. It need not be an open set on the topology on G (if it's a subspace in the sense I think you mean - a subset with the subspace topology).

What you need to show is that the restrictions of the multiplication and inverse maps to H are still continuous.
The $$\overline{H}$$ is more tricky. You need to show that it is closed under the operations too.

Let me know if this helps?

### Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving