Intereting Posts

Estimating the volume of a tumor from x-ray scans
2013 Putnam A1 Proof understanding (geometry)
How to calculate the following determinants (all ones, minus $I$)
converge and converge absolutely of a series
Categorical Pasting Lemma
Entire function bounded by a polynomial is a polynomial
Proof by contradiction and Incompleteness
Projective Noether normalization?
Associativity of Cartesian Product
Algorithm to write an element of $SL_2(\mathbb{Z})$ as a product of $S, T^n$
Find the limiting value of $S=a^{\sqrt{1}}+a^{\sqrt{2}}+a^{\sqrt{3}}+a^{\sqrt{4}}+…$ for $0 \leq a < 1$
Is the set of all conformal structures on $\mathbb{R}^n$ a manifold? Does it have a name?
Splitting equilateral triangle into 5 equal parts
Why is the decimal representation of $\frac17$ “cyclical”?
Maximize :: $A = B \times C$

Let us consider

$$

1 \to N \to SU(2) \to Q \to 1

$$

(1). Can we find some examples of $N$ and $Q$ so that either $N$ or $Q$ contain finite groups?

We know $SU(2)/Z_2=SO(3)$, so we can choose $N=Z_2$ and $Q=SO(3)$ as an example. Here $Z_n$ is $Z/nZ$ as a finite group of order $n$.

- Is $x^6 + 3x^3 -2$ irreducible over $\mathbb Q$?
- Traces of powers of a matrix $A$ over an algebra are zero implies $A$ nilpotent.
- Multivariable Gauss's Lemma
- Is $\mathbb{Q}=\{a+bα+cα^2 :a,b,c ∈ \mathbb{Q}\}$ with $α=\sqrt{2}$ a field?
- Coproduct in the category of (noncommutative) associative algebras
- A counterexample to the isomorphism $M^{*} \otimes M \rightarrow Hom_R( M,M)$

Since $SU(2)$ contains the quaternion $H_8$ as a subgroup (correct?), then $SU(2) \supset H_8$. We know $H_8/Z_2=(Z_2)^2$ and $H_8/Z_4=Z_2$. Do we have something similar by replacing $H_8$ by $SU(2)$? Does it make sense to consider:

(2)

$$SU(2)/N=(Z_2)^2$$

$$SU(2)/Z_2=SO(3) \text{ ( see the above )}$$

$$SU(2)/N=Z_2$$

$$SU(2)/Z_4=Q$$

What are these $N$ and $Q$ if they make senses?

–

(3) If $H_8$ is a normal subgroupof $SU(2)$ (is this true?), then we can ask

$$

1 \to H_8 \to SU(2) \to Q \to 1

$$

What is $Q=SU(2)/H_8=?$

Partial answers are welcome!

- Finite group of order $mn$ with $m,n$ coprime
- Infinite direct product of fields.
- Algebraic structure cheat sheet anyone?
- Elegant approach to coproducts of monoids and magmas - does everything work without units?
- Prove or disprove: $(\mathbb{Q}, +)$ is isomorphic to $(\mathbb{Z} \times \mathbb{Z}, +)$?
- Every element of a group has order $2$. Why, intuitively, is it abelian?
- For $G$ group and $H$ subgroup of finite index, prove that $N \subset H$ normal subgroup of $G$ of finite index exists
- $(x_1-a_1, x_2-a_2)$ is a maximal ideal of $K$
- Idea behind defining a Projective System
- question about characteristic of idempotent.

- Non-orthogonal projections summing to 1 in infinite-dimensional space
- Multiple self-convolution of rectangular function – integral evaluation
- Classification of Proper Maps between domains in $\mathbb{R}^n$
- Radon–Nikodym derivative and “normal” derivative
- Vanishing at the infinity of a function in the Sobolev space.
- When does $V/\operatorname{ker}(\phi)\simeq\phi(V)$ imply $V\simeq\operatorname{ker}(\phi)\oplus\phi(V)$?
- Find $\lim_{x \to – \infty} \left(\frac{4^{x+2}- 2\cdot3^{-x}}{4^{-x}+2\cdot3^{x+1}}\right)$
- Analytic floor function, why this seems to work?
- Statement that is provable in $ZFC+CH$ yet unprovable in $ZFC+\lnot CH$
- Show that the Kelvin-transform is harmonic
- Dominated convergence theorem with $f_n(x)=\frac{1}{\sqrt{2\pi}}e^{-\sqrt{n}x}\left(1+\frac{x}{\sqrt{n}}\right)^n\chi_{}$
- Solving Cubic Equations (With Origami)
- The vanishing ideal $I_{K}(A\!\times\!B)$ is generated by $I_{K}(A) \cup I_{K}(B)$?
- Free Graph Theory Resources
- How to find all the coset leaders? (follow-up to a previous question)