Questions tagged [exceptional-isomorphisms]
Isomorphisms between members of infinite families of mathematical objects (finite simple groups, Lie groups etc), that are not examples of a pattern of such isomorphisms.
64
questions
1
vote
1
answer
59
views
An explicit isomorphism between $\mathbb{R}^+ \times {\rm Spin}^c(3,1)$ and ${\rm GL}^+(2,\mathbb{R})\times {\rm GL}^+(2,\mathbb{R})$? [closed]
I am interested in the following isomorphism
$$
\begin{align}
\mathbb{R}^+\times {\rm Spin}^c(3,1)& \cong \mathbb{R}^+\times {\rm Spin}(3,1) \times {\rm U}(1) \tag{1}\\
&\cong \mathbb{C}^+\...
- 2,551
1
vote
1
answer
68
views
Lie Algebra with certain properties is of odd dimension
Let $L$ be a Lie Algebra such that $\dim Z(L)=1$ and $L/Z(L)$ is abelian. Prove that $L\cong H_{2n+1}$ (Heisenberg algebra) for some $n\in\mathbb{N}$.
I was able to show that if $\dim L$ is odd, then ...
- 4,386
3
votes
1
answer
148
views
Can you map a 3-vector onto a spinor?
These three groups have isomorphic Lie algebras: SO(3), Spin(3), SU(2). We can think of group elements as rotating a 3-vector $\mathbf v\in R^3$ and I'll give examples for rotation by $\theta$ around ...
- 245
10
votes
2
answers
439
views
Is $ SU_2 \otimes SU_2 $ conjugate to $ SO_4(\mathbb{R}) $ in $ SU_4 $?
Let $ A,B $ be matrix groups (with entries in the same field). Then the tensor/Kronecker product $ A \otimes B $ is a matrix group and
$$
\pi: A \times B \to A \otimes B
$$
is a group homomorphism. ...
- 7,158
12
votes
2
answers
715
views
Are all isomorphisms between the Fano plane and its dual of order two?
Famously from every finite projective plane $P$ we can create a dual projective plane $P'$ by taking the points of $P'$ to be the lines of $P$ and the lines of $P'$ to be the points of $P$.
It is also ...
- 10.3k
1
vote
1
answer
98
views
What is $(\operatorname{SL}_2(\mathbb{R})\times\operatorname{SL}_2(\mathbb{R})\times\operatorname{SL}_2(\mathbb{R}))/\{\pm(I_2,I_2,I_2)\}$?
I know that $\operatorname{SL}_2(\mathbb{R})/\{\pm\operatorname{I}_2\}=\operatorname{PSL}_2(\mathbb{R})$ and that $(\operatorname{SL}_2(\mathbb{R})\times\operatorname{SL}_2(\mathbb{R}))/\{\pm(\...
- 299
3
votes
0
answers
50
views
Permutations of a $4\times4$ grid generated by permutations of rows, columns, and $2\times2$ quadrants
Over here it is claimed the group $G$ of permutations of a $4\times4$ grid generated by the subgroups $R$ of row permutations, $C$ of column permutations and $B$ of block permutations (of the four $2\...
- 151k
3
votes
2
answers
222
views
transitive action from $A_5$ on a set of $6$ elements
Can we find a transitive action from the alternating group $A_5$ on the set $X$ with 6 elements?
I think we can't because the $|X|=6$ which greater than $5$. It also because $A_4$ does not have a 6-...
- 581
5
votes
2
answers
235
views
The Homogeneous Space $SO^+(1,3)/ \text{Sim}(2)$
I'm trying to understand the homogeneous space $SO^+(1,3)/\text{Sim}(2)$.
In wikipedia it is said that "$SO^+(1,3)/\text{Sim} (2)$ is the Kleinian geometry that represents conformal geometry on ...
- 63
2
votes
1
answer
87
views
Dimensional coincidences between Lie groups
There are several exceptional isomorphisms between classical Lie groups that occur in low dimensions; of course it is necessary for the dimensions of the groups to coincide for this to happen! I'm ...
- 2,606
5
votes
1
answer
253
views
Implications of $\text{Spin}(3)\times \text{Spin}(3) \cong \text{Spin}(4)$
I recently learned that $\text{Spin}(3)\times \text{Spin}(3) \cong \text{Spin}(4)$, and find it intriguing: it seems like the sort of thing that would have lots of interesting consequences. What are ...
- 2,606
8
votes
0
answers
174
views
Categorifying $1^2+2^2+3^2+\cdots+24^2=70^2$
Does $1^2+2^2+3^2+\cdots+24^2=70^2$ or a simple equivalent have an interesting categorification?
Lots of combinatorical identities do. For instance, the Vandermonde convolution identity and the ...
- 151k
4
votes
2
answers
72
views
Extending the action $S_5$ on $2$-subsets of $\{1,\cdots,5\}$ to an action of $S_6$.
The symmetric group $S_5$ acts on the set $\binom{5}{2}$ of ten $2$-subsets of $[5]=\{1,\cdots,5\}$. In The Finite Simple Groups (Wilson), problem 2.21 asks the reader to extend the group action $S_5\...
- 151k
1
vote
0
answers
88
views
Different Lie groups of the same exceptional Lie algebra? for $\mathfrak{g_2,f_4,e_6,e_7,e_8}$
An exceptional Lie algebra is a complex simple Lie algebra whose Dynkin diagram is of exceptional (nonclassical) type. There are exactly five of them: $\mathfrak{g}_{2}$, ${\mathfrak {f}}_{4}$,${\...
- 3,607
3
votes
1
answer
427
views
About Fano plane symmetries
I have been looking for realizations of order $21$ metacyclic group. I asked about this yesterday and learned some very good information about it Realization of the metacyclic group of order 21
I was ...
user581023
5
votes
0
answers
101
views
How is $\mathbb{F}_2^4$ related to an $8$ element set?
I am trying to understand the part of this answer explaining why $A_8\cong\mathrm{PSL}_4(\mathbb{F}_2)$.
Let $|X|=8$. We can form the free vector space $\mathbb{F}_2X=\mathbb{F}_2^8$ with the usual ...
- 151k
2
votes
1
answer
262
views
Quotient of binary icosahedral group by its center, i.e., $2I/\{\pm 1\}$ is isomorphic to $A_5$
I know that the inner automorphisms of the binary icosahedral group is given by the quotient $2I/\{\pm 1\}$ where $\{\pm 1\}$ is the center of $2I$. I also know the elements of the binary icosahedral ...
- 141
0
votes
1
answer
24
views
is it a stronger property of equalizers?
I understand that if $h$ is an eqalizer of $f,f:A\rightrightarrows B$ then $h$ is an isomorphism.
Is it stronger to say that if an isomorphism $h$ is an equalizer of $f,f:A\rightrightarrows B$ then $...
- 3,872
1
vote
1
answer
92
views
Which of these "minimal" semisimple Lie algebras aren't simple?
The semisimple Lie algebras, indexed by their Dynkin diagrams, are classified as direct sums of the algebras
$$ \mathfrak{sl}_{n+1} \quad \mathfrak{so}_{2n+1} \quad \mathfrak{sp}_{2n} \quad \mathfrak{...
- 18.8k
0
votes
4
answers
256
views
mathamatical structure where a bijection is not an isomorphism
During a lecture in module theory, my lecturer mentioned that not in all mathematical structures have the property where a function is an isomorphism if and only if it is a bijection, although this is ...
- 1,166
25
votes
1
answer
665
views
Is the seven-dimensional cross product unique?
I'm confused about how many different 7D cross products there are. I'm defining a 7D cross product to be any bilinear map $V \times V \to V$ (where $V$ is the inner product space $\mathbb{R}^7$ ...
- 5,989
3
votes
1
answer
429
views
Show that $\mathfrak{so}(4)\cong \mathfrak{so}(3)\oplus \mathfrak{so}(3)$ [duplicate]
I want to show that $\mathfrak{so}(4)\cong \mathfrak{so}(3)\oplus \mathfrak{so}(3)$.
I know that as lie groups $SO(4)\cong (SU(2)\times SU(2))/\mathbb{Z}_2$ and that as $SU(2)/\mathbb{Z}_2 \cong SO(3)$...
- 335
0
votes
1
answer
211
views
Adjoint functors, inclusion functor, reflective subcategory
Suppose that a category $A$ is reflective in a category $B$ and that the inclusion functor $K:A\to B$ has a left adjoint $F:B\to A.$ Now what does it technically mean that this bijection of sets $$A(...
- 3,872
3
votes
0
answers
137
views
Could every finite simple group be related to a pair of Lie Groups?
In terms of the classification of simple groups, it is known that every finite simple group is either:
Cyclic
Alternating
Of Lie type
One of the 26 Sporadic groups
On the other hand there are 5 ...
- 4,331
1
vote
0
answers
49
views
Signature interpretable in a category K
Here on the page 10,
there is a notion of a finitary relation symbol interpretable in a category $\cal K$ with $U:{\cal K}\to \mathbb {Set}$ whose morphisms are monomorphisms preserved by $U$.
...
- 3,872
1
vote
2
answers
444
views
To complete the proof that $\operatorname{PSL}(2,\Bbb F_5)\cong A_5$
Elementary isomorphism between $\operatorname{PSL}(2,5)$ and $A_5$ I want to fill in the details of user David Speyer's algebraic proof that $\operatorname{PSL}(2,\Bbb F_5)\cong A_5$. I haven't ...
user441558
8
votes
2
answers
1k
views
Proof of isomorphism between $\text{PGL}_2(\mathbb{F}_5)$ and $S_5$
This question has been asked here before but I don't think any of the previous answers are clear to someone like me who only has an elementary background in abstract algebra. So can I take the time to ...
- 1,138
0
votes
1
answer
82
views
Find if $Z[X]/<x^2-27> $ is isomorphic or not with $Z[\sqrt3]$
$Z[\sqrt3$] = $\{a + b\sqrt3 \mid a,b \in Z \}$
To find out if the statement is true or not i tried the following. I created a surjective morphism that has $<x^2-27>$ as a kernel. And this way ...
- 480
4
votes
1
answer
321
views
The duad-syntheme-total construction for higher values of $n$
Let $X=\{1,\cdots,2n\}$. Call a $2$-subset of $X$ a duad. Let $D$ be the collection of all $X$'s duads. Call a partition of $X$ into duads a syntheme. Call a partition of $D$ into (necessarily $2n-1$) ...
- 151k
2
votes
0
answers
82
views
Tetrality and ${\frak so}(8)$'s three irreps
Over at the $n$-Category Cafe John Baez talks about something called "tetrality." This is where $S_4$ acts on the complex lie algebra $\mathfrak{so}(8,\mathbb{C})$ in a way that factors through the ...
- 151k
2
votes
0
answers
112
views
Why $\mathrm{SU}_2(\mathbb{C})/\lbrace \pm 1 \rbrace \cong \mathrm{SO}_3(\mathbb{R})$ is exceptionnal?
One can prove that $\mathrm{SU}_2(\mathbb{C})/\lbrace \pm 1 \rbrace \cong \mathrm{SO}_3(\mathbb{R})$. But why we call this isomorphism exeptionnal? I believe that we call it exptionnal because there ...
- 952
15
votes
2
answers
570
views
The "fake $\mathrm{GL}_2(\mathbb{F}_3)$" and the binary octahedral group
In this answer,
it is mentioned that the binary octahedral group can be realized as $\mathrm{GL}_2(\mathbb{F}_3)$,
with "certain elements replaced with scalar multiples in $\mathrm{GL}_2(\mathbb{F}_9)$...
- 3,379
0
votes
1
answer
30
views
Questions on Isomorphisims
$\mathbb{N}$, the set of natural numbers is set theoretically isomorphic to $\mathbb{Z}$,the set of integer.
But my questions is why it is isomorphic to $\mathbb{Q}$, the set of rational numbers but ...
- 373
4
votes
1
answer
700
views
Spin(4,1) = Sp(1,1) isomorphism
I am interested in the exceptional isomorphism Spin(4,1) = Sp(1,1).
The correspondance is already mentioned here: spin group Spin(4,1) but the explicit isomorphism is not given.
I would like to know ...
- 43
4
votes
5
answers
2k
views
Seeing $PSL_2(\mathbb{C}) \cong SO_3(\mathbb{C})$
How can I see the isomorphism between projective special linear group (order 2) and the special orthogonal group (order 3)?
I know only this setting $PSL_2(\mathbb{C}) = SL_2(\mathbb{C})/Z(SL_2(\...
- 600
46
votes
11
answers
3k
views
Amazing isomorphisms [closed]
Just as a recreational topic, what group/ring/other algebraic structure isomorphisms you know that seem unusual, or downright unintuitive?
Are there such structures which we don't yet know whether ...
- 851
1
vote
0
answers
81
views
How can I prove that $PSL(2,3)\simeq A_4$?
I would like to prove that $PSL(2,3) \simeq A_4$.
I know the structure of $SL(2,3)$ and that $A_4=V\rtimes C_3$, where $V$ is the Klein subgroup.
How can I proceed?
Thanks for the help!
- 1,765
2
votes
0
answers
272
views
Find an isomorphism $PGL_2(F_3) \cong S_4$
I am struggling to find an explanation why this true, I know and I'm sorry that kind of question is commonly asked , although I couldn't find anything about this particular question.
Help is ...
- 21
2
votes
2
answers
478
views
Projectivization and stereographic projection, or: Why nonlinear + nonlinear = linear?
This previous question had me thinking about something I've taken for granted. Consider $\mathrm{SL}_2(\mathbb{C})$ acting on $\mathbb{C}^2$, which descends to an action on the complex projective line ...
- 151k
10
votes
1
answer
607
views
The last accidental spin groups
For dimensions $n\le 6$ there are accidental isomorphisms of spin groups with other Lie groups: $\DeclareMathOperator{Spin}{\mathrm{Spin}}$
$$\begin{array}{|l|l|} \hline \Spin(1) & \mathrm{O}(1) \\...
- 151k
1
vote
1
answer
229
views
Is SU(2) a subgroup of the exceptional lie group $G_2$?
I am not an expert in Lie groups and I have spent ages looking at textbooks; I assume that because I haven't found this statement explicitly it must either be untrue or obvious ;)
The only thing I ...
- 108
5
votes
1
answer
749
views
$SL_2(\mathbb Z_3)/Z(SL_2(\mathbb Z_3)) \cong A_4$
I am trying to prove that the quotient group $SL_2(\mathbb Z_3)/Z(SL_2(\mathbb Z_3))$ is isomorphic to $A_4$.
I could show that $SL_2(\mathbb Z_3)$ has $24$ elements (one can see this calculating all ...
- 3,847
4
votes
2
answers
539
views
Group homomorphism from $SL_2 (\mathbb Z / 5 \mathbb Z)$ to $S_5$
I need to find a group homomorphism from $SL_2 (\mathbb Z / 5 \mathbb Z)$ to $S_5$. There is obviously the trivial homomorphism but I am then asked to deduce that $SL_2 (\mathbb Z / 5 \mathbb Z)/\{I,-...
0
votes
1
answer
321
views
Tensor products isomorphic to hom-sets with a structure
In which cases the tensor product of objects, say A and B, is (isomorphic with) the objects with the carrier set Hom(A,B) and a corresponding structure?
- 1
2
votes
1
answer
87
views
Isomorphism between $E$ and $Lin(E)$ : infinite dimensional case.
Does $E$ and $Lin(E)$ where $Lin(E)=\{A : E \rightarrow E ∣ A \quad\text{is linear}\}$ are isomorph if $E$ infinite dimensional case ?
I know that if $E$ is finite dimension the result is true if ...
- 1,576
0
votes
1
answer
734
views
Discrete math Group - Isomorphism and Automorphism
Let G be a Cyclic group
Prove or disprove:
A.let $ a,b \in G \quad $ so the function $ f:G \to G,f(a^k) = b^k$ is Automorphism of G(which means G is Isomorphism to herself)
B.let a,b generators ...
- 65
3
votes
1
answer
58
views
Are there infinite positive $n \in \Bbb N$ such that ($D^+_n$, |) is isomorphic to ($D^+_{4100}$, |)?
Are there infinite positive $n \in \Bbb N$ such that ($D^+_n$, |) is isomorphic to ($D^+_{4100}$, |)?
I'm guessing no because I can't relate every element of ($D^+_{4100}$, |) to ($D^+_n$, |) because ...
- 93
0
votes
1
answer
122
views
How can I prove that $(ℤ, ≺)$ is not isomorphic to $(ℕ, ≤)$
We define the relation $≺$ between pairs of integers like this: $n≺m$ is true if and only if one of the following conditions holds:
a) $0≤n≤m$
b) $0≤n$ and $m<0$
c) $n<0 , m<0$ and $|n|≤...
- 117
0
votes
1
answer
202
views
Abstract Algebra: Find a number of non-isomorphic subgroup of $S_3$
I'm having difficulty in understanding the method to find the solution for this question.
I repeat
Question: Find the number of non-isomorphic subgroup of $S_3$
So is this the way to find the ...
3
votes
2
answers
1k
views
Prove that $PSL(2,9)\cong A_6.$
I have tried to solve the Exercise 8.12, page 227, in Joseph J. Rotman, An Introduction to the Theory of Groups, Fourth Edition, Graduate texts in Mathematics, Springer-Verlag, New York (1995).
The ...
- 227