diagram chasing the wreath
Having an action between two groups means a map that comply
Then one can assemble a new operation on to construct the semidirect product . The group obtained is by operating
Let be a set and the set of all maps . If we have an action then, we also can give action via
Then we define
the so called permutational wreath product.
This ultra-algebraic construction allow to give a proof of two pillars theorems in group theory: Nielsen – Schreier and Kurosh.
The proof becomes functorial due the properties of this wreath product.
The following diagram is to be exploited
The WordPress.com stats helper monkeys prepared a 2013 annual report for this blog.
Here’s an excerpt:
A New York City subway train holds 1,200 people. This blog was viewed about 5,200 times in 2013. If it were a NYC subway train, it would take about 4 trips to carry that many people.