Skip to content

Commit

Permalink
Add a blueprint correction from Zoltan (#699)
Browse files Browse the repository at this point in the history
A correction from Zoltan as noted here
#649 (comment)
  • Loading branch information
vlad902 authored Oct 21, 2024
1 parent 0c1fb7a commit f4164fb
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion blueprint/src/chapter/infinite_magma_constructions.tex
Original file line number Diff line number Diff line change
Expand Up @@ -330,7 +330,7 @@ \subsection{Modified base models}
$$ x\op y = \begin{cases} x+1 & \text{if } x,y \text{ have the same parity} \\ x -1 & \text{otherwise} \end{cases} $$
A case analysis shows that the magma $(\mathbb{Z},\op)$ satisfies both \Cref{eq1659} and \Cref{eq4315}.
We will eventually \emph{modify} it by setting
$$ x \op' y = \begin{cases} 0 & \text{if } x=0,\: x,y \text{ have the same parity} \\ x+1 & \text{if } x\neq 0,\: x,y \text{ have the same parity} \\ x -1 & \text{otherwise} \end{cases} $$
$$x \op' y = \begin{cases} 0 & \text{if } x=0,\: x,y \text{ do not have the same parity} \\ x+1 & \text{if } x,y \text{ have the same parity} \\ x -1 & \text{otherwise} \end{cases}$$
and checking that $(\mathbb{N}, \op' )$ satisfies \Cref{eq1659} but refutes \Cref{eq4315}.

One finds these modifications using the following strategy:
Expand Down

0 comments on commit f4164fb

Please sign in to comment.