The Maschke’s theorem say that\ Let $G$ be a finite group and $F$ a field whose characteristic does not divide $\mid G \mid$. Then every $FG$-module is completely reducible (I’m using the notation of Isaac’s in the book Character Theory of finite groups). The converse of this theorem is true, but I can not prove […]

If $G$ be a group of order $8$ and $o(x)=4$ then how to prove that $x^2 \in Z(G)$ ? I can only figure out that $x^2=x^{-2}$ ; Please help

More precisely, I am given a function $f:G\to H$ with the promise that it is a homomorphism. Is there an easy way to determine which homomorphism it is without looking through all of its values? For example, when $G=\mathbb{Z}_2^n$ and $H=\mathbb{Z}_2$, a homomorphism $f$ is entirely characterized by an element of $\mathbb{Z}_2^n$, $s\in \{0,1\}^n$, such […]

There’s the theorem that states that every finite group $G$ of order $n$ is isomorphic to a subgroup of $S_{n}$. My question is, “How do we find that subgroup?”

Given a group action $G\curvearrowright X$. Consider the orbit space: $\pi:X\to X/G$ Do continuous group actions correspond to open projections, i.e.: $$l_g\in\mathcal{C}(X)\quad(g\in G)\iff\pi(U)\in\mathcal{T}_{X/G}\quad(U\in\mathcal{T}_X)$$ (Note that this is a slightly different more appropriate version of continuous group actions.) Certainly, continuous group actions give rise to open projections since: $$\pi^{-1}(\pi(U))=\bigcup_{u\in U}Gu=GU=\bigcup_{g\in G}gU=\bigcup_{g\in G}l_g(U)\in\mathcal{T}$$ Surely, the converse may […]

I am looking at the following exercise: If $G$ is finite and $f:G\rightarrow H$ is a group epimorphism, show that if $P\in \text{Syl}_p(G)$ then $f(P)\in \text{Syl}_p(H)$. $$$$ I have done the following: Since $P\in \text{Syl}_p(G)$, we have that $P$ is a subgroup of $G$. Do we have from the correspondence theorem that $f(P)$ is a […]

In this post John Baez states that the classical simple Lie groups “arise naturally as symmetry groups of projective spaces over $\mathbb{R}$, $\mathbb{C}$, and $\mathbb{H}$”. Is there some intuitive explanation for this connection? I understand that $SO(n)$ is the set of all rotations about the origin of $n$-dimensional Euclidean space $\mathbb{R}^n$ I understand that the […]

The definition of the Hidden Subgroup Problem (HSP) is as follows (according to a lecture series by Pranab Sen), Let $G$ be a group, $S$ a set and $f : G \to S$ a function. We are given an oracle for a reversible version of $f$ , $F(f) : |x\rangle |s\rangle \mapsto |x\rangle|s \oplus f […]

I see the proof here: http://crazyproject.wordpress.com/2010/07/17/no-simple-groups-of-order-144-525-2025-or-3159-exist/, but I can’t follow it, so could someone please explain to me how this proof works? Or maybe offer an alternative proof?

Consider the group $G=\mathbb{Z}_2^3$ with generators $S=\{e_1,e_2,e_3\}$ with $e_1=(1,0,0),e_2=(0,1,0),e_3=(0,0,1)$. The Cayley graph $\text{Cay}(G,S)$ is the 3D hypercube graph. It’s line graph $\Gamma$ is the $4$-regular Cuboctahedron graph. This graph is the Cayley graph of $A_4$ with generators $g=(1 2 3), h=(234)$ (as noted here). I want to understand the fact the that $\Gamma$ is the […]

Intereting Posts

Intriguing Indefinite Integral: $\int ( \frac{x^2-3x+1/3 }{x^3-x+1})^2 \mathrm{d}x$
Smoothness of harmonic functions
What is the motivation defining Matrix Similarity?
Form of most general transformation of the upper half plane to the unit disk.
$x^3+48=y^4$ does not have integer (?) solutions
Universal Property: do people study terminal objects in $(X\downarrow U)$?
How to find a “simple” fraction between two other fractions?
Help evaluating $\int_{-1/2}^{1/2}\sin^2(2^{j-1}\pi f)\prod_{i=0}^{j-2} \cos^2(2^i\pi f)$
What is the solution to the equation $9^x – 6^x – 2\cdot 4^x = 0 $?
Continuous bounded functions in $L^1$
Nowhere dense subsets of $$ with positive measure other than fat Cantor sets
Tricky Gaussian; a good method?
A generalization of the product of harmonic numbers to non-integer arguments
How to explain Real Big Numbers?
Translation of Weber's Lehrbuch der Algebra vol 1, 2, 3