This question already has an answer here: Finite number of subgroups $\Rightarrow$ finite group 2 answers

Let $G$ be a group and $H$ a subgroup of G. Also, let $X$ be the set of left cosets, $xH$, of H in G. Define an action of $G$ on $X$ by $g \cdot xH = gxH$ for $g,x \in G$. I have shown that the kernel, $K$, where $K=\bigcap_{xH \in X}xHx^{-1}$ and $Stab_{G}(xH) […]

let $T=T_{a,u}(v)$ be transvection, I want to find centralizer of $T_{a,u}(v)$ in $GL(V)$. What is $C _{GL(V)}(T)$? $T_{a,u}(v)=v+u(v)a$ where $a$ is vector in vector space $V$ on field $F$ and $u$ is linear functional on $V$.It is not hard to see $T_{a,u}(v)\in SL(V)$ I have not any idea how to deal with it.

If we have a finite field $\mathbb{F}_{p^{n}}$, how does one determine the number of integers $r$ in $\{0,1, \ldots, p^{n}-2 \}$ for which the equation: $x^{r}=a$ has a solution for every $a \in \mathbb{F}_{p^{n}}$. The problem also mentions that $p^{n}-1=q_{1}^{a_{1}}\ldots{q_{n}^{a_{n}}}$ for distince primes $q_{i}$. My attempt to understand the problem: I tried to understand the […]

I have been told to use the following to prove another claim, but I would like to prove this anyway for myself. However I can’t tell why it’s true. I think it’s true, but can’t see why! Here it is: If $P$ and $Q$ are distinct $p$-Sylow subgroups in a group $G$ then $Q\not\subseteq N_G(P)$. […]

Let R be a commutative ring, and let P be a prime ideal of R. Suppose that P has no nontrivial zero divisors in it. Show that R is an integral domain. My proof: Take $r,s,a \in R$ with $ar = as$, and $p \in P$. Then \begin{align*} par &= pas\\ a p r &= […]

The following is from a set of exercises and solutions. Determine the degree of the extension $\mathbb{Q}(\sqrt{3 + 2\sqrt{2}})$ over $\mathbb Q$. The solution says that the degree is $2$ since $\mathbb{Q}(\sqrt{2}) = \mathbb{Q}(\sqrt{3 + 2\sqrt{2}})$. I understand that the LHS is a subset of the RHS since $$ \sqrt{2} = \frac{(\sqrt{3 + 2\sqrt{2}})^2 – […]

Prove that $\operatorname{tr.deg}(\mathbb{C/Q})=\mathfrak{c}$ (where $\mathfrak{c}$ is the cardinality of $\mathbb{R}$) using the continuum hypothesis. $Proposition$ If $E/F$ is an algebraic extension then $|E|=\aleph_0 |F|$ Proof: Let $S$ be a trancendental basis of the extension $\mathbb{C/Q}$.Then $|S| \leqslant \mathfrak{c}$.Suppose that $|S|< \mathfrak{c}$. Then, by the continuum hypothesis, $S$ is finite or countable. Let $S=\{s_1,s_2, \ldots \}$ […]

Suppose $M$ is a finitely generated torsion-free module over a PID. If $N\leq M$ is free of rank $1$, and $M/N$ is torsion, how do we conclude $M$ is free of rank $1$? My scattered thoughts: Since $M$ is f.g., $M/N$ is as well, and since it is torsion, the structure theorem tells me it […]

My understanding is to find out if a polynomial is reducible, we can use substitution. For example, to see if $x^2+1$ is reducible over $F_2$, we can substitute $0$ and $1$ for $x$, and see that neither of them result in $0$ mod $2$. But we know $x$ is irreducible because it’s of degree $1$ […]

Intereting Posts

Probability of dice sequences
Dimension Recovery of $S \subset P_n(F)$
How can I raise a Taylor Series to a power?
If monotone decreasing and $\int_0^\infty f(x)dx <\infty$ then $\lim_{x\to\infty} xf(x)=0.$
Prove that free modules are projective
Who has a winning strategy in “knight” and why?
Proving that $\mathbb{Z}$ is a Euclidean domain
'Every open set in $\mathbb{R}$ is the union of disjoint open intervals.' How do you prove this without indexing intervals with $\mathbb{Q}$?
Can you spot the mistake
Derivative under a double integral
Translate of an ideal by $a$ coincides with the ideal iff $a \in I$
(undergraduate) Algebraic Geometry Textbook Recommendations
Are there an infinite number of prime numbers where removing any number of digits leaves a prime?
Existence of global solution of Riccati equation
Evaluating the limit of $\sqrt{2+\sqrt{2+\sqrt{2+\cdots+\sqrt{2}}}}$ when $n\to\infty$