Sorry for such a trivial question, but just wanted to check my understanding. When proving a statement, for example, that the inverse of a group element is unique (in elementary group theory) one starts by supposing that there exists two inverses $h$ and $k$ for a given element $g \in G$, where $G$ is some […]

Let $G$ be a finite group of even order $n=2^kr$, $T$ a Sylow-$2$ subgroup of $G$, and $M$ an index $2$ subgroup of $T$. I want to show that if $G$ has no subgroup of index $2$, then every element $x$ of order $2$ is conjugate to an element of $M$. Using the transfer homomorphism, […]

I am asking purely out of interest: What the abelianization of general linear group $GL(n,\mathbb{R})$?

Trying to answer this question, I encountered the following question, the answer to which should be known but it is hard to Google, so I did not find it. Let $G=\prod_{n\in\mathbb N}\mathbb Z_n$ be a full product of finite cyclic groups $\mathbb Z_n=\mathbb Z/n\mathbb Z$. Exists there a homomorphism $f:G\to\mathbb Z$ such that $f((1,1,\dots))=1$? According […]

Normal Subgroups are subgroups where all left cosets are right cosets. For abelian groups all subgroups are normal. I want to discuss about a non-abelian group whose subgroups are all normal. Please give an example. Can we give example of a finite non-abelian group with same property ?

I use Abstract Algebra by Dummit and Foote to study abstract algebra! At page 120, section 2 in chapter 4, there is a great result form my point of view which proves that, for any group $G$ of order $n$, $G$ is isomorphic to some subgroup of $S_n$. My question: Is there any way to […]

I have been looking for information about Frattini subgroup of a finite group. Almost all the books dealing with this topic discuss this subgroup for p-groups. I am actually willing to discuss the following questions : Let G be a finite group, is the Frattini subgroup of G abelian ? Why is the order of […]

Let $H$ and $K$ be subgroups of a group $G$ which have a common element besides the identity. Does this mean that either $H$ or $K$ is a subgroup of other? Let $a$ be the common element, then both subgroups contain the subgroup generated by $a$. I know it is possible for a subgroup to […]

Let $G, H$ be groups and let $\phi: G \to H, \psi: G \to K$ be homomorphism such that $\ker \phi \subseteq \ker \psi.$ Prove that there exists a homomorphism $\theta: H\to K$ such that $\theta\circ\phi = \psi.$ Obviously one can find a homomorphism $\theta$ on $\phi(G)$ which satisfies the properties, but I don’t see […]

I am trying to calculate the automorphism group of an affine subgroup $$G=\mathbb{Z}_p\rtimes\mathbb{Z}_{k}\leq\text{AGL}(1,p).$$ One might guess $\text{Aut}(G)=\text{AGL}(1,p)$. And this matches what I got in GAP after checking a couple examples. However, it seems proving it through by definition is messy and not particular easy. So I have been pondering a while what will be a […]

Intereting Posts

Example of two open balls such that the one with the smaller radius contains the one with the larger radius.
Find all non-singular $3 \times 3$ matrices, such as $A$ and $A^{-1}$ elements are non-negative
Why is inverse of orthogonal matrix is its transpose?
Eigen Values Proof
Is a compact simplicial complex necessarily finite?
Questions aobut Weierstrass's elliptic functions
Simple formula on $X_n^{(k)} = \sum_{1 \le i_1 < … < i_k \le n} Y_{i_1} \cdot \dots \cdot Y_{i_k}$ (to show $X_n^{(k)}$ is martingale)
Convergence of the Fourier Transform of the Prime $\zeta$ Functions
Let $a$ be a quadratic residue modulo $p$. Prove $a^{(p-1)/2} \equiv 1 \bmod p$.
Why are addition and multiplication commutative, but not exponentiation?
Difficulty in evaluating a limit: $\lim_{x \to \infty} \frac{e^x}{\left(1+\frac{1}{x}\right)^{x^2}}$
Check my answer: Prove that every open set in $\Bbb R^n$ is a countable union of open intervals.
Prove that neither $A$ nor $B$ is divisible by $5$
Sum and product of two transcendental numbers can't be both algebraic
Showing that the product and metric topology on $\mathbb{R}^n$ are equivalent