> Show

is an injection, then since it's a map from a finite set to itself that implies it's also a surjection.
> Покажите, что

является инъекциeй , а поскольку это - функция от конечного множества

к множеству

, то эта функция также сюръекция .
Для

, значения

в

, так? Тогда

? Тогда откуда мы знаем, что

?
Context:
http://www.reddit.com/r/cheatatmathhome ... _inverses/http://math.stackexchange.com/questions ... 70#1166370edit:
Изначальная проблема:
Let

be a finite group, say a group with

elements, and let

be a nonempty
subset of

. Suppose

, and that

is closed with respect to multiplication. Prove
that

is a subgroup of

. (HINT: It remains to prove that

is closed with respect to
inverses. Let

; one of these elements is

. If

, consider the *distinct* elements

.
Пусть

конечная группа и пусть непустое множество

будет подмножеством

. Допустим

закрыт под умножением и

. Докажите, что

подгруппа

.
В ссылке ниже - это проблема номер

на странице

:
https://books.google.com/books?id=qviuE ... rove+that+
+is+closed+with+respect+to+inverses+pinter&source=bl&ots=bGUZ9XCcDc&sig=KfJ3I75gbZGk0RbGfVvbS1SGpQk&hl=en&sa=X&ei=EUvvVNGWMM7coATj8ICgDA&ved=0CB8Q6AEwAA#v=onepage&q=HINT%3A%20It%20remains%20to%20prove%20that%20%24G%24%20is%20closed%20with%20respect%20to%20inverses%20pinter&f=false
Мой аргумент:
Пусть

и

. Тогда один из или любое количество из

в

для некоторого

поскольку

закрыт под умножением. Один из

есть

потомu что

в

. Тогда один из

,

в

.
На что мне сказали:
You need to argue why one of them must be

. Show

is an injection, then since it's a map from a finite set to itself that implies it's also a surjection(
http://www.reddit.com/r/cheatatmathhome ... es/coxqssj).
Тебе надо доказать, что один из

есть

. [Для чего] Покажи, что

является инъекциeй , а поскольку это - функция от конечного множества

к множеству

, то эта функция также сюръекция.
Вот и возник вопрос:
Для

, значения

в

, так? Тогда

? Тогда откуда мы знаем, что

?