Is the symplectic group $\operatorname{Sp}(2n,\mathbb{R})$ simple? Wikipedia states that the Lie algebra $\mathfrak{sp}(2n,\mathbb{R})$ is simple. http://en.wikipedia.org/wiki/Table_of_Lie_groups However it only lists projective groups in its list of simple Lie groups. http://en.wikipedia.org/wiki/List_of_simple_Lie_groups

If $G$ is a non abelian finite simple group, we know that $4$ divides $|G|$. More precisely there are infinitely many finite simple groups $G$ such that $v_2(|G|)=2$, just consider $\mathrm{PSL}_2(\mathbb F_p)$ with $p\equiv 3 \pmod 8$, $p$ prime and $p>3$. So my question tries to generalize the above statement: Do we know the primes […]

I do know that there is a “long proof” (I have read that it is +1000pages) that the Monster group is the largest sporadic simple group. My question is: Why can we be sure that there is no other bigger group out there? Beyond that long proof, is there any alternative “proof” of why the […]

I was reading through a proof that no group of order $400$ is simple which can be found here: https://math.stackexchange.com/a/79644/169389 Here is an outline for a solution. First of all, $|G| = 400 = 2^4 \cdot 5^2\ $. By Sylow’s theorem we know that the number of Sylow 5-subgroups must be a divisor of $2^4$ […]

I am working through an abstract algebra exercise book for my exam. It has solutions, but sometimes only references are given to books which I may not have access to. So I think, that the exercise is a bit more advanced and not suitable for an exam. Can somebody tell me, if the following exercise […]

My concern is to look for a classification of : Centralizers/Normalizer of elementary abelian subgroups of a simple group. Centralizers/Normalizer of abelian subgroups(Not necessarily elementary) of a simple group. Suppose we have a copy of $\mathbb{Z}_8$ in a non abelian simple group $G$ then $C_G(\mathbb{Z}_8)$ would be of order at least $8$ as $\mathbb{Z}_8$ is […]

Given that: $$G_1\subseteq G_2\subseteq G_3\subseteq \dots\subseteq G_n \subseteq G_{n+1}\subseteq \cdots$$ Are all simple groups. Prove that $$G=\bigcup_{n=1}^{\infty}G_n$$ is also a simple group. So first of all, I proved that $G$ is a group, there was’nt too much work to do there, but how can I prove that $G$ is simple? thank you in advance.

Prove that the simple group of order $660$ is isomorphic to a subgroup of the alternating group of degree $12$. I have managed to show that it must be isomorphic to a subgroup of $S_{12}$ (through a group action on the set of Sylow $11$-subgroups). Any suggestions are appreciated!

I need some information about centralizer of involutions in finite simple groups of lie type. Actually I want to know if $G$ is a simple group of lie type over a finite field, How many conjugacy classes of involution does it have? If there are more than one, what is their sizes? I would be […]

In this work it’s written that A group $G$ is simple if and only if the diagonal subgroup of $G \times G$ is a maximal subgroup. How can I prove it?

Intereting Posts

Nested Division in the Ceiling Function
Why is $\mathbb{Z}/(1-x,p)$ isomorphic to $\mathbb{Z}_{p}$, where $p$ is a prime integer.
Prove that the closed unit ball of $L^2$ is closed in $L^1$
Number of normal subgroups of a non abelian group of order $21$… CSIR December $2013$
Horizontal tank with hemispherical ends depth to capacity calculation
Let $G$ be a group of order $2m$ where $m$ is odd. Prove that $G$ contains a normal subgroup of order $m$
Automorphism of an elementary extension of a structure that moves an undefinable element
Haar measure scalars, what am I doing wrong here?
Find the norm of the following operator.
Conditions for a finite Fourier series
What exactly IS a square root?
Understanding the definition of a random variable
A Polygon is inscribed in a circle $\Gamma$
How to compute the sine of huge numbers
Fundamental group of complement of $n$ lines through the origin in $\mathbb{R}^3$