Intereting Posts

Infinitely number of primes in the form 4n+1 proof
Power Set Difference Proof P(A-B)=P(A)-P(B)
Proof of $m \times a + n \times a = (m + n) \times a$ in rings
Proof to sequences in real analysis
Monotone+continuous but not differentiable
Sniper probability question
The number of regions into which a plane is divided by n lines in generic position
How can I pick a random point on the surface of a sphere with equal distribution?
In an additive category, why is finite products the same as finite coproducts?
Modules over a functor of points
Stable local minimizers
How to show $\sum_{k=n}^\infty{\frac{1}{k!}} \leq \frac{2}{n!}$
How to calculate the derivative of this integral?
What will be the value of the following determinant without expanding it?
The limit of the alternating series $x – x^2 + x^4 – x^8 + {x^{16}}-\dotsb$ as $x \to 1$

Let $H$ be a subgroup of a group $G$ such that $x^2 \in H$ , $\forall x\in G$ . Prove that $H$ is a normal subgroup of $G$.

I have tried to using the definition but failed. Could someone help me please.

- Ideals generated by two elements
- If $|a| = 12, |b| = 22$ and $\langle a \rangle\cap \langle b\rangle \ne e$, prove that $a^6 = b^{11}$
- Is the algebraic norm of an euclidean integer ring also an euclidean domain norm?
- Definition of Simple Group
- How to prove the ring of Laurent polynomials over a field is a principal ideal domain?
- Proving formula involving Euler's totient function

- faithfully flat ring extensions where primes extend to primes
- $I+J=R$, where $R$ is a commutative rng, prove that $IJ=I\cap J$.
- What is the “taxonomy” or “hierarchy” (partial ordering) of algebraic objects used to attempt to capture geometric intuition?
- Show that a finite group with certain automorphism is abelian
- Irrational solutions to some equations in two variables
- Homomorphisms and exact sequences
- How to show that for any abelian group $G$, $\text{Hom}(\mathbb{Z},G)$ is isomorphic to $G$
- If the subgroup $H$ of $G$ is open in pro-$p$ topology, does it inherit the pro-$p$ topology?
- Ring of matrices isomorphic to $O := \left\{a+b\frac{1+\sqrt{D}}{2}: a, b \in \mathbb{Z} \right\}$
- How many Jordan normal forms are there for this characteristic polynomial?

$H$ is a normal subgroup of $G$ $\iff \forall h\in H \forall g\in G:g^{-1}hg \in H$

$g^{-1}hg=g^{-1}g^{-1}ghg=(g^{-1})^2h^{-1}hghg=(g^{-1})^2h^{-1}(hg)^2\in H(hg\in G \to (hg)^2\in H)$ then $$g^{-1}hg \in H$$

As I began to correct my former post: **Hints**

$$\begin{align*}\bullet&\;\;\;G^2:=\langle x^2\;;\;x\in G\rangle\lhd G\\

\bullet&\;\;\;G^2\le H\\

\bullet&\;\;\;\text{The group}\;\;G/G^2\;\;\text{is abelian and thus}\;\;G’\le G^2\end{align*}$$

- Is there any geometric way to characterize $e$?
- Comparing Eigenvalues of Positive Semidefinite Matrices
- For what values of $x$ is $\cos x$ transcendental?
- The constant distribution
- Quaternions as a counterexample to the Gelfandâ€“Mazur theorem
- Rank of a Matrix Sum
- Plotting exponential partial sums in the complex plane
- Good introductory book for Markov processes
- How prove that $10(a^3+b^3+c^3)-9(a^5+b^5+c^5)\le\dfrac{9}{4}$
- Is there a rational number between any two irrationals?
- Subgroups of symmetric group
- Initial-value problem for non-linear partial differential equation $y_x^2=k/y_t^2-1$
- Continuous uniform distribution over a circle with radius R
- Is there a notion of a complex derivative or complex integral?
- Intuition – Fundamental Homomorphism Theorem – Fraleigh p. 139, 136