Tour:Interdisciplinary problems three (beginners)
This page is a Interdisciplinary problems page, part of the Groupprops guided tour for beginners (Jump to beginning of tour)
PREVIOUS: Hard nuts three (beginners)| UP: Introduction three | NEXT: Examples peek three (beginners)
PREVIOUS SECTION Interdisciplinary problems: Interdisciplinary problems two|NEXT SECTION Interdisciplinary problems: Interdisciplinary problems four
General instructions for the tour | Pedagogical notes for the tour | Pedagogical notes for this part
The problems here relate ideas in group theory to ideas in other subjects. Learners who already have some experience with the other subjects may try these problems to cement their understanding of what has been learned in parts one and two of the tour. Moreover, these problems build on themes introduced in Tour:Interdisciplinary problems two (beginners), so a review of those problems may be helpful.
Contents
Topology
A topological group is a set with a topology as well as a group structure, so that the inverse map is continuous with respect to the topology, and the multiplication map is continuous as a map from to .
We'll need to remember the following facts about topological groups:
- For a topological group and an element , the left multiplication by , given by , is a homeomorphism. It sends open subsets to open subsets and closed subsets to closed subsets. Similarly, right multiplication by is a homeomorphism.
- An arbitrary union of open subsets of a topological space is open.
- A finite intersection of open subsets of a topological space is open.
- The subset of a topological space is closed if and only if its complement is open.
Cosets, intersections, open and closed
- Prove that if a subgroup of a group is open (resp., closed) so is every left and right coset of the subgroup.
- Prove that any open subgroup of a topological group is closed.
- Prove that any closed subgroup of finite index in a topological group is open.
- Prove that if are groups, with a topological group, and open in , then is open in .
- Prove that if are groups, with a topological group, finite, and closed in , then is closed in .
- (For those who know connectedness) Prove that in a connected topological group, there is no proper open subgroup, and every proper closed subgroup has infinite index.
- (For those who know compactness) Prove that in a compact topological group, every open subgroup has finite index.
- Prove that an arbitrary intersection of closed subgroups is closed.
Subgroup generated
- NEEDS SOME THOUGHT: If is an open subset of , prove that the subgroup generated by is an open subgroup of
- Use the previous problem and an earlier exercise to deduce that if is a connected group, it is generated by any nonempty open subset.
- NEEDS SOME THOUGHT: Prove that the closure (in a topological sense) of a subgroup of a group must also be a subgroup.
- NEEDS SOME THOUHT: Define the closed subgroup generated by a subset in a topological group to be the intersection of all closed subgroups of containing . Prove that the closed subgroup generated by is the same as the closure (in a topological sense) of the subgroup generated by .
- (For those who have seen groups of motions in Euclidean space) NEEDS LOT OF THOUGHT: Prove that a join of two closed subgroups of a topological group need not be closed. (An explicit example can be constructed using reflections about lines at an irrational angle)
Measure theory
A left-invariant measure on a group is a measure with the property that for any , the map is a measure-preserving transformation. In other words, for any measurable subset of , is measurable and .
In the exercises, we shall assume that is a group with left-invariant measure , and we will further assume that is finite.
Lagrange's theorem and applications
- Prove that if is a measurable subgroup of , then . In other words, the index of in equals the ratio of the measure of to the measure of .
- Prove that if is a proper measurable subgroup of , then .
- NEEDS SOME THOUGHT: Prove that if we have an ascending chain of subgroups of :
where each is measurable, and is the union of the s, then there exists some for which .
Other algebraic structures
Quasigroups
- Prove that if is a proper subquasigroup of a finite quasigroup, then the size of is at most half the size of . (Hint: Use the fact that multiplying any element outside with any element inside gives an element outside .) Further information: Subquasigroup of size more than half is whole quasigroup
- Prove that if is a proper subquasigroup of an infinite quasigroup , then the complement is infinite. Further information: Proper subquasigroup of infinite quasigroup is coinfinite
Combinatorics
Sidon subsets
- A subset of an Abelian group is termed a Sidon subset (we studied these in interdisciplinary problems two). A maximal Sidon subset is a Sidon subset not properly contained in a bigger Sidon subset. Prove that a maximal Sidon subset cannot completely be contained inside a coset of a proper subgroup.
Fibonacci sequences
- A Fibonacci sequence in an Abelian group is defined as follows. and are defined as arbitrary elements of , and is defined inductively as . Prove that any Fibonacci sequence in lies inside the subgroup generated by and .
Universal algebra
Number of generators needed to express a law
The axiomatization for groups includes associativity, that needs universal quantification over three elements. Can we get an axiomatization that does not require quantification over three elements? We explore this and related questions here.
- Suppose a variety of algebras can be described using a collection of universal identities where no identity requires universal quantification over more than elements. Prove that an algebra with the required operations is in the variety if and only if for any elements of the algebra, there is a subalgebra of the algebra containing those elements, that is in the variety.
- NEEDS LOT OF THOUGHT: Construct a magma that is not a semigroup, but with the property that the submagma generated by any two elements is a semigroup. Using this, show that the variety of semigroups cannot be axiomatized with laws having fewer than three universally quantified elements.
- NEEDS LOT OF THOUGHT: Construct an algebra loop that is not a group, but with the property that the subloop generated by any two elements is a subgroup. Using this, show that the variety of groups cannot be axiomatized with laws having fewer than three universally quantified elements.
Permutational invariance of laws
Given a binary operation, we can consider the opposite binary operation: a binary operation that acts on the inputs in the reverse. and are opposite if for all and .
- Prove that a binary operation is commutative if and only if it equals the opposite operation.
- Prove that a binary operation is associative if and only if the opposite operation is associative.
- Prove that a binary operation admits a two-sided neutral element if and only if the opposite operation does, and that the neutral element is the same for both. (Note: In fact, left neutral elements for a binary operation are right neutral for the opposite operation).
- Prove that a binary operation is left-cancellative if and only if the opposite operation is right-cancellative.
- Prove that an element is left-invertible for a binary operation if and only if it is right-invertible for the opposite binary operation.
In other words, all the laws we have used are preserved on passing to the opposite operation. Thus:
- Prove that a magma is a semigroup if and only if its opposite magma is.
- Prove that a magma is a monoid if and only if its opposite magma is.
- Prove that a magma is a group if and only if its opposite magma is.
- Prove that a magma is a quasigroup if and only if its opposite magma is.
This page is a Interdisciplinary problems page, part of the Groupprops guided tour for beginners (Jump to beginning of tour)
PREVIOUS: Hard nuts three (beginners)| UP: Introduction three | NEXT: Examples peek three (beginners)
PREVIOUS SECTION Interdisciplinary problems: Interdisciplinary problems two|NEXT SECTION Interdisciplinary problems: Interdisciplinary problems four
General instructions for the tour | Pedagogical notes for the tour | Pedagogical notes for this part