The best way to learn math and computer science.
Patrick Corn and Jimin Khim contributed
In general, there may be more than one left identity or right identity; there also might be none.
Let \(S = \mathbb R,\) and define \(*\) by the formula \[ a*b = a^2-3a+2+b. \] What are the left identities, right identities, and identity elements?
If \(e\) is a left identity, then \(e*b=b\) for all \(b\in \mathbb R,\) so \( e^2-3e+2+b=b,\) so \(e^2-3e+2=0.\) This has two solutions, \(e=1,2,\) so \(1\) and \(2\) are both left identities.
If \(f\) is a right identity, then \( a*f=a\) for all \(a \in \mathbb R,\) so \( a = a^2-3a+2+f,\) so \(f = -a^2+4a-2.\) But no \(f\) can be equal to \(-a^2+4a-2\) for all \(a \in \mathbb R\): for instance, taking \(a=0\) gives \(f=-2,\) but taking \(a=1\) gives \(f=1.\) This is impossible. So there are no right identities.
Because there is no element which is both a left and right identity, there is no identity element. \(_\square\)
It is the case that if an identity element exists, it is unique:
If \(S\) is a set with a binary operation, and \(e\) is a left identity and \(f\) is a right identity, then \(e=f\) and there is a unique left identity, right identity, and identity element.
By the properties of identities, \[ e = e*f = f. \] If \(e'\) is another left identity, then \(e'=f\) by the same argument, so \(e'=e.\) So the left identity is unique. A similar argument shows that the right identity is unique. Since \(e=f,\) it is both a left and a right identity, so it is an identity element, and any other identity element must equal it, by the same argument. \(_\square\)
two; two; one infinitely many; zero; zero one; one; one zero; zero; zero zero; three; zero
Suppose \(S\) is a set with a binary operation. Consider the following sentence about the identity elements in \(S\):
\(S\) has \(\underline{\phantom{1234567}}\) left identities, \(\underline{\phantom{1234567}}\) right identities, and \(\underline{\phantom{1234567}}\) identity elements.
Which choice of words for the blanks gives a sentence that cannot be true?
The correct answer is: two; two; one
The set of subsets of \( \mathbb Z\) (or any set) has a binary operation given by union. The identity for this operation is the empty set \(\varnothing,\) since \(\varnothing \cup A = A.\)
The set of subsets of \( \mathbb Z\) (or any set) has another binary operation given by intersection. The identity for this operation is the whole set \( \mathbb Z,\) since \( {\mathbb Z} \cap A = A.\)
Every group has a unique two-sided identity element \(e.\)
Every ring has two identities, the additive identity and the multiplicative identity, corresponding to the two operations in the ring. For instance, \( \mathbb R\) is a ring with additive identity \(0\) and multiplicative identity \(1,\) since \(0+a=a+0=a,\) and \(1 \cdot a = a \cdot 1 = a\) for all \(a\in \mathbb R.\)
Sign up to read all wikis and quizzes in math, science, and engineering topics.
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4