Rose Marie Bertrand with granddaughter Marie

March 20, 1943 — July 9, 2015

MADISON, WI — Rose Marie Leona Wnek Bertrand, age 72, of Madison, Wisconsin, passed away on July 9^{th}, 2015.

Rose Marie was born on the south side of Chicago, to Bernice (Zajac) Wnek Miller and Joseph Wnek on March 20, 1943. Rose Marie attended St. Roman’s grammar school, Our Lady of Good Counsel grammar school and Visitation High School in Chicago and moved to Madison at age 17 to attend Edgewood College. Rose Marie attended UW-Madison for graduate school, where she met the love of her life, Michael Bertrand. Rose Marie and Michael married at St. Paul’s University Catholic Center in Madison on August 29th, 1970.

John Hidinger (Sep 11, 1839 — May 7, 1883). Photo 1864.

Sometimes mom talked about her grandfather's being in the Civil War and how he was captured and spent time in Confederate prisons. It was fascinating, especially considering that she was born and raised in Saskatchewan and was a naturalized American citizen. Her American roots are deep, going back to the founding of New Haven, Connecticut in the 1630s, but all that turned up later. Her grandfather John Hidinger was from Iowa, though born in Saxony and coming to the United States as a boy (the name was probably *Heidinger* in the old country). Imagine my surprise when rooting through the archives of the Wisconsin Historical Society to find that he served with the 8^{th} Wisconsin Volunteer Infantry, the Eagle Regiment, so denoted because of their mascot, the eagle Old Abe, a sensation who occupied the Wisconsin state capitol for many years after the war, and whose replica overlooks the Wisconsin Assembly to this day. It tickled me as an anti-war protester on the University of Wisconsin campus circa 1970, because the right-wingers in the legislature would always call us out-of-town agitators. More like coming home I often thought when passing the Civil War canon at Camp Randall where great-grandfather Hidinger trained, now a little park on the UW campus.

Eratosthenes Measures the Earth

Like Aristotle^{[1]} before him and in keeping with virtually all educated opinion in ancient Greece^{[2]}, Eratosthenes (c. 276 BC - c. 194 BC) assumed the earth was spherical. He set out to measure its size using a sound method that has stood the test of time. His results were good (about \( 5.4\% \) too high) and no one did better for over a thousand years. His near correct result was ignored well into the modern era, including by Columbus. Snellius and Picard finally nailed down the earth's circumference in the seventeenth century *using Eratosthenes' experimental design* and taking advantage of advances in mathematics and instrumentation that had accrued over the intervening \( 1900 \) years.

A system of three congruences is shown on the right, but start with the simpler system:

\[ \begin{align*}

x &\equiv 1 \hspace{-.6em} {\pmod{2}}\\

x &\equiv 2 \hspace{-.6em} {\pmod{3}}.

\end{align*} \]

Values congruent \( \text{mod} \; 6 \) are certainly congruent \( \text{mod} \; 2 \) **and** \( \text{mod} \; 3, \) so in looking for an \( x \) solving both congruences simultaneously, it suffices to consider congruence classes \( \text{mod} \; 6 \) and in particular their smallest positive residues, namely \( 0, 1, 2, 3, 4, 5. \) We're seeking an odd number among those \( 6 \) since \( x \equiv 1{\pmod{2}}, \) one that is also congruent to \( 2 \; \text{mod} \; 3. \) \( x = 1 \) won't do, since \( 1 \equiv 1{\pmod{3}} \) neither will \( x = 3, \) since \( 3 \equiv 0{\pmod{3}}. \) \( x = 5 \) is the solution, since it satisfies both congruences, and it is the **only** solution \( \text{mod} \; 6. \)

The theorem in question is:

If \( p \) is an odd prime with \( p \equiv 1 \; (\text{mod} \; 4), \) then \( p \) is the sum of two squares.\( (1) \)

*Only if* is easy, because for all natural numbers \( n, \; n^2 \equiv 0, 1 \; (\text{mod } 4), \) so \( n^2 + m^2 \equiv 0, 1, 2 \; (\text{mod} \; 4) \) and a sum of two squares cannot be congruent to \( 3 \; (\text{mod} \; 4). \) Obviously \( 2 = 1^2 + 1^2 \) as well. The Brahmagupta-Fibonacci identity assures that a *product* of sums of two squares is itself a sum of two squares:

\[ \begin{equation}{(a^{2}+b^{2})(c^{2}+d^{2})=(ac+bd)^{2}+(ad-bc)^{2}.}\tag{2} \end{equation} \]

\( 5 = 1^2 + 2^2 \) is the sum of two squares, \( 3 \) is not. Dealing with whole numbers only, including \( 0, \) it's a bit of a riddle coming up with the criterion distinguishing the two situations. Based on empirical investigations, mathematicians in the \( 17^\text{th} \) century found the key. According to Leonard Dickson^{[1]}:

