Warning: count(): Parameter must be an array or an object that implements Countable in /homepages/32/d491429024/htdocs/categorytheory/wp-includes/post-template.php on line 284
Warning: count(): Parameter must be an array or an object that implements Countable in /homepages/32/d491429024/htdocs/categorytheory/wp-includes/post-template.php on line 284
Warning: count(): Parameter must be an array or an object that implements Countable in /homepages/32/d491429024/htdocs/categorytheory/wp-includes/post-template.php on line 284
Warning: count(): Parameter must be an array or an object that implements Countable in /homepages/32/d491429024/htdocs/categorytheory/wp-includes/post-template.php on line 284
Find an operation on the set , i.e., a legitimate function , such that cannot be the multiplication formula for a monoid on . That is, either it is not associative or no element of can serve as a unit.
You can assign a value for each pair of inputs in such a way that either it won’t have identity element or fails associativity.
For example, if I take an elements (a,b) I can equate it to set {a,b}. Then the associativity (a*b)*c gets translated as (a*b) = (a,b) and *c will make it ((a,b),c). When we take a*(b*c), we get (a,(b,c)). Clearly associativity fails.
Oops! Above example is incorrect as domain is not M. One can define a function such that f(2,1)=1 and f(3,1)=4 as well as f(3,2)=2 and f(2,1)=2.
Then
3*(2*1)=3*f(2,1)=f(3,1)=4
(3*2)*1=f(3,2)*1=f(2,1)=2
which shows associativity fails!
Hi Max,
You can assign a value for each pair of inputs in such a way that either it won’t have identity element or fails associativity.
For example, if I take an elements (a,b) I can equate it to set {a,b}. Then the associativity (a*b)*c gets translated as (a*b) = (a,b) and *c will make it ((a,b),c). When we take a*(b*c), we get (a,(b,c)). Clearly associativity fails.
Oops! Above example is incorrect as domain is not M. One can define a function such that f(2,1)=1 and f(3,1)=4 as well as f(3,2)=2 and f(2,1)=2.
Then
3*(2*1)=3*f(2,1)=f(3,1)=4
(3*2)*1=f(3,2)*1=f(2,1)=2
which shows associativity fails!