15_separator.tex
Paper X: Universal Residual Seeds and Conditional Occupied-System Completion
15_separator.tex
This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.
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}
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
Back to Paper X: Universal Residual Seeds and Conditional Occupied-System Completion