The answer has no details. Hence maybe the answer is supposed to be quick. But I can’t see it? Hence I took two groups. Call them $G_1 = \{a, b, c\}, G_2 = \{d, e, f\}$. Then because every group has an identity, I know $G_1, G_2$ has one each. Hence WLOG pick $c$ as […]

This question already has an answer here: Why does the natural ring homomorphism induce a surjective group homomorphism of units? 2 answers

Let $V_j$, $j = 1,2$ be finite dimensional representations of a group $G$. Show: $\chi_{V_j}$ is a constant on each conjugacy class of $G$, where $\chi_{V_j}$ is the character of the representation. I’ve just started with group theory and have a really hard time so I’d like someone to confirm what I did so far […]

Let $x$, $y$, $z$ be elements of a group $G$ and let $[x,y]=x^{-1}y^{-1}xy$ be the commutator of $x$ and $y$. Then we have the following identities: $[x,zy]=[x,y][x,z][[x,z],y]$ $[xz,y]=[x,y][[x,y],z][z,y]$ My question is, is there any identity for $[x_1x_2\cdots x_m, y_1y_2\cdots y_n]$, generating the identities above? It may not be difficult but I did not find it […]

I am going through Quantum factoring, discrete logarithms and the hidden subgroup problem by Richard Jozsa. On page 13, the author discussed the hidden subgroup problem (HSP) formulation of the graph isomorphism (GI) problem. I would like to make it sure that I get the development of the concept right. Here both $A$ and $B$ […]

Suppose you are given the group $(\mathbb{Z} / p \mathbb{Z})^{\times}$, where $p$ is prime. Let $A_p$ denote the sequence whose $j$th element is the inverse of $[j]$. For instance, if $p = 7$, the sequence $A_7$ is $(1,4,5,2,3,6)$. Suppose you truncate the sequence upto the $\alpha p$th term (where $\alpha$ is a very small constant […]

This is an exercise from J.J.Rotman’s book: Prove that the following groups are all isomorphic: $$G_1=\frac{\mathbb R}{\mathbb Z},G_2=\prod_p{\mathbb Z(p^{\infty})}, G_3=\mathbb R\oplus\big(\frac{\mathbb Q}{\mathbb Z}\big)$$ What I have done is: Since $tG_1=\frac{\mathbb Q}{\mathbb Z}$, which $t$ means the torsion subgroup; and the fact that $G_1\cong tG_1\oplus\frac{G_1}{tG_1}$ so I should show that $\frac{\mathbb R}{\mathbb Q}\cong\mathbb R$. A theorem […]

There is a well-known result of Solomon which states that sum of entries of any row in $\mathbb{C}$-character table of a group $G$ is an integer number. It is mentioned in Martin Isaacs Character Theory of Finite Group as a note that the column sums are also integers. My question is that what’s the reason […]

Determine the center of the dihedral group of order 12. This was asked in an exam so I presume there must be a more efficient way of doing it than actually going through all the elements of a group G and checking that they commute with every other element. When searching for an answer online […]

I’m trying to prove that $\mathbb Z_p^*$ ($p$ prime) is a group using the Fermat’s little theorem to show that every element is invertible. Thus using the Fermat’s little theorem, for each $a\in Z_p^*$, we have $a^{p-1}\equiv1$ (mod p). The problem is to prove that p-1 is the least positive integer which $a^{p-1}\equiv1$ (mod p). […]

Intereting Posts

Describe all $p^{n}$ (in terms of congruence conditions of $p$ and $n$) for which $x^{2}+1$ irreducible over $\mathbb{F}_{p^{n}}$.
Proof of Cartesian product intersection
Solution of $\frac{d^2y}{dx^2} – \frac{H(x) y}{b} = H(-x)$
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$
Integration of Sinc function
Eigenvalues of a matrix of $1$'s
Is $f(x)=1/x$ continuous on $(0,\infty)$?
Operational details (Implementation) of Kneser's method of fractional iteration of function $\exp(x)$?
What is the formula for $\frac{1}{1\cdot 2}+\frac{1}{2\cdot 3}+\frac{1}{3\cdot 4}+\ldots +\frac{1}{n(n+1)}$
limit of a sequence with $\pi $ and $ e $
Associativity of Day convolution
Is there an intuitionist (i.e., constructive) proof of the infinitude of primes?
A trigonometic integral with complex technicals
Suppose that G is a group and N < G a normal subgroup. Prove G/N is simple
Derivative of $x^x$