15_separator.tex

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

15_separator.tex

Download original file

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

Read the typeset paper

Skip source text

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,font=\small] at (3.3,4.55) {$C$: actual $S_3$ character table};
4 \path[draw=black!30,fill=black!8] (2.1,3.05) rectangle (2.9,3.85);
5 \node[font=\small,align=center,font=\small] at (2.5,3.45) {$1$};
6 \path[draw=black!30,fill=black!8] (2.9,3.05) rectangle (3.7,3.85);
7 \node[font=\small,align=center,font=\small] at (3.3,3.45) {$1$};
8 \path[draw=black!30,fill=black!8] (3.7,3.05) rectangle (4.5,3.85);
9 \node[font=\small,align=center,font=\small] at (4.1,3.45) {$2$};
10 \path[draw=black!30,fill=black!8] (2.1,2.25) rectangle (2.9,3.05);
11 \node[font=\small,align=center,font=\small] at (2.5,2.65) {$1$};
12 \path[draw=black!30,fill=black!8] (2.9,2.25) rectangle (3.7,3.05);
13 \node[font=\small,align=center,font=\small] at (3.3,2.65) {$-1$};
14 \path[draw=black!30,fill=white] (3.7,2.25) rectangle (4.5,3.05);
15 \node[font=\small,align=center,font=\small] at (4.1,2.65) {$0$};
16 \path[draw=black!30,fill=black!8] (2.1,1.45) rectangle (2.9,2.25);
17 \node[font=\small,align=center,font=\small] at (2.5,1.85) {$1$};
18 \path[draw=black!30,fill=black!8] (2.9,1.45) rectangle (3.7,2.25);
19 \node[font=\small,align=center,font=\small] at (3.3,1.85) {$1$};
20 \path[draw=black!30,fill=black!8] (3.7,1.45) rectangle (4.5,2.25);
21 \node[font=\small,align=center,font=\small] at (4.1,1.85) {$-1$};
22 \node[font=\small,align=center,anchor=east,font=\scriptsize] at (1.95,3.45) {$1$};
23 \node[font=\small,align=center,anchor=east,font=\scriptsize] at (1.95,2.65) {$(12)$};
24 \node[font=\small,align=center,anchor=east,font=\scriptsize] at (1.95,1.85) {$(123)$};
25 \node[font=\small,align=center,font=\scriptsize] at (2.5,4.08) {trivial};
26 \node[font=\small,align=center,font=\scriptsize] at (3.3,4.08) {sign};
27 \node[font=\small,align=center,font=\scriptsize] at (4.1,4.08) {standard};
28 \node[font=\small,align=center,font=\small] at (6.55,4.55) {$\boldsymbol m$};
29 \path[draw=black!30,fill=black!8] (6.15,3.05) rectangle (6.95,3.85);
30 \node[font=\small,align=center,font=\small] at (6.55,3.45) {$2$};
31 \path[draw=black!30,fill=white] (6.15,2.25) rectangle (6.95,3.05);
32 \node[font=\small,align=center,font=\small] at (6.55,2.65) {$0$};
33 \path[draw=black!30,fill=black!8] (6.15,1.45) rectangle (6.95,2.25);
34 \node[font=\small,align=center,font=\small] at (6.55,1.85) {$1$};
35 \node[font=\small,align=center] at (7.45,2.6) {$=$};
36 \node[font=\small,align=center,font=\small] at (8.45,4.55) {$\boldsymbol b$};
37 \path[draw=black!30,fill=black!8] (8.05,3.05) rectangle (8.85,3.85);
38 \node[font=\small,align=center,font=\small] at (8.45,3.45) {$4$};
39 \path[draw=black!30,fill=black!8] (8.05,2.25) rectangle (8.85,3.05);
40 \node[font=\small,align=center,font=\small] at (8.45,2.65) {$2$};
41 \path[draw=black!30,fill=black!8] (8.05,1.45) rectangle (8.85,2.25);
42 \node[font=\small,align=center,font=\small] at (8.45,1.85) {$1$};
43 \node[font=\small,align=center] at (11.65,3.2) {$\det C=6$};
44 \node[font=\small,align=center] at (11.65,1.95) {$C^{-1}\boldsymbol b$\\$=(2,0,1)^T$};
45 \node[font=\small,align=center,font=\footnotesize] at (7,0.2) {Class representatives are finite group elements, not a proof that suitable Frobenius primes occur.};
46 \end{tikzpicture}

Back to source controls

Other PDFs for this work

Original file and source record

This copy matches the recorded source file. Its publication here does not change the work’s review status.

SHA-256: 9024411d079d96f970a273c8120fcfcb48233b02adb8a57df737d90cb0eb2cda

Original source on GitHub

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