Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
9
votes
Accepted
Existence of a group $G\subset O(n)$ along with a homomorphism $\phi :G \to \mathbb{Z}_2 = \...
$\DeclareMathOperator\SO{SO}$Fix even $n=2m\ge 4$. Let $G_0$ be the copy of $\SO(m)\times\SO(m)$ in $\SO(2m)$. Let $G$ be generated by $G_0$ and an element of order 2 switching the two copies of $\mat …
31
votes
Is SO(4) a subgroup of SU(3)?
No. Indeed $\mathrm{SO}(4)$ satisfies the following condition (which is a first-order existential formula) but not $\mathrm{SU}(3)$:
$$\exists w,x,y,z: [x,w]\neq 1\neq [y,z],\; [w,y]=[w,z]=[x,y]=[x,z] …
4
votes
Accepted
Finite subgroups of $O_n(\mathbb{Z})$ versus $O_n(\mathbb{Q})$
Let $n=m^2$ be a square. Then the vector $(1,\dots,1)\in\mathbf{Q}^n$ has norm $m$, as does $(0,\dots 0,m)$. Hence by Witt's theorem there exists an element $u$ of $\mathrm{O}_n(\mathbf{Q})$ mapping $ …
16
votes
Is $O_n({\bf Q})$ dense in $O_n({\bf R})$?
Yes, here'a a proof by induction, granted the $n=2$ case (which is the only one where [basic] arithmetic occurs).
Let $G$ be the closure. I first claim that $G$ acts transitively on the sphere. Indeed …
7
votes
Accepted
When do two non-degenerate quadratic forms give rise to isomorphic Lie algebras?
Here's a proof assuming $n\ge 3,n\neq 8$ that the Lie algebras are isomorphic only when the quadratic forms are equivalent up to rescaling (I assume $K$ has characteristic zero and fix an algebraicall …