Paper X: Universal Residual Seeds and Conditional Occupied-System Completion

Download original file

This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.

Read the typeset paper

1 \begin{tikzpicture}[x=1cm,y=1cm,>=Stealth,line cap=round,line join=round]
2 \path[use as bounding box] (0,-.6) rectangle (14,4.8);
3 \node[font=\small,align=center] at (7,4.3) {$P(T)=T^2-5T+6=(T-2)(T-3)$};
4 \node[font=\small,align=center,font=\small] at (7.075,3.95) {coefficient images under the declared maps};
5 \path[draw=black!30,fill=black!8] (4.9,2.39) rectangle (6.35,3.25);
6 \node[font=\small,align=center,font=\small] at (5.625,2.82) {$1$};
7 \path[draw=black!30,fill=black!8] (6.35,2.39) rectangle (7.8,3.25);
8 \node[font=\small,align=center,font=\small] at (7.075,2.82) {$-5$};
9 \path[draw=black!30,fill=black!8] (7.8,2.39) rectangle (9.25,3.25);
10 \node[font=\small,align=center,font=\small] at (8.525,2.82) {$6$};
11 \path[draw=black!30,fill=black!8] (4.9,1.53) rectangle (6.35,2.39);
12 \node[font=\small,align=center,font=\small] at (5.625,1.96) {$1$};
13 \path[draw=black!30,fill=white] (6.35,1.53) rectangle (7.8,2.39);
14 \node[font=\small,align=center,font=\small] at (7.075,1.96) {$0$};
15 \path[draw=black!30,fill=black!8] (7.8,1.53) rectangle (9.25,2.39);
16 \node[font=\small,align=center,font=\small] at (8.525,1.96) {$1$};
17 \path[draw=black!30,fill=black!8] (4.9,0.67) rectangle (6.35,1.53);
18 \node[font=\small,align=center,font=\small] at (5.625,1.1) {$1$};
19 \path[draw=black!30,fill=black!8] (6.35,0.67) rectangle (7.8,1.53);
20 \node[font=\small,align=center,font=\small] at (7.075,1.1) {$2$};
21 \path[draw=black!30,fill=black!8] (7.8,0.67) rectangle (9.25,1.53);
22 \node[font=\small,align=center,font=\small] at (8.525,1.1) {$6$};
23 \node[font=\small,align=center,anchor=east,font=\scriptsize] at (4.75,2.82) {$\mathbb Z$};
24 \node[font=\small,align=center,anchor=east,font=\scriptsize] at (4.75,1.96) {$\mathbb F_5$};
25 \node[font=\small,align=center,anchor=east,font=\scriptsize] at (4.75,1.1) {$\mathbb F_7$};
26 \node[font=\small,align=center,font=\scriptsize] at (5.625,3.48) {$T^2$};
27 \node[font=\small,align=center,font=\scriptsize] at (7.075,3.48) {$T$};
28 \node[font=\small,align=center,font=\scriptsize] at (8.525,3.48) {$1$};
29 \node[font=\small,align=center,font=\footnotesize] at (7,0.25) {Different residue rows come from the same algebraic polynomial.};
30 \end{tikzpicture}

Back to source controls

Back to Paper X: Universal Residual Seeds and Conditional Occupied-System Completion