TFPT scientific source excerpt
Original repository path: documents/archive--tfpt-45--source_extracts--02_carrier_source/sections/002-subsection-internal-carrier-stabilizer-and-one-family-pa.tex
Original file SHA-256: ad8c8fced742cdbff008a9fb8b581d1aa75d92c3665ab9de21b4a821c74b42ef
Inclusive original lines: 70-91
Line numbers below refer to the original source.
This bounded excerpt is source evidence; it is not a new proof/checker run.
Conversation metadata and personal execution details are omitted where indicated.

000070 | \subsection{Internal carrier stabilizer and one-family packet}
000071 | 
000072 | \begin{theorem}[Internal carrier stabilizer]
000073 | \label{thm:global-sm-theorem}
000074 | The determinant-preserving connected stabilizer of the minimal carrier split is
000075 | \[
000076 | G_{\mathrm{car}}
000077 | =
000078 | S(U(3)\times U(2))
000079 | \cong
000080 | \frac{SU(3)\times SU(2)\times U(1)_Y}{\mathbb Z_6}.
000081 | \]
000082 | The corresponding Lie algebra factorization
000083 | \[
000084 | \mathfrak g_{\SM}=\mathfrak{su}(3)\oplus\mathfrak{su}(2)\oplus\mathfrak u(1)
000085 | \]
000086 | is only the differential, local form of the same statement; throughout the manuscript this quotient
000087 | is intended as the internal carrier-stabilizer form whenever a group symbol is written, and the
000088 | local algebra notation is used only when explicitly stated.
000089 | \end{theorem}
000090 | 
000091 | \begin{proof}