Multivariate gamma function

In mathematics, the Schreier refinement theorem of group theory states that any two subnormal series of subgroups of a given group have equivalent refinements, where two series are equivalent if there is a bijection between their factor groups that sends each factor group to an isomorphic one.

The theorem is named after the Austrian mathematician Otto Schreier who proved it in 1928. It provides an elegant proof of the Jordan–Hölder theorem. It is often proved using the Zassenhaus lemma.

Example

Consider $\mathbb{\mathbb{Z}}/(2)\times S_3$, where $S_3$ is the symmetric group of degree 3. There are subnormal series

$\{[0]\}\times \{\mathrm{id}\}◃\mathbb{\mathbb{Z}}/(2)\times \{\mathrm{id}\}◃\mathbb{\mathbb{Z}}/(2)\times S_3,$

$\{[0]\}\times \{\mathrm{id}\}◃\{[0]\}\times S_3◃\mathbb{\mathbb{Z}}/(2)\times S_3.$

$S_3$ contains the normal subgroup $A_3$. Hence these have refinements

$\{[0]\}\times \{\mathrm{id}\}◃\mathbb{\mathbb{Z}}/(2)\times \{\mathrm{id}\}◃\mathbb{\mathbb{Z}}/(2)\times A_3◃\mathbb{\mathbb{Z}}/(2)\times S_3$

with factor groups isomorphic to $(\mathbb{\mathbb{Z}}/(2),A_3,\mathbb{\mathbb{Z}}/(2))$ and

$\{[0]\}\times \{\mathrm{id}\}◃\{[0]\}\times A_3◃\{[0]\}\times S_3◃\mathbb{\mathbb{Z}}/(2)\times S_3$

with factor groups isomorphic to $(A_3,\mathbb{\mathbb{Z}}/(2),\mathbb{\mathbb{Z}}/(2))$.

References

• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534