Tour:Interdisciplinary problems five (beginners)
This page is a Interdisciplinary problems page, part of the Groupprops guided tour for beginners (Jump to beginning of tour)
UP: Introduction five |
PREVIOUS SECTION Interdisciplinary problems: Interdisciplinary problems four|NEXT SECTION Interdisciplinary problems: Interdisciplinary problems six
General instructions for the tour | Pedagogical notes for the tour | Pedagogical notes for this part
Contents
Topology
Review Tour:Interdisciplinary problems two (beginners)#Topology and Tour:Interdisciplinary problems three (beginners)#Topology before beginning.
Recall that a topological group is a group that is also a topological space, where the group operation and inverse map are both continuous.
Actions of (discrete) groups on topological spaces
Suppose is a group (with no topology, or equivalently, with the discrete topology) and is a topological space. A topological group action of on is defined to be a group action in the set-theoretic sense, with the additional condition that for any , the permutation of induced by is a self-homeomorphism of .
Equivalently, it is a homomorphism from to the group of self-homeomorphisms of .
The action is termed faithful or effective if no non-identity element of acts as the identity on .
Note that the actions here are only assumed to be topological, and need not preserve any of the further structure of the topological space.
- Prove that the only cyclic groups of finite order that have a faithful action on the topological space are the trivial group and the cyclic group of order two. (Hint: Use the ordering of the reals)
- Prove that every cyclic group of finite order has a faithful action on the topological space . (Hint: Consider rotations).
- Let be a natural number. Prove that the symmetric group of degree has a faithful group action on the topological space for any topological space .
- Prove that every finite group has a faithful group action on some Euclidean space (in the topological sense).
- NEEDS LOT OF THOUGHT: Give an example of a finite group and a natural number such that has a faithful group action on but does not have any faithful action on that preserves the Euclidean distance.
- Suppose is an infinite set endowed with the cofinite topology: the proper closed subsets are precisely the finite subsets. Prove that any group action of a group on is a topological group action.
Actions of topological groups on topological spaces
Suppose is a topological group and is a topological space. A group action of on is termed a topological group action if the map associated with the action is continuous, where has the product topology.
- Prove that the action of a topological group on itself by left multiplication is a topological group action.
- Suppose is a continuous homomorphism of topological groups, and has a topological group action on a topological space . Construct a topological group action of on .
Measure theory
A distribution over permutations
Suppose is the symmetric group of degree , and is the set of all probability distributions over elements of . A probability distribution over elements of is an expression of the form:
- Make a monoid by using the multiplication in the group, pulling out scalars, and collecting terms. (In particular, prove that the product defined this way also satisfies the conditions for being a probability distribution).
- Determine the significance of this monoid from the viewpoint of probabilities.
- Prove that in this monoid, the uniform distribution, defined as the distribution where all are equal to , is an idempotent element: it equals its own square.
- NEEDS LOT OF THOUGHT: Find all idempotent probability distributions. (Hint: Relate these with subgroups)
- Shuffle permutations: PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE]
Category theory
The category of groups is the category whose objects are groups and such that the morphism set between two objects (groups) is the set of group homomorphisms between them. From the definition, it follows that isomorphisms in the category of groups are precisely the same as isomorphisms of groups.
Categories with initial and terminal object
- An initial object in a category is an object such that there is a unique morphism from it to any object. Prove that the trivial group is an initial object in the category of groups. (Since initial objects, if they exist, are unique up to isomorphism, the trivial group is the only initial object up to isomorphism in the category of groups).
- A final object in a category is an object such that there is a unique morphism to it from any object. Prove that the trivial group is a final object in the category of groups.
- A zero object in a category is an object that is both an initial and a final object. 'Prove that the trivial group is a zero object in the category of groups.
- A trivial morphism or zero morphism in a category with a zero object is a morphism that is a composite of a morphism to the zero object and a morphism from the zero object. Prove that the trivial morphism between two groups is simply the homomorphism sending every element to the identity element.
Products
- Prove that the external direct product of two groups is their product in the categorical sense.
- Construct a natural homomorphism from the coproduct of two groups in the categorical sense to their external direct product. (The coproduct in the categorical sense is called the free product of groups in group theory).