Intereting Posts

Shortest distance between a point and a helix
Why does the harmonic series diverge but the p-harmonic series converge
Motivation behind the definition of a Manifold.
Show finite complement topology is, in fact, a topology
Understanding quotients of $\mathbb{Q}$
Continuous functions are differentiable on a measurable set?
A couple of GRE questions
Regular monomorphisms of commutative rings
Quadratic reciprocity: Tell if $c$ got quadratic square root mod $p$
Showing $f_n(x):=\frac{x}{1+n^2x^2}$ uniformly convergent in $\mathbb R$ using $\epsilon-n_0$
Simultaneous diagonalization
The equation $3^n+4^m=5^k$ in positive integer numbers
What is the value of $\int_0^1 \frac{\arctan x}{1+x^{2}} dx$?
Fractional Derivative Implications/Meaning?
How many times are the hands of a clock at $90$ degrees.

Let $G$ be any group, and $H \leq G$ a subgroup.

Suppose that for each $x \in G$, there exists a $y \in G$ such that $xH \subseteq Hy$. In other words, every left coset of $H$ is contained inside some right coset of $H$.

**Question**: what can we say about $H$? In particular, does this imply that $H$ is normal?

- Rotman's exercise 2.8 “$S_n$ cannot be imbedded in $A_{n+1}$”
- Suppose $n$ is an even positive integer and $H$ is a subgroup of $\mathbb Z/n \mathbb Z$. Prove that either every element of $H$ is…
- Isn't $x^2+1 $ irreducible in $\mathbb Z$, then why is $\langle x^2+1 \rangle$ not a maximal ideal in $\mathbb Z?$
- Reference request for ordered groups
- Categorical introduction to Algebra and Topology
- Isomorphisms between group of functions and $S_3$

I know that if $G$ is finite, then $H$ must be normal, because then $xH \subseteq Hy$ implies $xH = Hy$, since $|xH| = |Hy|$.

- Classifying Unital Commutative Rings of Order $p^2$
- How to recover the integral group ring?
- subgroup generated by two subgroups
- Finite group with elements of given order
- Show group of order $4n + 2$ has a subgroup of index 2.
- Intertwiners and $\text{SL}(2, \mathbb{F}_q)$, vector space decomposition of $\mathbb{C}\{X\}$?
- How many groups of order $2058$ are there?
- Can $\mathrm{PGL}_2$ be viewed as an affine algebraic group?
- Maximum number of Sylow subgroups
- What is the probablity that a Rubik's cube is solvable if you randomly switch two squares?

If $xH \subseteq Hy$, then in particular $x \in Hy$. But then $Hx \cap Hy \neq \varnothing$, so $Hx=Hy$, so $xH \subseteq Hx$, so $xHx^{-1}\subseteq H$. Since this is true for every $x$, $H$ is normal.

- What is the expected value of the number of die rolls necessary to get a specific number?
- Arithmetic mean. Why does it work?
- Formulae of the Year $2016$
- Proving inequality $\sqrt{\frac{2a}{b+c}}+\sqrt{\frac{2b}{c+a}}+\sqrt{\frac{2c}{a+b}} \leq \sqrt{3 \left(\frac{a}{b}+\frac{b}{c}+\frac{c}{a}\right)}$
- $3\times 3$ Orthogonal Matrices with an Analysis of Eigenvalues
- deformation retract of $GL_n^{+}(\mathbb{R})$
- What makes Probability so difficult to get it right in the first place?
- How do I find two integers – $x$ and $y$ – whose values satisfy the expression $x^2 + y^2 = z$, where $z$ is a perfect square?
- Is the Riemann integral of a strictly positive function strictly positive?
- Proof that $\lim_{n\to\infty}{\sin{100n}}$ does not exist
- What's wrong with my understanding of the Freyd-Mitchell Embedding Theorem?
- Distances between randomly distributed points in a ball
- Is a CW complex, homeomorphic to a regular CW complex?
- Primality Test with some condition
- Proof that the cardinality of continuous functions on $\mathbb{R}$ is equal to the cardinality of $\mathbb{R}$.