Let $G$ be a finite group, $V$ an irreducible representation, $H$ a subgroup. Let $V^H$ be the subspace of vectors of $V$ invariant under the action of $H$. Suppose that $dim(V^H)>1$. Then $dim(V) > 1 $ and $dim(V^G)=0$. Question: Is there an intermediate subgroup $H \subset P \subset G$ such that $dim(V^P)=1$ ?

So I’ve got this exercise: Let $X$ be a set and $(G, \star)$ a group. We denote $G^X$ the set of a mappings from $X$ to $G$. Show that $G^X$ has a group structure induced by $G$ So this is my attempt. I first have to show that it has the identity element, but I […]

This question already has an answer here: How to prove $b=c$ if $ab=ac$ (cancellation law in groups)? 6 answers

Define $H = \{(a, 0): a\in \mathbb{R}\}$. Without using the fundamental homomorphism theorem, how would we know what $\mathbb{R}^2/H$ is? The quotient group is $\{H, (x, y) + H, (x_2, y_2) + H, \dots \}$. Intuitively, each coset in the quotient group is a horizontal line crossing through the point $(x_i + a, y_i)$ or […]

Let $g \in \text{ group } G $ and $n \in N$. Let $\phi : \mathbb{Z_n} \rightarrow G$ be defined by $\phi(i) = g^i$ for $0 \le i \le n$. Give a necessary and sufficient condition (in terms of g and n) for $\phi$ to be a homomorphism. Prove your assertion. My $g =$ solution’s […]

Let $G$ be a finite group, and $K$, $L$ subgroups of $G$ such that $G = KL=LK$. Let $\Omega = G/K$ and $\pi: G \to S_{\Omega}$ the canonical action on cosets. Question: Is it true that $\forall g \in G$ $\exists l \in L $ such that $\pi(g)=\pi(l)$ ? If yes, then $\forall k \in […]

I am reading Dummit and Foote, and in Section 4.1: Group Actions and Permutation Representations they give the following example of a group action: The symmetric group $G = S_n$ acts transitively in its usual action as permutations on $A = \{1, 2, \dots, n\}$. Note that the stabilizer in $G$ of any point $i$ […]

Let $G$ be a set with associative binary operation and a unit. Assume that for every $ g \in G$ there exists $ x \in G$ with $xg = 1$. Prove that $gx = 1$ is a consequence. That above is the question, and i think i have the answer however I need clarification on […]

A student and I are going to investigate the use of group theoretic techniques in graph theory. What are good texts in this area (introductory and otherwise)? We are particularly interested in studying automorphism groups of graphs, but a text with a broader view would also be welcome.

Let H and K be subgroups of G, with size p and q respectively, where p and q are coprime, how can we show that H intersect K is {e} where e is the identity element in G

Intereting Posts

Product of one minus the tenth roots of unity
The last digit of $2^{2006}$
How can I show this function is Weakly Sequentially Lower Semicontinuos?
Is $\sum_{k=1}^{n} \sin(k^2)$ bounded by a constant $M$?
Is $x^6 + 3x^3 -2$ irreducible over $\mathbb Q$?
Alternative proof of '$I$ is maximal iff $R/I$ is a field'
Examples of non-isomorphic fields with isomorphic group of units and additive group structure
The number of ring homomorphisms from $\mathbb{Z}_m$ to $\mathbb{Z}_n$
Limit approach to finding $1+2+3+4+\ldots$
Cube roots don't sum up to integer
Does the given $h$ exhibit the homeomorphism between $\mathbb{R}^{\omega}$ and itself with box topologies?
A formula for the least common multiple less than n?
How do I compute $\int_{-\infty}^\infty e^{-\frac{x^2}{2t}} e^{-ikx} \, \mathrm dx$ for $t \in \mathbb{R}_{>0}$ and $k \in \mathbb{R}$?
iid variables, do they need to have the same mean and variance?
If $\sum a_n$ converges, then $\sum \sqrt{a_na_{n+1}}$ converges