0
$\begingroup$

With respect to an operation $O_n$ on an infinite set, define a mimic operation $O'_n$, as an operation which differs from $O_n$ only by a finite number of points, and a $k$-mimic operation $O^{k}_n$ of $O_n$ as an operation which differs from $O_n$ by $k$ points. Equivalently, for a $k$-mimic, for the set of tuples which completely describe $O_n$, $\{(a_1,\dots,a_{n+1}),\dots,(z_1,\dots, z_{n+1})\}$, there exist $k$ tuples such that $O^{k}_n(x_1,\dots,x_n)\ne O_n(x_1,\dots,x_n)$, otherwise $O^{k}_n(x_1,\dots,x_n)=O_n(x_1,\dots,x_n)$.

It doesn't seem too hard to prove that given an idempotent operation $A$, there exist an infinity of $k$-mimics $B$, such that each operation $B$ is an idempotent mimic of $A$ (the mimic operation also satisfies idempotency). We can also prove that if an operation $O_n$ commutes, and if (x$O_n$x)=(x$O_n$^{1}$x), then $O_n$^{1}$ does not commute. This seems to suggest that for a commutative operation only even numbered commutative $k$-mimics exist, when (x$O_n$x)=(x$O_n$^{1}$x). I think that $\min(x, y$) and $G(x, y)=\begin{cases}1,&\text{if }x=y=0\\\min(x, y),&\text{otherwise}\end{cases}$$ where $x,y \in\mathbb R$, are associative $k$-mimics, which suggests that for an associative operation on an infinite set, an infinity of $1$-mimics exist (please correct me if this is wrong, I think I proved this the other day, but I'm not quite sure my method worked out.) How many associative $k$-mimics of an associative operation exist?

Does there exist another term for what I've called a "mimic operation"?

  • 0
    @joriki You can do that, I totally missed that, great comment! Alright, so that means that all commutative 1-mimics of a commutative operation happen "along the diagonal" or differ only at F(x, x).2012-04-14

0 Answers 0