14-240/Tutorial-Sep30: Difference between revisions

From Drorbn
Jump to navigationJump to search
Line 45: Line 45:
|}
|}


We verify that <math>S</math> satisfies (1) and (2). By the addition and multiplication tables, <math>S</math> is closed under addition and scalar multiplication. Since <math>a + b = b + a = b</math> and <math>ab = ba = a</math>, then <math>S</math> is commutative. By extension, <math>S</math> is also associative.
We verify that <math>S</math> satisfies (1). By the addition and multiplication tables, <math>S</math> is closed under addition and scalar multiplication. Since <math>a + b = b + a = b</math> and <math>ab = ba = a</math>, then <math>S</math> is commutative. It can also be shown that <math>S</math> is associative. Observe that <math>a</math> is the additive and <math>b</math> is the multiplicative identity. Since <math>a(b + b) = a(a) = b \neq a = a + a = ab + ab</math>, then <math>S</math> is not distributive. Then <math>S</math> does not satisfy distributivity. Then <math>S</math> satisfies (1).

We verify that <math>S</math> satisfies (2). Since <math>aa = b \neq = a</math>, then <math>S</math> satisfies (2).


==Nikita==
==Nikita==

Revision as of 22:18, 4 October 2014

Boris

Problem

Find a set of two elements that satisfies the following:

(1) satisfies all the properties of the field except distributivity.

(2) .

Solution:

Let where is the additive identity and is the multiplicative identity and . After trial and error, we have the following addition and multiplication tables:

We verify that satisfies (1). By the addition and multiplication tables, is closed under addition and scalar multiplication. Since and , then is commutative. It can also be shown that is associative. Observe that is the additive and is the multiplicative identity. Since , then is not distributive. Then does not satisfy distributivity. Then satisfies (1).

We verify that satisfies (2). Since , then satisfies (2).

Nikita