Наличие нейтрального элемента

У меня есть вопрос в следующем упражнении:

Позволять * быть бинарной операцией, определенной на р к:

Икс * у "=" Икс у + ( Икс 2 1 ) ( у 2 1 )
Икс , у е р .

Покажи то * имеет нейтраль и определить его явно.

я это уже доказал * коммутативно, поэтому достаточно доказать, что * имеет нейтраль с одной стороны. Итак, мы ищем е такой, что Икс * е "=" Икс для всех Икс е р .

При разработке имеем:

Икс * е "=" Икс е + ( Икс 2 1 ) ( е 2 1 ) "=" Икс Икс ( е 1 ) + ( Икс 2 1 ) ( е 1 ) ( е + 1 ) "=" 0
( е 1 ) ( Икс + ( Икс 2 1 ) ( е + 1 ) ) "=" 0 е 1 "=" 0  или  ( Икс 2 1 ) ( е + 1 ) + Икс "=" 0
е "=" 1  или  е "=" 1 Икс Икс 2 Икс 2 1

Тогда нейтральный элемент будет равен 1 в случае, если Икс 2 1 "=" 0 и 1 Икс Икс 2 Икс 2 1 в другом случае.

Это верно?

Элемент идентификатора не должен зависеть от Икс а быть отдельным элементом р .

Ответы (3)

Другой подход

Если е является нейтральным элементом, то обязательно

0 * е "=" 0

или

( е 2 1 ) "=" 0

Так

е "=" ± 1

Нам просто нужно это проверить е "=" 1 удовлетворяет

( Икс е р ) е * Икс "=" Икс

Спасибо за подход

Как вы написали, мы ищем е такой, что Икс * е "=" Икс для всех Икс е р .

Вам не нужно находить е с точки зрения Икс . Вам нужно одно реальное число е который работает для всех значений Икс .

Поскольку значение, которое вы ищете, должно работать с каждым Икс , вы должны искать значение Икс что упрощает нахождение таких е .

Посмотрите, что произойдет, если мы выберем Икс "=" 1 . Затем е должен удовлетворить 1 * е "=" 1 . То есть 1 е + ( 1 2 1 ) ( е 2 1 ) "=" 1 что сводится к е "=" 1 . Как только вы обнаружите, что е "=" 1 работает на Икс "=" 1 , просто убедитесь, что е "=" 1 работает для всех Икс :

Икс * 1 "=" Икс 1 + ( Икс 2 1 ) ( 1 2 1 ) "=" Икс

Спасибо, ваш ответ прекрасно дополняет другие.

Может быть только один нейтральный элемент. А из ваших расчетов следует, что е "=" 1 будет работать.

Спасибо за вклад