Intereting Posts

Arithmetic on $$: is $0 \cdot \infty = 0$ the only reasonable choice?
Sum of series $\sin x + \sin 2x + \sin 3x + \cdots $
How to find $\sum_{k=1}^n 2^kC(n,k)$?
On a system of equations with $x^{k} + y^{k} + z^{k}=3$ revisited
If : $\tan^2\alpha \tan^2\beta +\tan^2\beta \tan^2\gamma + \tan^2\gamma \tan^2\alpha + 2\tan^2\alpha \tan^2\beta \tan^2\gamma =1\dots$
Help with Cramer's rule and barycentric coordinates
Proving that $\sigma_7(n) = \sigma_3(n) + 120 \sum_{m=1}^{n-1} \sigma_3(m)\sigma_3(n-m)$ without using modular forms?
Find periodic solution of differential equation
$ 0 < a < b\,\Rightarrow\, b\bmod p\, <\, a\bmod p\ $ for some prime $p$
Tail bound on the sum of independent (non-identical) geometric random variables
A “prime-mapping” polynomial
Reference Request: Finding an Op-Ed by J. Hammersley
Three consecutive sums of two squares
Jointly nilpotent matrices
Real analysis: density and continuity

can i have help with **induced representations**? I find the definition of $Ind_H^GV$ difficult but i can think about it formaly. But then i want to proof the follwoing facts:

- $\dim(Ind_H^GV)=|G:H|\cdot\dim(V)$
- $H\subset K\subset G$ then $Ind_K^GInd_H^K=Ind_H^G$
- $Ind_H^GV$ is naturally isomorphic to $Hom_H(\mathbb{C}[G],V)$
- the space of $W$-valued maps on $G$ is isomorphic to $C[G]\otimes W$

Another question from me: In the definition we don’t use right-cosets, but then we begin to work with them. Why?! I hope someone can help me ðŸ™‚ Thanks

- Surprising but simple group theory result on conjugacy classes
- $\frac{SU(2)}{N}= Q$. Examples of finite groups $N$ and $Q$?
- Subgroups as isotropy subgroups and regular orbits on tuples
- Show that a p-group has a faithful irreducible representation over $\mathbb{C}$ if it has a cyclic center
- Question about the radical of the Jacobson radical.
- Easy way to get real irreducible characters (reps) from complex irreducible characters?

- Is trace of regular representation in Lie group a delta function?
- Complex Galois Representations are Finite
- Prove that the augmentation ideal in the group ring $\mathbb{Z}/p\mathbb{Z}G$ is a nilpotent ideal ($p$ is a prime, $G$ is a $p$-group)
- Easy way to get real irreducible characters (reps) from complex irreducible characters?
- Irreducible representations of $\mathbb{Z}/p\mathbb{Z}$ over Galois field $\mathbb{F}_q$, $p\neq q$.
- why the column sums of character table are integers?
- (From Lang $SL_2$) Orthonormal bases for $L^2 (X \times Y)$
- Question about radical of a module.
- Are there any fields with a matrix representation other than $\mathbb{C}$?
- Irreducible representations (over $\mathbb{C}$) of dihedral groups

So, looking at the given definition:

$$Ind_H^GV=\left\{f:G\rightarrow V : f(hx)=\rho(h)f(x)\ \forall x\in G\ \forall h\in H\right\}\,,$$

we can see that if an $f:G\to V$ is in $Ind_H^GV$, then the value $f(x)$ for an $x\in G$ already determines $f$ on the whole coset $Hx$ (namely $f(hx)=\rho(h)f(x)$). On the other side, fixing one $x_i$ of each coset and letting $f_1(x_i)\in V$ *arbitrary*, then as

$G=\bigcup_i^*Hx_i$ (disjoint union), by the given rule we can *uniquely extend* $f_1$ to $G$, and then $f_1\in Ind_H^G(V)$. This proves 1.

$\,$ 2. should be a simple verification.

For 3., observe that any function $f:G\to V$, using the linear operations on $V$, naturally (and uniquely) extends to a linear map $\bar f:\Bbb C[G]\to V$. Show that such a map $F$ is in addition a $H$-homorphism (with the action of $H$ on $V$ given by $\rho|_H$), if and only if $F(hs)=\rho(h)F(s)$ for all $s\in\Bbb C[G]$.

Finally, for 4., I guess $G$ is (throughout) assumed to be finite, so $\Bbb C[G]$ is finite dimensional, then use the previous hint and that $\hom_{\Bbb C}(U,W)\cong U\otimes_{\Bbb C}W$ if $\dim U<\infty$.

- How to evaluate $ \sum\limits_{n=1}^{\infty} \left( \frac{H_{n}}{(n+1)^2.2^n} \right)$
- Cyclic group of prime order
- $\operatorname{tr}(AABABB) = \operatorname{tr}(AABBAB)$ for $2×2$ matrices
- How do you prove that $n^n$ is $O(n!^2)$?
- Cube root of complex number without trigonometric functions
- $\sum_{i=0}^m \binom{m-i}{j}\binom{n+i}{k} =\binom{m + n + 1}{j+k+1}$ Combinatorial proof
- Why are the domains for $\ln x^2$ and $2\ln x$ different?
- Can you check my proof on the characterization of the trace function?
- Analyticity of $\overline {f(\bar z)}$ given $f(z)$ is analytic
- Necessary condition for positive-semidefiniteness — is it sufficient?
- Frog Jump Problem
- Did I just solve the Navier-Stokes Millennium Problem?
- Find $a,n\in \mathbb N^{+}:a!+\dfrac{n!}{a!}=x^2,x\in \mathbb N$
- In my textbook,the coordinate (x,y) by sine and cosine addition formula seems to form a circle,is that a coincidence?
- Brownian Motion calculation