Lester Hill’s “The checking of the accuracy …”, part 2

Backstory: Lester Saunders Hill wrote unpublished notes, about 40 pages long, probably in the mid- to late 1920s. They were titled “The checking of the accuracy of transmittal of telegraphic communications by means of operations in finite algebraic fields”. In the 1960s this manuscript was given to David Kahn by Hill’s widow. The notes were typewritten, but mathematical symbols, tables, insertions, and some footnotes were often handwritten. The manuscript is being LaTeXed “as we speak”. I thank Chris Christensen, the National Cryptologic Museum, and NSA’s David Kahn Collection, for their help in obtaining these notes. Many thanks also to Rene Stein of the NSA Cryptologic Museum library and David Kahn for permission to publish this transcription. Comments by transcriber will look his this: [This is a comment. – wdj]. I used Sage (www.sagemath.org) to generate the tables in LaTeX.

Here is just the second section of his paper. I hope to post more later. (Part 1 is here.)

Secton 2: Lemmas concerning algebraic fields

Familiarity with primary notions in the theory of finite algebraic fields, and of their algebraic extensions, will naturally be assumed here. Reference is made, however, to Steinitz [St], Dickson [D], Scorza [Sc]. But several points which will be needed very frequently in the following pages are summarized here in a series of lemmas. These lemmas assert properties of any algebraic field, whether it be finite or not.

Lemma 1:
Let F denote an algebraic field. Let the coeefficients a_{ij} in the system of equations

\begin{array}{c}  a_{11}x_1 +a_{12}x_2 +\dots + a_{1n}x_n=0\\  a_{21}x_1 +a_{22}x_2 +\dots + a_{2n}x_n=0\\  \vdots \\  a_{n1}x_1 +a_{n2}x_2 +\dots + a_{nn}x_n=0, \\  \end{array}

be elements of F. Let \Delta denote the value, in F, of the determinant

\begin{array}{|ccc|}  a_{11} & \dots & a_{1n} \\  \vdots && \\  a_{n1} & \dots & a_{nn} \\  \end{array}  \, .
The system of equations has a solution other than

x_1 = x_2 = \dots = x_n = 0

if and only if \Delta =0.

Lemma 2:
Let F denote an algebraic field. Let the coeefficients in the system of equations

\begin{array}{c}  a_{11}x_1 +a_{12}x_2 +\dots + a_{1n}x_n=0\\  a_{21}x_1 +a_{22}x_2 +\dots + a_{2n}x_n=0\\  \vdots \\  a_{k1}x_1 +a_{k2}x_2 +\dots + a_{kn}x_n=0, \\  \end{array}

be elements of F, and let k be less than n. Then the system of equations certainly has a solution other than
x_1 = x_2 = \dots = x_n = 0\, .

Lemma 3:
Let F denote an algebraic field. Let the a_{ij} and the c_i denote elements of F and let at least one of the c_i be different from zero. Consider the determinant

\Delta = \begin{array}{|ccc|}  a_{11} & \dots & a_{1n} \\  \vdots && \\  a_{n1} & \dots & a_{nn} \\  \end{array}  \, .
If \Delta \not=0 (Footnote: The case \Delta = 0 does not concern us.) then the system of equations

\begin{array}{c}  a_{11}x_1 +a_{12}x_2 +\dots + a_{1n}x_n=0\\  a_{21}x_1 +a_{22}x_2 +\dots + a_{2n}x_n=0\\  \vdots \\  a_{n1}x_1 +a_{n2}x_2 +\dots + a_{nn}x_n=0, \\  \end{array}

has one and only one solution.

Evidently, when solutions exist for the systems of equations considered in the forgoing three lemmas, such solutions lie entirely in the field F.

The lemma which follows is particularly useful. It is an immediate corollary of Lemma 1.

Lemma 4:
Let F denote an algebraic field. Let the a_{ij} denote elements of F. Then if

\begin{array}{|ccc|}  a_{11} & \dots & a_{1n} \\  \vdots && \\  a_{n1} & \dots & a_{nn} \\  \end{array} =0,  \, .

we can determine at least one sequence of elements \lambda_1, \lambda_2, \dots, \lambda_n, which are not necessarily distinct but certainly are not all equal to zero, such that

\begin{array}{c}  a_{11}\lambda_1 +a_{21}\lambda_2 +\dots + a_{n1}\lambda_n=0\\  a_{12}\lambda_1 +a_{22}\lambda_2 +\dots + a_{n2}\lambda_n=0\\  \vdots \\  a_{1n}\lambda_1 +a_{2n}\lambda_2 +\dots + a_{nn}\lambda_n=0. \\  \end{array}

Lemma 5:
The algebraic equation of $nth degree

a_0x^n + a_1 x^{n-1} + \dots + a_{n-1}x+a_n=0,

with coefficients in the algebraic field F, can not have more than n roots in F.

Most of the considerations of the present paper will depend, more or less directly, upon these five lemmas.

References:

[D] L. E. Dickson, Linear groups with an exposition of the Galois field theory, B. G. Teubner, Leipzig, 1901. Available here:
http://archive.org/details/lineargroupswith00dickuoft

[Sc] G. Scorza, Corpi numerici e algebre, Giuseppe Principato, 1921.

[St] E. Steinitz, Algebraische theorie der korper, Journal fur die reine und angew. Mathamtik 137(1910)167-308.

One thought on “Lester Hill’s “The checking of the accuracy …”, part 2

  1. Pingback: Lester Hill’s “The checking of the accuracy …”, part 3 « Yet Another Mathblog

Leave a Reply

Please log in using one of these methods to post your comment:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s