Difference between revisions of "Tour:Examples peek two (beginners)"
From Groupprops
(New page: {{guided tour|beginners|Introduction two|Interdisciplinary problems two (beginners)|Mind's eye test two (beginners)}} The page develops some examples of groups, monoids and other related ...) |
|||
Line 25: | Line 25: | ||
# '''Prove that''' the number of <math>x</math> such that <math>x^2 = 1</math> in this monoid is 1 for <math>n = 1</math> and <math>n = 2</math>, 2 for <math>n = 4</math>, <math>n = 2p^k</math> and <math>n = p^k</math> where <math>k</math> is an odd prime, and strictly greater than 2 otherwise. | # '''Prove that''' the number of <math>x</math> such that <math>x^2 = 1</math> in this monoid is 1 for <math>n = 1</math> and <math>n = 2</math>, 2 for <math>n = 4</math>, <math>n = 2p^k</math> and <math>n = p^k</math> where <math>k</math> is an odd prime, and strictly greater than 2 otherwise. | ||
# '''Prove that''' the cancellative elements of this monoid form a subgroup, and these are the same as the elements <math>a</math> that are relatively prime to <math>n</math>. | # '''Prove that''' the cancellative elements of this monoid form a subgroup, and these are the same as the elements <math>a</math> that are relatively prime to <math>n</math>. | ||
+ | |||
+ | ==Permutations and functions== | ||
+ | |||
+ | # Let <math>S</math> be an infinite set. '''Prove that''' the set of all functions from <math>S</math> to <math>S</math> form a monoid under composition. Here, the product of two functions <math>f</math> and <math>g</math> is the function <math>f \circ g = x \mapsto f(g(x))</math>. We'll call this monoid <math>M</math>. | ||
+ | # '''Prove that''' the set of injective maps from <math>S</math> to <math>S</math> is a submonoid, the set of surjective maps from <math>S</math> to <math>S</math> is a submonoid, and the set of bijective maps from <math>S</math> to <math>S</math> is a subgroup (it is the group of all permutations on <math>S</math>, denoted <math>\operatorname{Sym}(S)</math>. | ||
+ | # '''Prove that''' if <math>f:S \to S</math> is injective, then <math>f</math> is a left-cancellative element of the monoid of all functions under composition. | ||
+ | # '''NEEDS SOME THOUGHT''': Prove the converse statement: if <math>f:S \to S</math> is left-cancellative, then <math>f</math> is injective. | ||
+ | # (''For those who know the Cantor-Bernstein-Schroeder theorem'') Prove that the left-invertible elements in <math>M</math> are precisely the injective maps. | ||
+ | # Formulate and prove analogous statements related surjective maps, right-cancellative elements and right-invertible elements. | ||
+ | |||
+ | ==Metric spaces and maps between them== | ||
+ | |||
+ | # Let <math>M</math> be the set of all functions <math>f:\R^2 \to \R^2</math> with the property that for any <math>x,y \in \R^2</math>, the distance between <math>f(x)</math> and <math>f(y)</math> is not greater than the distance between <math>x</math> and <math>y</math>. Prove that <math>M</math> is a monoid under function composition. | ||
+ | # '''NEEDS SOME THOUGHT''': Find an element of <math>M</math> that gives a surjective map that is ''not'' injective. | ||
+ | # '''Prove that''' the group of invertible elements of <math>M</math> is precisely the group of isometries of <math>\R^2</math>. | ||
+ | |||
+ | {{guided tour-bottom|beginners|Introduction two|Interdisciplinary problems two (beginners)|Mind's eye test two (beginners)}} |
Revision as of 20:58, 23 July 2008
This page is part of the Groupprops Guided tour for beginners (Jump to beginning of tour)
PREVIOUS: Mind's eye test two (beginners) |UP: Introduction two (beginners) | NEXT: Interdisciplinary problems two (beginners)
The page develops some examples of groups, monoids and other related structures in different contexts. The page can be skipped without any loss and content in this page will not be referred to except in future Examples peek pages. This page develops examples originally looked at in Examples peek one.
Contents
Integers under multiplication
- Prove that the rational numbers, under multiplication, form a monoid. Further, prove that the nonzero rational numbers form a subgroup of this monoid.
- Prove that the positive integers, under multiplication, form a cancellative monoid.
- For any positive integer , prove that the set of positive integers such that is a submonoid of the monoid of all positive integers.
- Using the identity , prove that the set of all integers that can be written as a sum of two squares, forms a monoid under multiplication.
Integers under addition
- Prove that the nonnegative integers form a monoid under addition.
- Prove that for any positive integer , the set of integers , along with 0, form a submonoid of this monoid.
- NEEDS LOT OF THOUGHT: Let be positive integers whose greatest common divisor is 1. Prove that the set of elements of the form , where are nonnegative integers, is a submonoid of the monoid of nonnegative integers. Further, prove that this submonoid is cofinite: there are only finitely many nonnegative integers not in this submonoid.
Modular arithmetic
In examples peek one, we defined the additive group of integers mod , for any positive integer . Now, we define the multiplicative monoid of integers mod , for any positive integer .
- For a positive integer , consider the set . Define a multiplication on the set by the following rule: multiple them as integers, and then take the remainder of the product mod . Prove that with this multiplication, we get a monoid.
- Prove that this monoid is never a group.
- Find all the idempotent elements in this monoid. In other words, find all the elements satisfying . The solution depends, of course, on .
- Prove that the number of such that in this monoid is 1 for and , 2 for , and where is an odd prime, and strictly greater than 2 otherwise.
- Prove that the cancellative elements of this monoid form a subgroup, and these are the same as the elements that are relatively prime to .
Permutations and functions
- Let be an infinite set. Prove that the set of all functions from to form a monoid under composition. Here, the product of two functions and is the function . We'll call this monoid .
- Prove that the set of injective maps from to is a submonoid, the set of surjective maps from to is a submonoid, and the set of bijective maps from to is a subgroup (it is the group of all permutations on , denoted .
- Prove that if is injective, then is a left-cancellative element of the monoid of all functions under composition.
- NEEDS SOME THOUGHT: Prove the converse statement: if is left-cancellative, then is injective.
- (For those who know the Cantor-Bernstein-Schroeder theorem) Prove that the left-invertible elements in are precisely the injective maps.
- Formulate and prove analogous statements related surjective maps, right-cancellative elements and right-invertible elements.
Metric spaces and maps between them
- Let be the set of all functions with the property that for any , the distance between and is not greater than the distance between and . Prove that is a monoid under function composition.
- NEEDS SOME THOUGHT: Find an element of that gives a surjective map that is not injective.
- Prove that the group of invertible elements of is precisely the group of isometries of .
This page is part of the Groupprops Guided tour for beginners (Jump to beginning of tour). If you found anything difficult or unclear, make a note of it; it is likely to be resolved by the end of the tour.
PREVIOUS: Mind's eye test two (beginners) | UP: Introduction two (beginners) | NEXT: Interdisciplinary problems two (beginners)