A. Girard (Dec 9, 1632) had already made a determination of the numbers expressible as a sum of two integral squares: every square, every prime \( 4n + 1, \) a product formed of such numbers, and the double of one of the foregoing.

The part about primes \( p \equiv 1 \; (\text{mod} \; 4) \) is central, because a product of two numbers each of which is the sum of two squares is itself the sum of two squares. Since \( 5 = 1^2 + 2^2 \) and \( 13 = 2^2 + 3^2, \) for example, \( 65 = 5 \cdot 13 \) is also the sum of two squares: \( 65 = 4^2 + 7^2. \) In fact there is a second representation: \( 65 = 1^2 + 8^2, \) and the *number* of representations is of interest too (this exact example is from Diophantus).

Progressive differences of the first few cubes.

Write down the first few cubes, then put their differences \( \Delta \) in the second column, the differences of those differences \( \Delta^2 \) in the third column, and so on. Remarkably, \( \Delta^3 = 6 \), and that is true for any contiguous sequence of cubes (obviously \( \Delta^4 = 0 \)). Do that with the fourth powers and you find that \( \Delta^4 = 24, \) and in general for contiguous \( n^{th} \) powers, \( \Delta^n = n!. \) The key to unlocking this mystery is the Calculus of Finite Differences, out of vogue now apparently, but with a hallowed history going back to Newton and before and studied in depth by George Boole in 1860.^{[1]} His book can still be read with profit, as can C. H Richardson's little text from 1954. ^{[2]}

Euler used \( \Delta^n x^n = n! \) in 1755 to prove the two squares theorem. Boole and those following him employed the term "calculus" advisedly, many theorems in the finite case matching similar ones in the familiar infinitesimal calculus. Which stands to reason, considering all there is in common, it's just that now \( \Delta x = 1. \)

All Abelian groups of order 72.

The Fundamental Theorem of Finite Abelian Groups decisively characterizes the Abelian finite groups of a given order. Its remote origins go back to Gauss in the *Disquisitiones Arithmeticae* in 1801 and it was nailed down by Schering (1869) and by Frobenius and Stickelberger (1879)^{[1]}:

Fundamental Theorem of Finite Abelian Groups

Let \( G \) be a finite Abelian Group of order \( n. \) Then: \[ \begin{equation}{G \cong \mathbb{Z}_{n_1} \times \mathbb{Z}_{n_2} \times \cdots \times \mathbb{Z}_{n_s},} \tag{1} \end{equation} \] where \( s \) and the \( n_i \) are the unique integers satisfying \( s \geq 1, n_i \geq 2 \) for all \( i, \) and \( n_{i+1} \; | \; n_i \) for \( 1 \leq i \leq s - 1. \) And also: \[ \begin{equation}{G \cong \mathbb{Z}_{p^{\beta_1}} \times \cdots \times \mathbb{Z}_{p^{\beta_t}} \times \cdots \times \mathbb{Z}_{q^{\gamma_1}} \times \cdots \times \mathbb{Z}_{q^{\gamma_u}},} \tag{2} \end{equation} \] for \( p \) and \( q \) and all the other primes dividing \( n, \) again in a unique way, where \( \sum \beta_i \) is the exponent of the greatest power of \( p \) dividing \( n, \) \( \sum \gamma_i \) is the exponent of the greatest power of \( q \) dividing \( n, \) and so on for all the other primes dividing \( n. \)

De l'évanouissement des inconnues

(On the Vanishing of Unknowns)

Appendix to *Introduction à l'analyse des lignes courbes algébriques* (1750)

(Introduction to the Analysis of Algebraic Curves)

by *Gabriel Cramer*

When a problem contains several unknowns whose relationships are so complicated that one is obliged to form several equations; then, to discover the values of the unknowns, one makes all of them vanish, except one, which combined only with known quantities, gives, if the problem is determined, a *final Equation*, whose resolution reveals this first unknown, and then by this means all the others.

Sections from *Dummit & Foote* being tested on the midterm:

- §7.5 — 7.6
- §8.1 — 8.3
- §9.1 — 9.5
- §10.1 — 10.3

Here are the midterm and final exams for Math 542, *Modern Algebra*, at the University of Wisconsin-Madison in the spring semester 2015-2016, Professor Paul Terwilliger officiating. It is an undergraduate class, junior or senior level, for (mostly) math majors. The class takes up basic ring theory, following on Math 541, which is mostly group theory. The text, followed pretty closely, is *Abstract Algebra, 3rd ed.*, by David S. Dummit and Richard M. Foote (Wiley, 2004) — *D&F* — widely used it appears. It certainly is comprehensive, with many examples and a great set of exercises, and is an impressive work in its own right, well-organized, demanding, and thorough. Typo-free as well, I haven't found a single one.