Intereting Posts

Finding the Gradient from these functions.
Find possible number of triangles with integer sides for a given inradius
measurability with zero measure
Polynomial passing through two points with specific tangents
Prove $x^n$ is not uniformly convergent
Sum of unit and nilpotent element in a noncommutative ring.
Determining the presentation matrix for a module
Prove that $\mu$(E$\Delta$F) = 0 implies $\mu$(E) = $\mu$(F)
Does $\int_{0}^{\infty}\frac{dx}{1+(x\sin5x)^2}$ converge?
Value of $x=\sum\limits_{n=1}^\infty {\frac{1}{10^n-1}} $ and location of second digit $1$ of $x$
$X$ is algebraic over $E$
Let $f:\rightarrow \mathbb{R} $ be differentiable with $f'(a) = f'(b)$. There exist a $c\in(a,b)$ such that $f'(c) = \frac{f(c) – f(a) }{c -a}$.
Linear independency before and after Linear Transformation
Motivation behind the definition of a Manifold.
Cyclotomic polynomial

Suppose $H$ is the only subgroup of order $o(H)$ in the finite group $G$. Prove that $H$ is a normal subgroup of $G$.

I’ve been trying this problem for quite a while but to no avail. What I can’t understand is, how do you relate the subgroup being normal/abnormal to its order?

This question is from I.N.Herstein’s book *Topics in Algebra* Page 53, Problem no. 9. This is NOT a homework problem!! I’m studying this book on my own.

- If $\lvert\operatorname{Hom}(H,G_1)\rvert = \lvert\operatorname{Hom}(H,G_2)\rvert$ for any $H$ then $G_1 \cong G_2$
- Are there broad or powerful theorems of rings that do not involve the familiar numerical operations (+) and (*) in some fundamental way?
- Is a height one ideal in a UFD principal?
- Does a non-abelian semigroup without identity exist?
- Show that if $p \equiv 3$ mod $4$ is a prime in $\mathbb{Z}$, then $p$ is a prime in $\mathbb{Z}$
- Adjoining a number to a field

- Ideals of Polynomial Rings and Field Extensions
- Isomorphism of quaternions with a matrix ring over real numbers
- (Ir)reducibility criteria for homogeneous polynomials
- Proving that every element of a monoid occurs exactly once
- Existence of $\sqrt{-1}$ in $5$-adics, show resulting sum is convergent.
- Principal ideal of an integrally closed domain
- Does a finite commutative ring necessarily have a unity?
- Subgroup generated by a set
- Prove that a non-abelian group of order $pq$ ($p<q$) has a nonnormal subgroup of index $q$
- A question on $p$-groups, and order of its commutator subgroup.

This is a small contribution, but in response to a comment above, you can also solve this without using any homomorphism properties. Assume the subgroup $H$ has order $n$ and pick $g\in G$. Then, for any $h\in H$:

\begin{align}

\left(ghg^{-1}\right)^n=\underbrace{ghg^{-1}\cdot ghg^{-1}\cdot\dotsm\cdot ghg^{-1}}_{\text{n times}}=gh^ng^{-1}=geg^{-1}=gg^{-1}=e

\end{align}

Since $H$ has order n. The above holds for all $h\in H$, so the subgroup $gHg^{-1}$ has order n, so it is equal to $H$ by assumption. Then every $h\in H$ has some $h’\in H$ such that $ghg^{-1}=h’$, implying $gh=h’g$, so $gH=Hg$.

(sorry didn’t see the comments – this is a spoiler ðŸ™‚ )

You need to prove that $\sigma_x(h) \in H \ \forall x \in G \ $ and $\ \forall h \in H$, where $\sigma_x(h)=x^{-1}hx$. You know that $\forall x \in G$, $\sigma_x$ is an automorphism of $G$, which implies that if $K$ is a subgroup of $G$ then also $\sigma_x(K)$ is a subgroup of $G$, of the same order of $K$ (because $\sigma_x$ is bijective). Therefore, since $H$ is the only subgroup of $G$ of its order, $\sigma_x(H)=H \ \ \forall x \in G$ and you are done.

- Prove that $2730$ divides $n^{13} – n$ for all integers $n$.
- For a graph $G$, why should one expect the ratio $\text{ex} (n;G)/ \binom n2$ to converge?
- name for a rational number between zero and one?
- Proving the combinatorial identity ${n \choose k} = {n-2\choose k-2} + 2{n-2\choose k-1} + {n-2\choose k}$
- Prove that $\frac4{abcd} \geq \frac a b + \frac bc + \frac cd +\frac d a$
- what does $|x-2| < 1$ mean?
- Similarity of real matrices over $\mathbb{C}$
- Find the probability that a geometric random variable $X$ is an even number
- Prove that $1^3 + 2^3 + … + n^3 = (1+ 2 + … + n)^2$
- Show $\sum\limits_{n=0}^{\infty}{2n \choose n}x^n=(1-4x)^{-1/2}$
- All the ternary n-words with an even sum of digits and a zero.
- What is the laplace transform and how is it performed? (detailed explanation)
- If any x points are elected out of a unit square, then some two of them are no farther than how many units apart?
- A formal name for “smallest” and “largest” partition
- Two ambient isotopic curve segments, one has the length and the other does not