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