I know that given a group $G$ and two normal subgroups $H,K \subset G$ then it is not true that: “if $H \cong K$ then $ \frac{G}{H} \cong \frac{G}{K} $ (the counterexample is quite easy with products of cyclic groups) “ My question is: Is the converse true? i.e. Given that $\frac{G}{H} \cong \frac{G}{K}$ then […]

I’m trying to find 4 groups of order 12, none of which are isomorphic to each other. Should I be trying external direct products? So far I have $A_4, \mathbb Z_{12},\,$ and $\,\mathbb Z_6\times \mathbb Z_2.\,$ How do I show all of these are non-isomorphic to each other? And how do I find a fourth? […]

Everyone always says that isomorphisms preserve structure… but given the (multiple) definitions of isomorphism, I fail to see how the definitions equate with the intuitive meaning, which is that two sets are “basically the same if you ignore naming and notation”. Here are the different definitions I’ve come across: Order Isomorphism Let $A$ be a […]

Well, this is an exercise problem from Herstein which sounds difficult: How does one prove that if $|G|>2$, then $G$ has non-trivial automorphism? The only thing I know which connects a group with its automorphism is the theorem, $$G/Z(G) \cong \mathcal{I}(G)$$ where $\mathcal{I}(G)$ denotes the Inner- Automorphism of $G$. So for a group with $Z(G)=(e)$, […]

$F$ is a finite field of order $q$. What is the size of $\operatorname{GL}_n(F)$ ? I am reading Dummit and Foote “Abstract Algebra”. The following formula is given: $(q^n – 1)(q^n – q)\cdots(q^n – q^{n-1})$. The case for $n = 1$ is trivial. I understand that for $n = 2$ the first row of the […]

I’m struggling to proof that if $H$ and $K$ are subgroups of finite index of a group $G$ such that $[G:H]$ and $[G:K]$ are relatively prime, then $G=HK$. I don’t know why I can’t answer it, because this question seems easy. I’m stuck maybe because I’ve studied so far just Lagrange’s theorem and some of […]

Could any one give me hint for this one? how to show $SU(2)/\mathbb{Z}_2\cong SO(3)$, well, Is it the same: there is a 2-fold covering map from $SU(2)$ to $SO(3)$? what is that map will be?

I found some months ago that there are the Polya’s enumeration theorem to compute number of colorings of dodecahedron. I got interested to find how to show by using only Burnside’s lemma that there are 9099 ways to color dodecahedrom by three colors. How can I do the computation?

I’m curious how people think of Algebras (in the universal sense, i.e., monoids, groups, rings, etc.). Cayley diagrams of groups with few generators are useful for thinking about group actions on itself. I know that a categorical approach is becoming more mainstream. For me, lattice theory is my fallback. Lattice theory is useful to remember […]

Ok, this has been bugging me for a while, and I’m sure there’s something obvious I’m missing. The references I’ve looked at for this result in an effort to resolve the issue didn’t address it. $G$ is a group, $\mathbb{Z}[G]$ its integral group ring, $I_G$ the augmentation ideal (i.e. the kernel of the map $\mathbb{Z}[G]\rightarrow\mathbb{Z}$ […]

Intereting Posts

Prove that if $({x+\sqrt{x^2+1}})({y+\sqrt{y^2+1}})=1$ then $x+y=0$
regularization of sum $n \ln(n)$
Square and square root and negative numbers
If $f$ continuous and $\lim_{x\to-\infty }f(x)=\lim_{x\to\infty }f(x)=+\infty $ then $f$ takes its minimum.
How many subgroups or order 8 an abelian Group of order 72 can have
Evaluate $\lim_{x→0}\left(\frac{1+\tan x}{1+\sin x}\right)^{1/x^2} $
Does $\lim_{x \to 0+} \left(x\lfloor \frac{a}{x} \rfloor\right)=a?$
How many $n$-digit decimal sequences (using the digits $0 = 9$) are there in which the digits $1$, $2$ and $3$ all appear?
Is a limit ordinal necessarily a cardinal?
Very *mathematical* general physics book
References on the History of Linear Algebra
Weak topology on an infinite-dimensional normed vector space is not metrizable
Evaluate $\int e^{2\theta} \sin (3\theta)\ d\theta$
Proof that two basis of a vector space have the same cardinality in the infinite-dimensional case
Finding a simple spline-like interpolating function