Tuesday, November 25, 2014
For previous remarks on this topic, as it relates to
symmetry axes of the cube, see previous posts tagged Interplay.
The above posts discuss, among other things, the Galois
projective plane of order 3, with 13 points and 13 lines.
These Galois points and lines may be modeled in Euclidean geometry
by the 13 symmetry axes and the 13 rotation planes
of the Euclidean cube. They may also be modeled in Galois geometry
by subsets of the 3x3x3 Galois cube (vector 3space over GF(3)).
The 3×3×3 Galois Cube
Exercise: Is there any such analogy between the 31 points of the
order5 Galois projective plane and the 31 symmetry axes of the
Euclidean dodecahedron and icosahedron? Also, how may the
31 projective points be naturally pictured as lines within the
5x5x5 Galois cube (vector 3space over GF(5))?
Update of Nov. 30, 2014 —
For background to the above exercise, see
pp. 1617 of A Geometrical Picture Book ,
by Burkard Polster (Springer, 1998), esp.
the citation to a 1983 article by Lemay.
Comments Off on EuclideanGalois Interplay
Tuesday, July 10, 2012
Comments Off on Euclid vs. Galois
Monday, November 4, 2019
The version of Euclid I.47 in the previous post
suggests a work from a recent Oslo gallery show:
Comments Off on Euclid Revisited
Wednesday, May 2, 2018
(A sequel to Foster's Space and Sawyer's Space)
See posts now tagged Galois's Space.
Comments Off on Galois’s Space
Sunday, November 19, 2017
This is a sequel to yesterday's post Cube Space Continued.
Comments Off on Galois Space
Saturday, May 20, 2017
Click image to enlarge.
The above 35 projective lines, within a 4×4 array —
The above 15 projective planes, within a 4×4 array (in white) —
* See Galois Tesseract in this journal.
Comments Off on van Lint and Wilson Meet the Galois Tesseract*
Sunday, August 14, 2016
Continued from earlier posts on Boole vs. Galois.
From a Google image search today for “Galois Boole.”
Click the image to enlarge it.
Comments Off on The BooleGalois Games
Tuesday, May 31, 2016
A very brief introduction:
Comments Off on Galois Space —
Tuesday, January 12, 2016
The above sketch indicates, in a vague, handwaving, fashion,
a connection between Galois spaces and harmonic analysis.
For more details of the connection, see (for instance) yesterday
afternoon's post Space Oddity.
Comments Off on Harmonic Analysis and Galois Spaces
Tuesday, March 24, 2015
Yesterday's post suggests a review of the following —
Andries Brouwer, preprint, 1982:
"The Witt designs, Golay codes and Mathieu groups"
(unpublished as of 2013)
Pages 89:
Substructures of S(5, 8, 24)
An octad is a block of S(5, 8, 24).
Theorem 5.1
Let B_{0} be a fixed octad. The 30 octads disjoint from B_{0}
form a selfcomplementary 3(16,8,3) design, namely
the design of the points and affine hyperplanes in AG(4, 2),
the 4dimensional affine space over F_{2}.
Proof….
… (iv) We have AG(4, 2).
(Proof: invoke your favorite characterization of AG(4, 2)
or PG(3, 2), say DembowskiWagner or Veblen & Young.
An explicit construction of the vector space is also easy….)

Related material: Posts tagged Priority.
Comments Off on Brouwer on the Galois Tesseract
Sunday, March 10, 2013
(Continued)
The 16point affine Galois space:
Further properties of this space:
In Configurations and Squares, see the
discusssion of the Kummer 16_{6} configuration.
Some closely related material:
Comments Off on Galois Space
Monday, March 4, 2013
Continued from February 27, the day Joseph Frank died…
"Throughout the 1940s, he published essays
and criticism in literary journals, and one,
'Spatial Form in Modern Literature'—
a discussion of experimental treatments
of space and time by Eliot, Joyce, Proust,
Pound and others— published in
The Sewanee Review in 1945, propelled him
to prominence as a theoretician."
— Bruce Weber in this morning's print copy
of The New York Times (p. A15, NY edition)
That essay is reprinted in a 1991 collection
of Frank's work from Rutgers University Press:
See also Galois Space and Occupy Space in this journal.
Frank was best known as a biographer of Dostoevsky.
A very loosely related reference… in a recent Log24 post,
Freeman Dyson's praise of a book on the history of
mathematics and religion in Russia:
"The intellectual drama will attract readers
who are interested in mystical religion
and the foundations of mathematics.
The personal drama will attract readers
who are interested in a human tragedy
with characters who met their fates with
exceptional courage."
Frank is survived by, among others, his wife, a mathematician.
Comments Off on Occupy Galois Space
Thursday, February 21, 2013
(Continued)
The previous post suggests two sayings:
"There is such a thing as a Galois space."
— Adapted from Madeleine L'Engle
"For every kind of vampire, there is a kind of cross."
— Thomas Pynchon
Illustrations—
(Click to enlarge.)
Comments Off on Galois Space
Sunday, July 29, 2012
(Continued)
The three parts of the figure in today's earlier post "Defining Form"—
— share the same vectorspace structure:
0 
c 
d 
c + d 
a 
a + c 
a + d 
a + c + d 
b 
b + c 
b + d 
b + c + d 
a + b 
a + b + c 
a + b + d 
a + b +
c + d 
(This vectorspace a b c d diagram is from Chapter 11 of
Sphere Packings, Lattices and Groups , by John Horton
Conway and N. J. A. Sloane, first published by Springer
in 1988.)
The fact that any 4×4 array embodies such a structure was implicit in
the diamond theorem (February 1979). Any 4×4 array, regarded as
a model of the finite geometry AG(4, 2), may be called a Galois tesseract.
(So called because of the Galois geometry involved, and because the
16 cells of a 4×4 array with opposite edges identified have the same
adjacency pattern as the 16 vertices of a tesseract (see, for instance,
Coxeter's 1950 "SelfDual Configurations and Regular Graphs," figures
5 and 6).)
A 1982 discussion of a more abstract form of AG(4, 2):
Source:
The above 1982 remarks by Brouwer may or may not have influenced
the drawing of the above 1988 ConwaySloane diagram.
Comments Off on The Galois Tesseract
Thursday, July 12, 2012
An example of lines in a Galois space * —
The 35 lines in the 3dimensional Galois projective space PG(3,2)—
(Click to enlarge.)
There are 15 different individual linear diagrams in the figure above.
These are the points of the Galois space PG(3,2). Each 3set of linear diagrams
represents the structure of one of the 35 4×4 arrays and also represents a line
of the projective space.
The symmetry of the linear diagrams accounts for the symmetry of the
840 possible images in the kaleidoscope puzzle.
* For further details on the phrase "Galois space," see
Beniamino Segre's "On Galois Geometries," Proceedings of the
International Congress of Mathematicians, 1958 [Edinburgh].
(Cambridge U. Press, 1960, 488499.)
(Update of Jan. 5, 2013— This post has been added to finitegeometry.org.)
Comments Off on Galois Space
Saturday, September 3, 2011
A post of September 1, The Galois Tesseract, noted that the interplay
of algebraic and geometric properties within the 4×4 array that forms
twothirds of the Curtis Miracle Octad Generator (MOG) may first have
been described by Cullinane (AMS abstract 79TA37, Notices , Feb. 1979).
Here is some supporting material—
The passage from Carmichael above emphasizes the importance of
the 4×4 square within the MOG.
The passage from Conway and Sloane, in a book whose first edition
was published in 1988, makes explicit the structure of the MOG’s
4×4 square as the affine 4space over the 2element Galois field.
The passage from Curtis (1974, published in 1976) describes 35 sets
of four “special tetrads” within the 4×4 square of the MOG. These
correspond to the 35 sets of four parallel 4point affine planes within
the square. Curtis, however, in 1976 makes no mention of the affine
structure, characterizing his 140 “special tetrads” rather by the parity
of their intersections with the square’s rows and columns.
The affine structure appears in the 1979 abstract mentioned above—
The “35 structures” of the abstract were listed, with an application to
Latinsquare orthogonality, in a note from December 1978—
See also a 1987 article by R. T. Curtis—
Further elementary techniques using the miracle octad generator, by R. T. Curtis. Abstract:
“In this paper we describe various techniques, some of which are already used by devotees of the art, which relate certain maximal subgroups of the Mathieu group M_{24}, as seen in the MOG, to matrix groups over finite fields. We hope to bring out the wealth of algebraic structure* underlying the device and to enable the reader to move freely between these matrices and permutations. Perhaps the MOG was misnamed as simply an ‘octad generator’; in this paper we intend to show that it is in reality a natural diagram of the binary Golay code.”
(Received July 20 1987)
– Proceedings of the Edinburgh Mathematical Society (Series 2) (1989), 32: 345353
* For instance:
Update of Sept. 4— This post is now a page at finitegeometry.org.
Comments Off on The Galois Tesseract (continued)
Thursday, September 1, 2011
Comments Off on The Galois Tesseract
Friday, September 17, 2010
Yesterday’s excerpt from von Balthasar supplies some Catholic aesthetic background for Galois geometry.
That approach will appeal to few mathematicians, so here is another.
Euclid’s Window: The Story of Geometry from Parallel Lines to Hyperspace is a book by Leonard Mlodinow published in 2002.
More recently, Mlodinow is the coauthor, with Stephen Hawking, of The Grand Design (published on September 7, 2010).
A review of Mlodinow’s book on geometry—
“This is a shallow book on deep matters, about which the author knows next to nothing.”
— Robert P. Langlands, Notices of the American Mathematical Society, May 2002
The Langlands remark is an apt introduction to Mlodinow’s more recent work.
It also applies to Martin Gardner’s comments on Galois in 2007 and, posthumously, in 2010.
For the latter, see a Google search done this morning—
Here, for future reference, is a copy of the current Google cache of this journal’s “paged=4” page.
Note the link at the bottom of the page in the May 5, 2010, post to Peter J. Cameron’s web journal. Following the link, we find…
For n=4, there is only one factorisation, which we can write concisely as 1234, 1324, 1423. Its automorphism group is the symmetric group S_{4}, and acts as S_{3} on the set of three partitions, as we saw last time; the group of strong automorphisms is the Klein group.
This example generalises, by taking the factorisation to consist of the parallel classes of lines in an affine space over GF(2). The automorphism group is the affine group, and the group of strong automorphisms is its translation subgroup.
See also, in this journal, Window and Window, continued (July 5 and 6, 2010).
Gardner scoffs at the importance of Galois’s last letter —
“Galois had written several articles on group theory, and was
merely annotating and correcting those earlier published papers.”
— Last Recreations, page 156
For refutations, see the Bulletin of the American Mathematical Society in March 1899 and February 1909.
Comments Off on The Galois Window
Sunday, March 21, 2010
It is well known that the seven (2^{2} + 2 +1) points of the projective plane of order 2 correspond to 2point subspaces (lines) of the linear 3space over the twoelement field Galois field GF(2), and may be therefore be visualized as 2cube subsets of the 2×2×2 cube.
Similarly, recent posts* have noted that the thirteen (3^{2} + 3 + 1) points of the projective plane of order 3 may be seen as 3cube subsets in the 3×3×3 cube.
The twentyone (4^{2} + 4 +1) points of the (unique) projective plane of order 4 may also be visualized as subsets of a cube– in this case, the 4×4×4 cube. This visualization is somewhat more complicated than the 3×3×3 case, since the 4×4×4 cube has no central subcube, and each projectiveplane point corresponds to four, not three, subcubes.
These three cubes, with 8, 27, and 64 subcubes, thus serve as geometric models in a straightforward way– first as models of finite linear spaces, hence as models for small Galois geometries derived from the linear spaces. (The cubes with 8 and 64 subcubes also serve in a less straightforward, and new, way as finitegeometry models– see The Eightfold Cube, Block Designs, and Solomon's Cube.)
A group of collineations** of the 21point plane is one of two nonisomorphic simple groups of order 20,160. The other is the linear group acting on the linear 4space over the twoelement Galois field GF(2). The 1899 paper establishing the nonisomorphism notes that "the expression Galois Field is perhaps not yet in general use."
Coordinates of the 4×4×4 cube's subcubes can, of course, be regarded as elements of the Galois field GF(64).
The preceding remarks were purely mathematical. The "dreams" of this post's title are not. See…
See also Geometry of the I Ching and a search in this journal for "Galois + Ching."
* February 27 and March 13
** G_{20160} in Mitchell 1910, LF(3,2^{2}) in Edge 1965
— Mitchell, Ulysses Grant, "Geometry and Collineation Groups
of the Finite Projective Plane PG(2,2^{2}),"
Princeton Ph.D. dissertation (1910)
— Edge, W. L., "Some Implications of the Geometry of
the 21Point Plane," Math. Zeitschr. 87, 348362 (1965)
Comments Off on Galois Field of Dreams
Friday, September 11, 2020
Kauffman‘s fixation on the work of SpencerBrown is perhaps in part
due to Kauffman’s familiarity with Boolean algebra and his ignorance of
Galois geometry. See other posts now tagged Boole vs. Galois.
See also “A FourColor Epic” (April 16, 2020).
Comments Off on Kauffman on Algebra
Monday, July 27, 2020
Finnegans Euclid —
See also Metaphors (March 3, 2016).
Comments Off on Intersections Galore
Thursday, March 5, 2020
See the title in this journal.
Such generation occurs both in Euclidean space …
… and in some Galois spaces —
.
In Galois spaces, some care must be taken in defining "reflection."
Comments Off on “Generated by Reflections”
Tuesday, March 3, 2020
Last night's 11:59 PM post linked to some news from Slovenia —
"Ulay, the performance artist whose provocative collaborations with
Marina Abramovic often led them to push each other to extremes,
died on Monday at his home in Ljubljana, Slovenia. He was 76."
— Alex Marshall in The New York Times
Ljubljana last appeared in this journal on August 10, 2011, in a post
titled "Objectivity."
A number related to that concept —
Less objectively —
Comments Off on Ljubljana
Tuesday, November 5, 2019
A followup to earlier posts on Trudeau vs. Euclid —
Geometry from July 6, 2014:
Comments Off on NonWoo
Monday, November 4, 2019
Sounds like a story by Optimus Prime —
"Before time began, there was the Cube."
Comments Off on Science Woo
Previously in Log24: Trudeau and the Story Theory of Truth.
Morerecent remarks by Trudeau —
Bible Stories for Skeptics
Review
With a bit of a twinkle in his eye, Richard Trudeau—a skeptic, retired Unitarian Universalist minister, Harvard Divinity School grad and (though he doesn't use the word) humanist—removes the supernaturalism from some of the common stories in the JudeoChristian Bible for the edification of nonscholars. He links them to history as known to archeologists and serious historians and tries to salvage some things of value in the collection of diverse materials in the book….
— Edd Doerr, book reviewer for The Unitarian Universalist Humanist Association
About the Author
Richard Trudeau is minister emeritus of the Unitarian Universalist Church of Weymouth, Massachusetts. He holds a Master of Divinity degree with concentration in biblical studies from Harvard Divinity School. He is also professor emeritus of Stonehill College in Easton, Massachusetts, where he specialized in the history of mathematics, the philosophy of science and the history of astronomy. His previous books include Universalism 101 and The NonEuclidean Revolution.
Product details
File Size: 474 KB
Print Length: 166 pages
Page Numbers Source ISBN: 1493688642
Publisher: Chad Brown Publishing (July 6, 2014)

Log24 on the above publication date — July 6, 2014 —
Comments Off on Trudeau Revisited
Comments Off on As Above, So Below*
Tuesday, August 13, 2019
The Matrix of LéviStrauss —
(From his “Structure and Form: Reflections on a Work by Vladimir Propp.”
Translated from a 1960 work in French. It appeared in English as
Chapter VIII of Structural Anthropology, Volume 2 (U. of Chicago Press, 1976).
Chapter VIII was originally published in Cahiers de l’Institut de Science
Économique Appliquée , No. 9 (Series M, No. 7) (Paris: ISEA, March 1960).)
The structure of the matrix of LéviStrauss —
Illustration from Diamond Theory , by Steven H. Cullinane (1976).
The relevant field of mathematics is not Boolean algebra, but rather
Galois geometry.
Comments Off on Putting the Structure in Structuralism
Tuesday, July 2, 2019
An illustration from the previous post may be interpreted
as an attempt to unbokeh an inscape —
The 15 lines above are Euclidean lines based on pairs within a sixset.
For examples of Galois lines so based, see SixSet Geometry:
Comments Off on Depth Psychology Meets Inscape Geometry
Sunday, September 9, 2018
"The role of Desargues's theorem was not understood until
the Desargues configuration was discovered. For example,
the fundamental role of Desargues's theorem in the coordinatization
of synthetic projective geometry can only be understood in the light
of the Desargues configuration.
Thus, even as simple a formal statement as Desargues's theorem
is not quite what it purports to be. The statement of Desargues's theorem
pretends to be definitive, but in reality it is only the tip of an iceberg
of connections with other facts of mathematics."
— From p. 192 of "The Phenomenology of Mathematical Proof,"
by GianCarlo Rota, in Synthese , Vol. 111, No. 2, Proof and Progress
in Mathematics (May, 1997), pp. 183196. Published by: Springer.
Stable URL: https://www.jstor.org/stable/20117627.
Related figures —
Note the 3×3 subsquare containing the triangles ABC, etc.
"That in which space itself is contained" — Wallace Stevens
Comments Off on Plan 9 Continues.
Monday, August 27, 2018
From …
Thinking in Four Dimensions
By Dusa McDuff
"I’ve got the rather foolhardy idea of trying to explain
to you the kind of mathematics I do, and the kind of
ideas that seem simple to me. For me, the search
for simplicity is almost synonymous with the search
for structure.
I’m a geometer and topologist, which means that
I study the structure of space …
. . . .
In each dimension there is a simplest space
called Euclidean space … "
— In Roman Kossak, ed.,
Simplicity: Ideals of Practice in Mathematics and the Arts
(Kindle Locations 705710, 735). Kindle Edition.
For some much simpler spaces of various
dimensions, see Galois Space in this journal.
Comments Off on Geometry and Simplicity
Sunday, April 29, 2018
From the online New York Times this afternoon:
Disney now holds nine of the top 10
domestic openings of all time —
six of which are part of the Marvel
Cinematic Universe. “The result is
a reflection of 10 years of work:
of developing this universe, creating
stakes as big as they were, characters
that matter and stories and worlds that
people have come to love,” Dave Hollis,
Disney’s president of distribution, said
in a phone interview.
From this journal this morning:
"But she felt there must be more to this
than just the sensation of folding space
over on itself. Surely the Centaurs hadn't
spent ten years telling humanity how to
make a fancy amusementpark ride.
There had to be more—"
— Factoring Humanity , by Robert J. Sawyer,
Tom Doherty Associates, 2004 Orb edition,
page 168
"The sensation of folding space . . . ."
Or unfolding:
Click the above unfolded space for some background.
Comments Off on Amusement
Monday, March 12, 2018
Remarks related to a recent film and a notsorecent film.
For some historical background, see Dirac and Geometry in this journal.
Also (as Thas mentions) after Saniga and Planat —
The SanigaPlanat paper was submitted on December 21, 2006.
Excerpts from this journal on that date —
"Open the pod bay doors, HAL."
Comments Off on “Quantum Tesseract Theorem?”
Sunday, March 4, 2018
1955 ("Blackboard Jungle") —
1976 —
2009 —
2016 —
Comments Off on The Square Inch Space: A Brief History
Saturday, February 17, 2018
Michael Atiyah on the late Ron Shaw —
Phrases by Atiyah related to the importance in mathematics
of the twoelement Galois field GF(2) —
 “The digital revolution based on the 2 symbols (0,1)”
 “The algebra of George Boole”
 “Binary codes”
 “Dirac’s spinors, with their up/down dichotomy”
These phrases are from the yearend review of Trinity College,
Cambridge, Trinity Annual Record 2017 .
I prefer other, purely geometric, reasons for the importance of GF(2) —
 The 2×2 square
 The 2x2x2 cube
 The 4×4 square
 The 4x4x4 cube
See Finite Geometry of the Square and Cube.
See also today’s earlier post God’s Dice and Atiyah on the theology of
(Boolean) algebra vs. (Galois) geometry:
Comments Off on The Binary Revolution
Friday, February 16, 2018
The Institute for Advanced Study (IAS) at Princeton in its Fall 2015 Letter
revived "Beautiful Mathematics" as a title:
This ugly phrase was earlier used by Truman State University
professor Martin Erickson as a book title. See below.
In the same IAS Fall 2015 Letter appear the following remarks
by Freeman Dyson —
". . . a special case of a much deeper connection that Ian Macdonald
discovered between two kinds of symmetry which we call modular and affine.
The two kinds of symmetry were originally found in separate parts of science,
modular in pure mathematics and affine in physics. Modular symmetry is
displayed for everyone to see in the drawings of flying angels and devils
by the artist Maurits Escher. Escher understood the mathematics and got the
details right. Affine symmetry is displayed in the peculiar groupings of particles
created by physicists with highenergy accelerators. The mathematician
Robert Langlands was the first to conjecture a connection between these and
other kinds of symmetry. . . ." (Wikipedia link added.)
The adjective "modular" might aptly be applied to . . .
The adjective "affine" might aptly be applied to . . .
The geometry of the 4×4 square combines modular symmetry
(i.e., related to theta functions) with the affine symmetry above.
Hudson's 1905 discussion of modular symmetry (that of Rosenhain
tetrads and Göpel tetrads) in the 4×4 square used a parametrization
of that square by the digit 0 and the fifteen 2subsets of a 6set, but
did not discuss the 4×4 square as an affine space.
For the connection of the 15 Kummer modular 2subsets with the 16
element affine space over the twoelement Galois field GF(2), see my note
of May 26, 1986, "The 2subsets of a 6set are the points of a PG(3,2)" —
— and the affine structure in the 1979 AMS abstract
"Symmetry invariance in a diamond ring" —
For some historical background on the symmetry investigations by
Dyson and Macdonald, see Dyson's 1972 article "MIssed Opportunities."
For Macdonald's own use of the words "modular" and "affine," see
Macdonald, I. G., "Affine Lie algebras and modular forms,"
Séminaire N. Bourbaki , Vol. 23 (19801981), Talk no. 577, pp. 258276.
Comments Off on Two Kinds of Symmetry
Thursday, January 25, 2018
"By an archetype I mean a systematic repertoire
of ideas by means of which a given thinker describes,
by analogical extension , some domain to which
those ideas do not immediately and literally apply."
— Max Black in Models and Metaphors
(Cornell, 1962, p. 241)
"Others … spoke of 'ultimate frames of reference' …."
— Ibid.
A "frame of reference" for the concept four quartets —
A less reputable analogical extension of the same
frame of reference —
Madeleine L'Engle in A Swiftly Tilting Planet :
"… deep in concentration, bent over the model
they were building of a tesseract:
the square squared, and squared again…."
See also the phrase Galois tesseract .
Comments Off on Beware of Analogical Extension
Saturday, September 23, 2017
"With respect to the story's content, the frame thus acts
both as an inclusion of the exterior and as an exclusion
of the interior: it is a perturbation of the outside at the
very core of the story's inside, and as such, it is a blurring
of the very difference between inside and outside."
— Shoshana Felman on a Henry James story, p. 123 in
"Turning the Screw of Interpretation,"
Yale French Studies No. 55/56 (1977), pp. 94207.
Published by Yale University Press.
See also the previous post and The Galois Tesseract.
Comments Off on The Turn of the Frame
Friday, September 15, 2017
Silas in "Equals" (2015) —
Ever since we were kids it's been drilled into us that …
Our purpose is to explore the universe, you know.
Outer space is where we'll find …
… the answers to why we're here and …
… and where we come from.
Related material —
See also Galois Space in this journal.
Comments Off on Space Art
Sunday, August 27, 2017
The “Black” of the title refers to the previous post.
For the “Well,” see Hexagram 48.
Related material —
The Galois Tesseract and, more generally, Binary Coordinate Systems.
Comments Off on Black Well
Saturday, June 3, 2017
Or: The Square
"What we do may be small, but it has
a certain character of permanence."
— G. H. Hardy
* See Expanding the Spielraum in this journal.
Comments Off on Expanding the Spielraum (Continued*)
Tuesday, May 23, 2017
Comments Off on Pursued by a Biplane
Saturday, May 20, 2017
From a review of the 2016 film "Arrival" —
"A seemingly offhand reference to Abbott and Costello
is our gateway. In a movie as generally humorless as Arrival,
the jokes mean something. Ironically, it is Donnelly, not Banks,
who initiates the joke, naming the verbally inexpressive
Heptapod aliens after the loquacious Classical Hollywood
comedians. The squidlike aliens communicate via those beautiful,
cryptic images. Those signs, when thoroughly comprehended,
open the perceiver to a nonlinear conception of time; this is
SapirWhorf taken to the ludicrous extreme."
— Jordan Brower in the Los Angeles Review of Books
Further on in the review —
"Banks doesn’t fully understand the alien language, but she
knows it well enough to get by. This realization emerges
most evidently when Banks enters the alien ship and, floating
alongside Costello, converses with it in their picturelanguage.
She asks where Abbott is, and it responds — as presented
in subtitling — that Abbott 'is death process.'
'Death process' — dying — is not idiomatic English, and what
we see, written for us, is not a perfect translation but a
rendering of Banks’s understanding. This, it seems to me, is a
crucial moment marking the hard limit of a human mind,
working within the confines of human language to understand
an ultimately intractable xenolinguistic system."
For what may seem like an intractable xenolinguistic system to
those whose experience of mathematics is limited to portrayals
by Hollywood, see the previous post —
van Lint and Wilson Meet the Galois Tesseract.
The death process of van Lint occurred on Sept. 28, 2004.
See this journal on that date.
Comments Off on The Ludicrous Extreme
Tuesday, May 2, 2017
Comments Off on Image Albums
Thursday, April 20, 2017
See also “Romancing the Omega” —
Related mathematics — Guitart in this journal —
See also Weyl + Palermo in this journal —
Comments Off on Stone Logic
Sunday, April 16, 2017
This post’s title is from the tags of the previous post —
The title’s “shift” is in the combined concepts of …
Space and Number
From Finite Jest (May 27, 2012):
The books pictured above are From Discrete to Continuous ,
by Katherine Neal, and Geometrical Landscapes , by Amir Alexander.
For some details of the shift, see a Log24 search for Boole vs. Galois.
From a post found in that search —
“Benedict Cumberbatch Says
a Journey From Fact to Faith
Is at the Heart of Doctor Strange“
— io9 , July 29, 2016
” ‘This man comes from a binary universe
where it’s all about logic,’ the actor told us
at San Diego ComicCon . . . .
‘And there’s a lot of humor in the collision
between Easter [ sic ] mysticism and
Western scientific, sort of logical binary.’ “
[Typo now corrected, except in a comment.]
Comments Off on Art Space Paradigm Shift
Sunday, February 12, 2017
Euclidean square and triangle—
Galois square and triangle—
For some backstory, see the "preface" of the
previous post and Soifer in this journal.
Comments Off on Religious Art for Sunday
Wednesday, October 5, 2016
From a Google image search yesterday —
Sources (left to right, top to bottom) —
Math Guy (July 16, 2014)
The Galois Tesseract (Sept. 1, 2011)
The Full Force of Roman Law (April 21, 2014)
A Great Moonshine (Sept. 25, 2015)
A Point of Identity (August 8, 2016)
Pascal via Curtis (April 6, 2013)
Correspondences (August 6, 2011)
Symmetric Generation (Sept. 21, 2011)
Comments Off on Sources
Wednesday, August 24, 2016
"That in which space itself is contained" — Wallace Stevens
An image by Steven H. Cullinane from April 1, 2013:
The large Desargues configuration of Euclidean 3space can be
mapped canonically to the 4×4 square of Galois geometry —
On an Auckland University of Technology thesis by Kate Cullinane —
The thesis reportedly won an Art Directors Club award on April 5, 2013.
Comments Off on Core Statements
Tuesday, August 16, 2016
The images in the previous post do not lend themselves
to any straightforward narrative. Two portions of the
large image search are, however, suggestive —
Boulez and Boole and…
Cross and Boolean lattice.
The improvised cross in the second pair of images
is perhaps being wielded to counteract the
Boole of the first pair of images. See the heading
of the webpage that is the source of the lattice
diagram toward which the cross is directed —
Update of 10 am on August 16, 2016 —
See also Atiyah on the theology of
(Boolean) algebra vs. (Galois) geometry:
Comments Off on Midnight Narrative
Monday, June 27, 2016
From a search in this journal for Euclid + Galois + Interplay —
The 3×3×3 Galois Cube
A tune suggested by the first image above —
Comments Off on Interplay
Saturday, June 18, 2016
In memory of New Yorker artist Anatol Kovarsky,
who reportedly died at 97 on June 1.
Note the Santa, a figure associated with Macy's at Herald Square.
See also posts tagged Herald Square, as well as the following
figure from this journal on the day preceding Kovarsky's death.
A note related both to Galois space and to
the "Herald Square"tagged posts —
"There is such a thing as a length16 sequence."
— Saying adapted from a youngadult novel.
Comments Off on Midnight in Herald Square
Sunday, May 8, 2016
Earlier posts have dealt with Solomon Marcus and Solomon Golomb,
both of whom died this year — Marcus on Saint Patrick’s Day, and
Golomb on Orthodox Easter Sunday. This suggests a review of
Solomon LeWitt, who died on Catholic Easter Sunday, 2007.
A quote from LeWitt indicates the depth of the word “conceptual”
in his approach to “conceptual art.”
From Sol LeWitt: A Retrospective , edited by Gary Garrels, Yale University Press, 2000, p. 376:
THE SQUARE AND THE CUBE
by Sol LeWitt
“The best that can be said for either the square or the cube is that they are relatively uninteresting in themselves. Being basic representations of two and threedimensional form, they lack the expressive force of other more interesting forms and shapes. They are standard and universally recognized, no initiation being required of the viewer; it is immediately evident that a square is a square and a cube a cube. Released from the necessity of being significant in themselves, they can be better used as grammatical devices from which the work may proceed.”
“Reprinted from Lucy R. Lippard et al ., “Homage to the Square,” Art in America 55, No. 4 (JulyAugust 1967): 54. (LeWitt’s contribution was originally untitled.)” 
See also the Cullinane models of some small Galois spaces —
Comments Off on The Three Solomons
Friday, May 6, 2016
Thursday, April 14, 2016
On this date in 2005, mathematician Saunders Mac Lane died at 95.
Related material —
Max Planck quotations:
Mac Lane on Boolean algebra:
Mac Lane’s summary chart (note the absence of Galois geometry ):
I disagree with Mac Lane’s assertion that “the finite models of
Boolean algebra are dull.” See Boole vs. Galois in this journal.
Comments Off on One Funeral at a Time
Thursday, January 21, 2016
My statement yesterday morning that the 15 points
of the finite projective space PG(3,2) are indivisible
was wrong. I was misled by quoting the powerful
rhetoric of Lincoln Barnett (LIFE magazine, 1949).
Points of Euclidean space are of course indivisible:
"A point is that which has no parts" (in some translations).
And the 15 points of PG(3,2) may be pictured as 15
Euclidean points in a square array (with one point removed)
or tetrahedral array (with 11 points added).
The geometry of PG(3,2) becomes more interesting,
however, when the 15 points are each divided into
several parts. For one approach to such a division,
see Mere Geometry. For another approach, click on the
image below.
Comments Off on Dividing the Indivisible
Wednesday, January 13, 2016
(Continued from previous episodes)
Boole and Galois also figure in the mathematics of space —
i.e. , geometry. See Boole + Galois in this journal.
Related material, according to Jung’s notion of synchronicity —
Comments Off on Geometry for Jews
Monday, January 11, 2016
It is an odd fact that the close relationship between some
small Galois spaces and small Boolean spaces has gone
unremarked by mathematicians.
A Google search today for “Galois spaces” + “Boolean spaces”
yielded, apart from merely terminological sources, only some
introductory material I have put on the Web myself.
Some more sophisticated searches, however led to a few
documents from the years 1971 – 1981 …
“Harmonic Analysis of Switching Functions” ,
by Robert J. Lechner, Ch. 5 in A. Mukhopadhyay, editor,
Recent Developments in Switching Theory , Academic Press, 1971.
“Galois Switching Functions and Their Applications,”
by B. Benjauthrit and I. S. Reed,
JPL Deep Space Network Progress Report 4227 , 1975
D.K. Pradhan, “A Theory of Galois Switching Functions,”
IEEE Trans. Computers , vol. 27, no. 3, pp. 239249, Mar. 1978
“Switching functions constructed by Galois extension fields,”
by Iwaro Takahashi, Information and Control ,
Volume 48, Issue 2, pp. 95–108, February 1981
An illustration from the Lechner paper above —
“There is such a thing as harmonic analysis of switching functions.”
— Saying adapted from a youngadult novel
Comments Off on Space Oddity
Monday, December 28, 2015
Combining two headlines from this morning’s
New York Times and Washington Post , we have…
Deceptively Simple Geometries
on a Bold Scale
Voilà —
Click image for details.
More generally, see
Boole vs. Galois.
Comments Off on ART WARS Continues
Friday, December 25, 2015
Related material:
The previous post (Bright Symbol) and
a post from Wednesday,
December 23, 2015, that links to posts
on Boolean algebra vs. Galois geometry.
“An analogy between mathematics and religion is apposite.”
— Harvard Magazine review by Avner Ash of
Mathematics without Apologies
(Princeton University Press, January 18, 2015)
Comments Off on Dark Symbol
Wednesday, December 23, 2015
Bleecker Street logo —
Click image for some background.
Related remarks on mathematics:
Boole vs. Galois
Comments Off on Splitting Apart
Sunday, December 13, 2015
“The colorful story of this undertaking begins with a bang.”
— Martin Gardner on the death of Évariste Galois
Comments Off on The Monster as Big as the Ritz
Monday, November 2, 2015
This is a sequel to the previous post and to the Oct. 24 post
Two Views of Finite Space. From the latter —
” ‘All you need to do is give me your soul:
give up geometry and you will have this
marvellous machine.’ (Nowadays you
can think of it as a computer!) “
Comments Off on The Devil’s Offer
"The office of color in the color line
is a very plain and subordinate one.
It simply advertises the objects of
oppression, insult, and persecution.
It is not the maddening liquor, but
the black letters on the sign
telling the world where it may be had."
— Frederick Douglass, "The Color Line,"
The North American Review , Vol. 132,
No. 295, June 1881, page 575
Or gold letters.
From a search for Seagram in this journal —
"The colorful story of this undertaking begins with a bang."
— Martin Gardner on the death of Évariste Galois
Comments Off on Colorful Story
Saturday, October 31, 2015
Stanford Encyclopedia of Philosophy
on the date Friday, April 5, 2013 —
Paraconsistent Logic
“First published Tue Sep 24, 1996;
substantive revision Fri Apr 5, 2013”
This journal on the date Friday, April 5, 2013 —
The object most closely resembling a “philosophers’ stone”
that I know of is the eightfold cube .
For some related philosophical remarks that may appeal
to a general Internet audience, see (for instance) a website
by I Ching enthusiast Andreas Schöter that displays a labeled
eightfold cube in the form of a lattice diagram —
Related material by Schöter —
A 20page PDF, “Boolean Algebra and the Yi Jing.”
(First published in The Oracle: The Journal of Yijing Studies ,
Vol 2, No 7, Summer 1998, pp. 19–34.)
I differ with Schöter’s emphasis on Boolean algebra.
The appropriate mathematics for I Ching studies is,
I maintain, not Boolean algebra but rather Galois geometry.
See last Saturday’s post Two Views of Finite Space.
Unfortunately, that post is, unlike Schöter’s work, not
suitable for a general Internet audience.
Comments Off on Raiders of the Lost Crucible
Saturday, October 24, 2015
The following slides are from lectures on “Advanced Boolean Algebra” —
The small Boolean spaces above correspond exactly to some small
Galois spaces. These two names indicate approaches to the spaces
via Boolean algebra and via Galois geometry .
A reading from Atiyah that seems relevant to this sort of algebra
and this sort of geometry —
” ‘All you need to do is give me your soul: give up geometry
and you will have this marvellous machine.’ (Nowadays you
can think of it as a computer!) “
Related material — The article “Diamond Theory” in the journal
Computer Graphics and Art , Vol. 2 No. 1, February 1977. That
article, despite the word “computer” in the journal’s title, was
much less about Boolean algebra than about Galois geometry .
For later remarks on diamond theory, see finitegeometry.org/sc.
Comments Off on Two Views of Finite Space
Wednesday, October 21, 2015
"Perhaps an insane conceit …." Perhaps.
Related remarks on algebra and space —
"The Quality Without a Name" (Log24, August 26, 2015).
Comments Off on Algebra and Space
Sunday, September 6, 2015
Sarah Larson in the online New Yorker on Sept. 3, 2015,
discussed Google’s new parent company, “Alphabet”—
“… Alphabet takes our most elementally wonderful
generaluse word—the name of the components of
language itself*—and reassigns it, like the words
tweet, twitter, vine, facebook, friend, and so on,
into a branded realm.”
Emma Watson in “The Bling Ring”
This journal, also on September 3 —
* Actually, Sarah, that would be “phonemes.”
Comments Off on Elementally, My Dear Watson
Friday, September 4, 2015
Galois via Boole
(Courtesy of Intel)
Comments Off on Space Program
Thursday, September 3, 2015
For the title, see posts from August 2007 tagged Gyges.
Related theological remarks:
Boolean spaces (old) vs. Galois spaces (new) in
“The Quality Without a Name”
(a post from August 26, 2015) and the…
Related literature: A search for Borogoves in this journal will yield
remarks on the 1943 tale underlying the above film.
Comments Off on Rings of August
Wednesday, August 26, 2015
The title phrase, paraphrased without quotes in
the previous post, is from Christopher Alexander’s book
The Timeless Way of Building (Oxford University Press, 1979).
A quote from the publisher:
“Now, at last, there is a coherent theory
which describes in modern terms
an architecture as ancient as
human society itself.”
Three paragraphs from the book (pp. xiiixiv):
19. Within this process, every individual act
of building is a process in which space gets
differentiated. It is not a process of addition,
in which preformed parts are combined to
create a whole, but a process of unfolding,
like the evolution of an embryo, in which
the whole precedes the parts, and actualy
gives birth to then, by splitting.
20. The process of unfolding goes step by step,
one pattern at a time. Each step brings just one
pattern to life; and the intensity of the result
depends on the intensity of each one of these
individual steps.
21. From a sequence of these individual patterns,
whole buildings with the character of nature
will form themselves within your thoughts,
as easily as sentences.
Compare to, and contrast with, these illustrations of “Boolean space”:
(See also similar illustrations from Berkeley and Purdue.)
Detail of the above image —
Note the “unfolding,” as Christopher Alexander would have it.
These “Boolean” spaces of 1, 2, 4, 8, and 16 points
are also Galois spaces. See the diamond theorem —
Comments Off on “The Quality Without a Name”
Saturday, August 15, 2015
Sir Laurence Olivier, in "Term of Trial" (1962), dangles
a participle in front of schoolboy Terence Stamp:
"Walking to school today
my arithmetic book
fell into the gutter"
Were Stamp a Galois, the reply might be "Try this one, sir."
Comments Off on Schoolboy Problem
Friday, August 14, 2015
(A review)
Galois space:
Counting symmetries of Galois space:
The reason for these graphic symmetries in affine Galois space —
symmetries of the underlying projective Galois space:
Comments Off on Discrete Space
Tuesday, June 9, 2015
For geeks* —
" Domain, Domain on the Range , "
where Domain = the Galois tesseract and
Range = the fourelement Galois field.
This post was suggested by the previous post,
by a Log24 search for Knight + Move, and by
the phrase "discouraging words" found in that search.
* A term from the 1947 film "Nightmare Alley."
Comments Off on Colorful Song
Thursday, April 16, 2015
"Celebrate National Library Week 2015 (April 1218, 2015)
with the theme "Unlimited possibilities @ your library®."
See also Library of Hell.
A page from Princeton University Press on March 18, 2012:
… "mathematics and narrative…." (top of page xvii).
I prefer the interplay of Euclidean and Galois mathematics.
Comments Off on National Library Week
Thursday, March 26, 2015
The incidences of points and planes in the
Möbius 8_{4 } configuration (8 points and 8 planes,
with 4 points on each plane and 4 planes on each point),
were described by Coxeter in a 1950 paper.*
A table from Monday's post summarizes Coxeter's
remarks, which described the incidences in
spatial terms, with the points and planes as the vertices
and faceplanes of two mutually inscribed tetrahedra —
Monday's post, "Gallucci's Möbius Configuration,"
may not be completely intelligible unless one notices
that Coxeter has drawn some of the intersections in his
Fig. 24, a schematic representation of the pointplane
incidences, as dotless, and some as hollow dots. The figure,
"Gallucci's version of Möbius's 8_{4}," is shown below.
The hollow dots, representing the 8 points (as opposed
to the 8 planes ) of the configuration, are highlighted in blue.
Here a plane (represented by a dotless intersection) contains
the four points that are represented in the square array as lying
in the same row or same column as the plane.
The above Möbius incidences appear also much earlier in
Coxeter's paper, in figures 6 and 5, where they are shown
as describing the structure of a hypercube.
In figures 6 and 5, the dotless intersections representing
planes have been replaced by solid dots. The hollow dots
have again been highlighted in blue.
Figures 6 and 5 demonstrate the fact that adjacency in the set of
16 vertices of a hypercube is isomorphic to adjacency in the set
of 16 subsquares of a square 4×4 array, provided that opposite
sides of the array are identified, as in Fig. 6. The digits in
Coxeter's labels above may be viewed as naming the positions
of the 1's in (0,1) vectors (x_{4}, x_{3}, x_{2}, x_{1}) over the twoelement
Galois field.^{†} In that context, the 4×4 array may be called, instead
of a Möbius hypercube , a Galois tesseract .
* "SelfDual Configurations and Regular Graphs,"
Bulletin of the American Mathematical Society,
Vol. 56 (1950), pp. 413455
^{†} The subscripts' usual 1234 order is reversed as a reminder
that such a vector may be viewed as labeling a binary number
from 0 through 15, or alternately as labeling a polynomial in
the 16element Galois field GF(2^{4}). See the Log24 post
Vector Addition in a Finite Field (Jan. 5, 2013).
Comments Off on The Möbius Hypercube
Monday, January 5, 2015
Wednesday, March 13, 2013
From a review in the April 2013 issue of
Notices of the American Mathematical Society—
"The author clearly is passionate about mathematics
as an art, as a creative process. In reading this book,
one can easily get the impression that mathematics
instruction should be more like an unfettered journey
into a jungle where an individual can make his or her
own way through that terrain."
From the book under review—
"Every morning you take your machete into the jungle
and explore and make observations, and every day
you fall more in love with the richness and splendor
of the place."
— Lockhart, Paul (20090401).
A Mathematician's Lament:
How School Cheats Us Out of Our Most Fascinating
and Imaginative Art Form (p. 92).
Bellevue Literary Press. Kindle Edition.
Related material: Blackboard Jungle in this journal.
See also Galois Space and Solomon's Mines.

"I pondered deeply, then, over the
adventures of the jungle. And after
some work with a colored pencil
I succeeded in making my first drawing.
My Drawing Number One.
It looked something like this:
I showed my masterpiece to the
grownups, and asked them whether
the drawing frightened them.
But they answered: 'Why should
anyone be frightened by a hat?'"
— The Little Prince
* For the title, see Plato Thanks the Academy (Jan. 3).
Comments Off on Gitterkrieg*
Monday, December 29, 2014
Recent posts tagged Sagan Dodecahedron
mention an association between that Platonic
solid and the 5×5 grid. That grid, when extended
by the six points on a "line at infinity," yields
the 31 points of the finite projective plane of
order five.
For details of how the dodecahedron serves as
a model of this projective plane (PG(2,5)), see
Polster's A Geometrical Picture Book , p. 120:
For associations of the grid with magic rather than
with Plato, see a search for 5×5 in this journal.
Comments Off on Dodecahedron Model of PG(2,5)
Thursday, December 18, 2014
(Five by Five continued)
As the 3×3 grid underlies the order3 finite projective plane,
whose 13 points may be modeled by
the 13 symmetry axes of the cube,
so the 5×5 grid underlies the order5 finite projective plane,
whose 31 points may be modeled by
the 31 symmetry axes of the dodecahedron.
See posts tagged GaloisPlane Models.
Comments Off on Platonic Analogy
Wednesday, December 3, 2014
Oslo artist Josefine Lyche has a new Instagram post,
this time on pyramids (the monumental kind).
My response —
Wikipedia's definition of a tetrahedron as a
"trianglebased pyramid" …
… and remarks from a Log24 post of August 14, 2013 :
See also some of Burkard Polster's trianglebased pyramids
and a 1983 trianglebased pyramid in a paper that Polster cites —
(Click image below to enlarge.)
Some other illustrations that are particularly relevant
for Lyche, an enthusiast of magic :
From On Art and Magic (May 5, 2011) —
Mathematics
The Fano plane block design

Magic
The Deathly Hallows symbol—
Two blocks short of a design.


(Updated at about 7 PM ET on Dec. 3.)
Comments Off on Pyramid Dance
Sunday, November 30, 2014
The Regular Tetrahedron
The seven symmetry axes of the regular tetrahedron
are of two types: vertextoface and edgetoedge.
Take these axes as the "points" of a Fano plane.
Each of the tetrahedron's six reflection planes contains
two vertextoface axes and one edgetoedge axis.
Take these six planes as six of the "lines" of a Fano
plane. Then the seventh line is the set of three
edgetoedge axes.
(The Fano tetrahedron is not original with me.
See Polster's 1998 A Geometrical Picture Book , pp. 1617.)
The Cube
There are three reflection planes parallel to faces
of the cube. Take the seven nonempty subsets of
the set of these three planes as the "points" of a
Fano plane. Define the Fano "lines" as those triples
of these seven subsets in which each member of
the triple is the symmetricdifference sum of the
other two members.
(This is the eightfold cube discussed at finitegeometry.org.)
Comments Off on Two Physical Models of the Fano Plane
Wednesday, November 26, 2014
Update of Nov. 30, 2014 —
It turns out that the following construction appears on
pages 1617 of A Geometrical Picture Book , by
Burkard Polster (Springer, 1998).
"Experienced mathematicians know that often the hardest
part of researching a problem is understanding precisely
what that problem says. They often follow Polya's wise
advice: 'If you can't solve a problem, then there is an
easier problem you can't solve: find it.'"
—John H. Conway, foreword to the 2004 Princeton
Science Library edition of How to Solve It , by G. Polya
For a similar but more difficult problem involving the
31point projective plane, see yesterday's post
"EuclideanGalois Interplay."
The above new [see update above] Fanoplane model was
suggested by some 1998 remarks of the late Stephen Eberhart.
See this morning's followup to "EuclideanGalois Interplay"
quoting Eberhart on the topic of how some of the smallest finite
projective planes relate to the symmetries of the five Platonic solids.
Update of Nov. 27, 2014: The seventh "line" of the tetrahedral
Fano model was redefined for greater symmetry.
Comments Off on A Tetrahedral FanoPlane Model
Update of Nov. 30, 2014 —
For further information on the geometry in
the remarks by Eberhart below, see
pp. 1617 of A Geometrical Picture Book ,
by Burkard Polster (Springer, 1998). Polster
cites a different article by Lemay.
A search for background to the exercise in the previous post
yields a passage from the late Stephen Eberhart:
The first three primes p = 2, 3, and 5 therefore yield finite projective planes with 7, 13, and 31 points and lines, respectively. But these are just the numbers of symmetry axes of the five regular solids, as described in Plato's Timaeus : The tetrahedron has 4 pairs of face planes and comer points + 3 pairs of opposite edges, totalling 7 axes; the cube has 3 pairs of faces + 6 pairs of edges + 4 pairs of comers, totalling 13 axes (the octahedron simply interchanges the roles of faces and comers); and the pentagon dodecahedron has 6 pairs of faces + 15 pairs of edges + 10 pairs of comers, totalling 31 axes (the icosahedron again interchanging roles of faces and comers). This is such a suggestive result, one would expect to find it dealt with in most texts on related subjects; instead, while "well known to those who well know such things" (as Richard Guy likes to quip), it is scarcely to be found in the formal literature [9]. The reason for the common numbers, it turns out, is that the groups of symmetry motions of the regular solids are subgroups of the groups of collineations of the respective finite planes, a face axis being different from an edge axis of a regular solid but all points of a projective plane being alike, so the latter has more symmetries than the former.
[9] I am aware only of a series of inhouse publications by Fernand Lemay of the Laboratoire de Didactique, Faculté des Sciences de I 'Éducation, Univ. Laval, Québec, in particular those collectively titled Genèse de la géométrie IX.
— Stephen Eberhart, Dept. of Mathematics,
California State University, Northridge,
"Pythagorean and Platonic Bridges between
Geometry and Algebra," in BRIDGES: Mathematical
Connections in Art, Music, and Science , 1998,
archive.bridgesmathart.org/1998/bridges1998121.pdf

Eberhart died of bone cancer in 2003. A memorial by his
high school class includes an Aug. 7, 2003, transcribed
letter from Eberhart to a classmate that ends…
… I earned MA’s in math (UW, Seattle) and history (UM, Missoula) where a math/history PhD program had been announced but canceled. So 1984 to 2002 I taught math (esp. nonEuclidean geometry) at C.S.U. Northridge. It’s been a rich life. I’m grateful.
Steve

See also another informative BRIDGES paper by Eberhart
on mathematics and the seven traditional liberal arts.
Comments Off on Class Act
Monday, October 27, 2014
A post in honor of Évariste Galois (25 October 1811 – 31 May 1832)
From a book by Richard J. Trudeau titled The NonEuclidean Revolution —
See also “nonEuclidean” in this journal.
One might argue that Galois geometry, a field ignored by Trudeau,
is also “nonEuclidean,” and (for those who like rhetoric) revolutionary.
Comments Off on Revolutions in Geometry
Saturday, October 25, 2014
In the above illustration of the 345 Pythagorean triangle,
the grids on each side may be regarded as figures of
Euclidean geometry or of Galois geometry.
In Euclidean geometry, these grids illustrate a property of
the inner triangle.
In elementary Galois geometry, ignoring the connection with
the inner triangle, the grids may be regarded instead as
illustrating vector spaces over finite (i.e., Galois) fields.
Previous posts in this journal have dealt with properties of
the 3×3 and 4×4 grids. This suggests a look at properties of
the next larger grid, the 5×5 array, viewed as a picture of the
twodimensional vector space (or affine plane) over the finite
Galois field GF(5) (also known as ℤ_{5}).
The 5×5 array may be coordinatized in a natural way, as illustrated
in (for instance) Matters Mathematical , by I.N. Herstein and
Irving Kaplansky, 2nd ed., Chelsea Publishing, 1978, p. 171:
See Herstein and Kaplansky for the elementary Galois geometry of
the 5×5 array.
For 5×5 geometry that is not so elementary, see…
Hafner's abstract:
We describe the HoffmanSingleton graph geometrically, showing that
it is closely related to the incidence graph of the affine plane over ℤ_{5}.
This allows us to construct all automorphisms of the graph.
The remarks of Brouwer on graphs connect the 5×5related geometry discussed
by Hafner with the 4×4 geometry related to the Steiner system S(5,8,24).
(See the Miracle Octad Generator of R. T. Curtis and the related coordinatization
by Cullinane of the 4×4 array as a fourdimensional vector space over GF(2).)
Comments Off on Foundation Square
Monday, September 22, 2014
Review of an image from a post of May 6, 2009:
Comments Off on Space
Sunday, September 14, 2014
Structured gray matter:
Graphic symmetries of Galois space:
The reason for these graphic symmetries in affine Galois space —
symmetries of the underlying projective Galois space:
Comments Off on Sensibility
Sunday, August 31, 2014
The Folding
Cynthia Zarin in The New Yorker , issue dated April 12, 2004—
“Time, for L’Engle, is accordionpleated. She elaborated,
‘When you bring a sheet off the line, you can’t handle it
until it’s folded, and in a sense, I think, the universe can’t
exist until it’s folded — or it’s a story without a book.’”
The geometry of the 4×4 square array is that of the
3dimensional projective Galois space PG(3,2).
This space occurs, notably, in the Miracle Octad Generator (MOG)
of R. T. Curtis (submitted to Math. Proc. Camb. Phil. Soc. on
15 June 1974). Curtis did not, however, describe its geometric
properties. For these, see the Cullinane diamond theorem.
Some history:
Curtis seems to have obtained the 4×4 space by permuting,
then “folding” 1×8 binary sequences into 4×2 binary arrays.
The original 1×8 sequences came from the method of Turyn
(1967) described by van Lint in his book Coding Theory
(Springer Lecture Notes in Mathematics, No. 201 , first edition
published in 1971). Two 4×2 arrays form each 4×4 square array
within the MOG. This construction did not suggest any discussion
of the geometric properties of the square arrays.
[Rewritten for clarity on Sept. 3, 2014.]
Comments Off on Sunday School
Thursday, July 17, 2014
Continuous Euclidean space to discrete Galois space*
Euclidean space:
From a page by Bryan Clair
Counting symmetries in Euclidean space:
Galois space:
Counting symmetries of Galois space:
The reason for these graphic symmetries in affine Galois space —
symmetries of the underlying projective Galois space:
* For related remarks, see posts of May 2628, 2012.
Comments Off on Paradigm Shift:
Wednesday, February 5, 2014
Continued from previous post and from Sept. 8, 2009.
Examination of the box's contents does not solve
the contents' real mystery. That requires knowledge
of the nonEuclidean geometry of Galois space.
In this case, without that knowledge, prattle (as in
today's online New York Times ) about creativity and
"thinking outside the box" is pointless.
Comments Off on Mystery Box II
Thursday, November 7, 2013
Yesterday afternoon's post linked to efforts by
the late Robert de Marrais to defend a mathematical
approach to structuralism and kaleidoscopic patterns.
Two examples of nonmathematical discourse on
such patterns:
1. A Royal Society paper from 2012—
Click the above image for related material in this journal.
2. A book by Junichi Toyota from 2009—
Kaleidoscopic Grammar: Investigation into the Nature of Binarism
I find such nonmathematical approaches much less interesting
than those based on the mathematics of reflection groups .
De Marrais described the approaches of Vladimir Arnold and,
earlier, of H. S. M. Coxeter, to such groups. These approaches
dealt only with groups of reflections in Euclidean spaces.
My own interest is in groups of reflections in Galois spaces.
See, for instance, A Simple Reflection Group of Order 168.
Galois spaces over fields of characteristic 2 are particularly
relevant to what Toyota calls binarism .
Comments Off on Pattern Grammar
Monday, April 1, 2013
Background: Rosenhain and Göpel Tetrads in PG(3,2)
Introduction:
The Large Desargues Configuration
Added by Steven H. Cullinane on Friday, April 19, 2013
Desargues' theorem according to a standard textbook:
"If two triangles are perspective from a point
they are perspective from a line."
The converse, from the same book:
"If two triangles are perspective from a line
they are perspective from a point."
Desargues' theorem according to Wikipedia
combines the above statements:
"Two triangles are in perspective axially [i.e., from a line]
if and only if they are in perspective centrally [i.e., from a point]."
A figure often used to illustrate the theorem,
the Desargues configuration , has 10 points and 10 lines,
with 3 points on each line and 3 lines on each point.
A discussion of the "if and only if" version of the theorem
in light of Galois geometry requires a larger configuration—
15 points and 20 lines, with 3 points on each line
and 4 lines on each point.
This large Desargues configuration involves a third triangle,
needed for the proof (though not the statement ) of the
"if and only if" version of the theorem. Labeled simply
"Desargues' Theorem," the large configuration is the
frontispiece to Volume I (Foundations) of Baker's 6volume
Principles of Geometry .
Pointline incidence in this larger configuration is,
as noted in the post of April 1 that follows
this introduction, described concisely
by 20 Rosenhain tetrads (defined in 1905 by
R. W. H. T. Hudson in Kummer's Quartic Surface ).
The third triangle, within the larger configuration,
is pictured below.

A connection discovered today (April 1, 2013)—
(Click to enlarge the image below.)
Update of April 18, 2013
Note that Baker's Desarguestheorem figure has three triangles,
ABC, A'B'C', A"B"C", instead of the two triangles that occur in
the statement of the theorem. The third triangle appears in the
course of proving, not just stating, the theorem (or, more precisely,
its converse). See, for instance, a note on a standard textbook for
further details.
(End of April 18, 2013 update.)
Update of April 14, 2013
See Baker's Proof (Edited for the Web) for a detailed explanation
of the above picture of Baker's Desarguestheorem frontispiece.
(End of April 14, 2013 update.)
Update of April 12, 2013
A different figure, from a site at National Tsing Hua University,
shows the three triangles of Baker's figure more clearly:
(End of update of April 12, 2013)
Update of April 13, 2013
Another in a series of figures illustrating
Desargues's theorem in light of Galois geometry:
See also the original VeblenYoung figure in context.
(End of update of April 13, 2013)
Rota's remarks, while perhaps not completely accurate, provide some context
for the above DesarguesRosenhain connection. For some other context,
see the interplay in this journal between classical and finite geometry, i.e.
between Euclid and Galois.
For the recent context of the above finitegeometry version of Baker's Vol. I
frontispiece, see Sunday evening's finitegeometry version of Baker's Vol. IV
frontispiece, featuring the Göpel, rather than the Rosenhain, tetrads.
For a 1986 illustration of Göpel and Rosenhain tetrads (though not under
those names), see Picturing the Smallest Projective 3Space.
In summary… the following classicalgeometry figures
are closely related to the Galois geometry PG(3,2):
Volume I of Baker's Principles
has a cover closely related to
the Rosenhain tetrads in PG(3,2)

Volume IV of Baker's Principles
has a cover closely related to
the Göpel tetrads in PG(3,2)

Foundations
(click to enlarge)

Higher Geometry
(click to enlarge)

Comments Off on Desargues via Rosenhain
Tuesday, February 26, 2013
"I’ve had the privilege recently of being a Harvard University
professor, and there I learned one of the greatest of Harvard
jokes. A group of rabbis are on the road to Golgotha and
Jesus is coming by under the cross. The young rabbi bursts
into tears and says, 'Oh, God, the pity of it!' The old rabbi says,
'What is the pity of it?' The young rabbi says, 'Master, Master,
what a teacher he was.'
'Didn’t publish!'
That cold tenure joke at Harvard contains a deep truth.
Indeed, Jesus and Socrates did not publish."
— George Steiner, 2002 talk at York University
Related material—
See also Steiner on Galois.
Les Miserables at the Academy Awards
Comments Off on Publication
Tuesday, February 19, 2013
Yesterday's post Permanence dealt with the cube
as a symmetric model of the finite projective plane
PG(2,3), which has 13 points and 13 lines. The points
and lines of the finite geometry occur in the cube as
the 13 axes of symmetry and the 13 planes through
the center perpendicular to those axes. If the three
axes lying in a plane that cuts the cube in a hexagon
are supplemented by the axis perpendicular to that
plane, each plane is associated with four axes and,
dually, each axis is associated with four planes.
My web page on this topic, Cubist Geometries, was
written on February 27, 2010, and first saved to the
Internet Archive on Oct. 4, 2010.
For a more recent treatment of this topic that makes
exactly the same points as the 2010 page, see p. 218
of Configurations from a Graphical Viewpoint , by
Tomaž Pisanski and Brigitte Servatius, published by
Springer on Sept. 23, 2012 (date from both Google
Books and Amazon.com):
For a similar 1998 treatment of the topic, see Burkard Polster's
A Geometrical Picture Book (Springer, 1998), pp. 103104.
The PisanskiServatius book reinforces my argument of Jan. 13, 2013,
that the 13 planes through the cube's center that are perpendicular
to the 13 axes of symmetry of the cube should be called the cube's
symmetry planes , contradicting the usual use of of that term.
That argument concerns the interplay between Euclidean and
Galois geometry. Pisanski and Servatius (and, in 1998, Polster)
emphasize the Euclidean square and cube as guides* to
describing the structure of a Galois space. My Jan. 13 argument
uses Galois structures as a guide to redescribing those of Euclid .
(For a similar strategy at a much more sophisticated level,
see a recent Harvard Math Table.)
Related material: Remarks on configurations in this journal
during the month that saw publication of the PisanskiServatius book.
* Earlier guides: the diamond theorem (1978), similar theorems for
2x2x2 (1984) and 4x4x4 cubes (1983), and Visualizing GL(2,p)
(1985). See also Spaces as Hypercubes (2012).
Comments Off on Configurations
Tuesday, February 5, 2013
The previous post discussed some fundamentals of logic.
The name “Boole” in that post naturally suggests the
concept of Boolean algebra . This is not the algebra
needed for Galois geometry . See below.
Some, like Dan Brown, prefer to interpret symbols using
religion, not logic. They may consult Diamond Mandorla,
as well as Blade and Chalice, in this journal.
See also yesterday’s Universe of Discourse.
Comments Off on Arsenal
Sunday, January 20, 2013
Part I: Synthesis
Part II: Iconic Symbols
Blackboard Jungle , 1955
Part III: Euclid vs. Galois
Comments Off on In the Details
Saturday, January 5, 2013
The finite (i.e., Galois) field GF(16),
according to J. J. Seidel in 1974—
The same field according to Steven H. Cullinane in 1986,
in its guise as the affine 4space over GF(2)—
The same field, again disguised as an affine 4space,
according to John H. Conway and N.J.A. Sloane in
Sphere Packings, Lattices, and Groups , first published in 1988—
The above figure by Conway and Sloane summarizes, using
a 4×4 array, the additive vectorspace structure of the finite
field GF(16).
This structure embodies what in Euclidean space is called
the parallelogram rule for vector addition—
(Thanks to June Lester for the 3D (uvw) part of the above figure.)
For the transition from this colored Euclidean hypercube
(used above to illustrate the parallelogram rule) to the
4×4 Galois space (illustrated by Cullinane in 1979 and
Conway and Sloane in 1988— or later… I do not have
their book’s first edition), see Diamond Theory in 1937,
Vertex Adjacency in a Tesseract and in a 4×4 Array,
Spaces as Hypercubes, and The Galois Tesseract.
For some related narrative, see tesseract in this journal.
(This post has been added to finitegeometry.org.)
Update of August 9, 2013—
Coordinates for hypercube vertices derived from the
parallelogram rule in four dimensions were better
illustrated by Jürgen Köller in a web page archived in 2002.
Update of August 13, 2013—
The four basis vectors in the 2002 Köller hypercube figure
are also visible at the bottom of the hypercube figure on
page 7 of “Diamond Theory,” excerpts from a 1976 preprint
in Computer Graphics and Art , Vol. 2, No. 1, February 1977.
A predecessor: Coxeter’s 1950 hypercube figure from
“SelfDual Configurations and Regular Graphs.”
Comments Off on Vector Addition in a Finite Field
Thursday, December 13, 2012
Review:
Cubic models of finite geometries
display an interplay between
Euclidean and Galois geometry.
Related literary remarks: Congregated Light.
Comments Off on Interplay
Monday, August 13, 2012
(An episode of Mathematics and Narrative )
A report on the August 9th opening of Sondheim's Into the Woods—
Amy Adams… explained why she decided to take on the role of the Baker’s Wife.
“It’s the ‘Be careful what you wish’ part,” she said. “Since having a child, I’m really aware that we’re all under a social responsibility to understand the consequences of our actions.” —Amanda Gordon at businessweek.com
Related material—
Amy Adams in Sunshine Cleaning "quickly learns the rules and ropes of her unlikely new market. (For instance, there are products out there specially formulated for cleaning up a 'decomp.')" —David Savage at Cinema Retro
Compare and contrast…
1. The following item from Walpurgisnacht 2012—
2. The six partitions of a tesseract's 16 vertices
into four parallel faces in Diamond Theory in 1937—
Comments Off on Raiders of the Lost Tesseract
Tuesday, May 29, 2012
(Continued from May 29, 2002)
May 29, 1832—
Évariste Galois, Lettre de Galois à M. Auguste Chevalier—
Après cela, il se trouvera, j'espère, des gens qui trouveront leur profit à déchiffrer tout ce gâchis.
(Later there will be, I hope, some people who will find it to their advantage to decipher all this mess.)
Martin Gardner on the above letter—
"Galois had written several articles on group theory, and was merely annotating and correcting those earlier published papers."
– The Last Recreations , by Martin Gardner, published by Springer in 2007, page 156.
Commentary from Dec. 2011 on Gardner's word "published" —
(Click to enlarge.)
Comments Off on The Shining of May 29
Monday, May 28, 2012
Jamie James in The Music of the Spheres
(Springer paperback, 1995), page 28—
Pythagoras constructed a table of opposites
from which he was able to derive every concept
needed for a philosophy of the phenomenal world.
As reconstructed by Aristotle in his Metaphysics,
the table contains ten dualities….
Limited
Odd
One
Right
Male
Rest
Straight
Light
Good
Square

Unlimited
Even
Many
Left
Female
Motion
Curved
Dark
Bad
Oblong

Of these dualities, the first is the most important;
all the others may be seen as different aspects
of this fundamental dichotomy.
For further information, search on peiron + apeiron or
consult, say, Ancient Greek Philosophy , by Vijay Tankha.
The limitedunlimited contrast is not unrelated to the
contrasts between
Comments Off on Fundamental Dichotomy
Monday, May 21, 2012
A web search for the author Cameron McEwen mentioned
in today's noon post was unsuccessful, but it did yield an
essay, quite possibly by a different Cameron McEwen, on
The Digital Wittgenstein:
"The fundamental difference between analog
and digital systems may be understood as
underlying philosophical discourse since the Greeks."
The University of Bergen identifies the Wittgenstein
McEwen as associated with InteLex of Charlottesville.
The title of this post may serve to point out an analogy*
between the InteLex McEwen's analogdigital contrast
and the EuclideanGalois contrast discussed previously
in this journal.
The latter contrast is exemplified in Pilate Goes to Kindergarten.
* An analogy, as it were, between analogies.
Comments Off on Wittgenstein’s Kindergarten
Thursday, May 3, 2012
(Continued)
“The key is the cocktail that begins the proceedings.”
– Brian Harley, Mate in Two Moves
See also yesterday's Endgame , as well as Play and Interplay
from April 28… and, as a key, the following passage from
an earlier April 28 post—
Euclidean geometry has long been applied
to physics; Galois geometry has not.
The cited webpage describes the interplay
of both sorts of geometry— Euclidean
and Galois, continuous and discrete—
within physical space— if not within
the space of physics . 
Comments Off on Everybody Comes to Rick’s
Saturday, April 28, 2012
A Log24 post, "Bridal Birthday," one year ago today linked to
"The Discrete and the Continuous," a brief essay by David Deutsch.
From that essay—
"The idea of quantization—
the discreteness of physical quantities—
turned out to be immensely fruitful."
Deutsch's "idea of quantization" also appears in
the April 12 Log24 post Mythopoetic—
"Is Space Digital?"
— Cover story, Scientific American
magazine, February 2012
"The idea that space may be digital
is a fringe idea of a fringe idea
of a speculative subfield of a subfield."
— Physicist Sabine Hossenfelder
at her weblog on Feb. 5, 2012
"A quantization of space/time
is a holy grail for many theorists…."
— Peter Woit in a comment
at his weblog on April 12, 2012

It seems some clarification is in order.
Hossenfelder's "The idea that space may be digital"
and Woit's "a quantization of space/time" may not
refer to the same thing.
Scientific American on the concept of digital space—
"Space may not be smooth and continuous.
Instead it may be digital, composed of tiny bits."
Wikipedia on the concept of quantization—
Causal sets, loop quantum gravity, string theory,
and black hole thermodynamics all predict
a quantized spacetime….
For a purely mathematical approach to the
continuousvs.discrete issue, see
Finite Geometry and Physical Space.
The physics there is somewhat tongueincheek,
but the geometry is serious.The issue there is not
continuousvs.discrete physics , but rather
Euclideanvs.Galois geometry .
Both sorts of geometry are of course valid.
Euclidean geometry has long been applied to
physics; Galois geometry has not. The cited
webpage describes the interplay of both sorts
of geometry— Euclidean and Galois, continuous
and discrete— within physical space— if not
within the space of physics.
Comments Off on Sprechen Sie Deutsch?
Saturday, March 17, 2012
(Continued)
The diamond from the Chirho page
of the Book of Kells —
The diamond at the center of Euclid's
Proposition I, according to James Joyce
(i.e., the Diamond in the Mandorla) —
The Diamond in the Football —
“He pointed at the football
on his desk. ‘There it is.’”
– Glory Road
Comments Off on The Purloined Diamond
Monday, February 20, 2012
In the Beginning…
"As is well known, the Aleph is the first letter of the Hebrew alphabet."
– Borges, "The Aleph" (1945)
From some 1949 remarks of Weyl—
"The relativity problem is one of central significance throughout geometry and algebra and has been recognized as such by the mathematicians at an early time."
— Hermann Weyl, "Relativity Theory as a Stimulus in Mathematical Research," Proceedings of the American Philosophical Society , Vol. 93, No. 7, Theory of Relativity in Contemporary Science: Papers Read at the Celebration of the Seventieth Birthday of Professor Albert Einstein in Princeton, March 19, 1949 (Dec. 30, 1949), pp. 535541
Weyl in 1946—:
"This is the relativity problem: to fix objectively a class of equivalent coordinatizations and to ascertain the group of transformations S mediating between them."
— Hermann Weyl, The Classical Groups , Princeton University Press, 1946, p. 16
Coxeter in 1950 described the elements of the Galois field GF(9) as powers of a primitive root and as ordered pairs of the field of residueclasses modulo 3—
"… the successive powers of the primitive root λ or 10 are
λ = 10, λ^{2} = 21, λ^{3} = 22, λ^{4} = 02,
λ^{5} = 20, λ^{6} = 12, λ^{7} = 11, λ^{8} = 01.
These are the proper coordinate symbols….
(See Fig. 10, where the points are represented in the Euclidean plane as if the coordinate residue 2 were the ordinary number 1. This representation naturally obscures the collinearity of such points as λ^{4}, λ^{5}, λ^{7}.)"
Coxeter's Figure 10 yields...
The Aleph
The details:
(Click to enlarge)
Coxeter's phrase "in the Euclidean plane" obscures the noncontinuous nature of the transformations that are automorphisms of the above linear 2space over GF(3).
Comments Off on Coxeter and the Relativity Problem
Saturday, February 18, 2012
From the current Wikipedia article "Symmetry (physics)"—
"In physics, symmetry includes all features of a physical system that exhibit the property of symmetry—that is, under certain transformations, aspects of these systems are 'unchanged', according to a particular observation. A symmetry of a physical system is a physical or mathematical feature of the system (observed or intrinsic) that is 'preserved' under some change.
A family of particular transformations may be continuous (such as rotation of a circle) or discrete (e.g., reflection of a bilaterally symmetric figure, or rotation of a regular polygon). Continuous and discrete transformations give rise to corresponding types of symmetries. Continuous symmetries can be described by Lie groups while discrete symmetries are described by finite groups (see Symmetry group)."….
"A discrete symmetry is a symmetry that describes noncontinuous changes in a system. For example, a square possesses discrete rotational symmetry, as only rotations by multiples of right angles will preserve the square's original appearance."
Note the confusion here between continuous (or discontinuous) transformations and "continuous" (or "discontinuous," i.e. "discrete") groups .
This confusion may impede efforts to think clearly about some pure mathematics related to current physics— in particular, about the geometry of spaces made up of individual units ("points") that are not joined together in a continuous manifold.
For an attempt to forestall such confusion, see Noncontinuous Groups.
For related material, see Erlanger and Galois as well as the opening paragraphs of Diamond Theory—
Symmetry is often described as invariance under a group of transformations. An unspoken assumption about symmetry in Euclidean 3space is that the transformations involved are continuous.
Diamond theory rejects this assumption, and in so doing reveals that Euclidean symmetry may itself be invariant under rather interesting groups of noncontinuous (and asymmetric) transformations. (These might be called noncontinuous groups, as opposed to socalled discontinuous (or discrete ) symmetry groups. See Weyl's Symmetry .)
For example, the affine group A on the 4space over the 2element field has a natural noncontinuous and asymmetric but symmetrypreserving action on the elements of a 4×4 array. (Details)
(Version first archived on March 27, 2002)
Update of Sunday, February 19, 2012—
The abuse of language by the anonymous authors
of the above Wikipedia article occurs also in more
reputable sources. For instance—
Some transformations referred to by Brading and Castellani
and their editees as "discrete symmetries" are, in fact, as
linear transformations of continuous spaces, themselves
continuous transformations.
This unfortunate abuse of language is at least made explicit
in a 2003 text, Mathematical Perspectives on Theoretical
Physics (Nirmala Prakash, Imperial College Press)—
"… associated[*] with any given symmetry there always exists
a continuous or a discrete group of transformations….
A symmetry whose associated group is continuous (discrete)
is called a continuous (discrete ) symmetry ." — Pp. 235, 236
[* Associated how?]
Comments Off on Symmetry
Sunday, October 30, 2011
Part I: Timothy Gowers on equivalence relations
Part II: Martin Gardner on normal subgroups
Part III: Evariste Galois on normal subgroups
"In all the history of science there is no completer example
of the triumph of crass stupidity over untamable genius…."
— Eric Temple Bell, Men of Mathematics
See also an interesting definition and Weyl on Galois.
Update of 6:29 PM EDT Oct. 30, 2011—
For further details, see Herstein's phrase
"a tribute to the genius of Galois."
Comments Off on Sermon
Monday, August 29, 2011
A comment today on yesterday's New York Times philosophy column "The Stone"
notes that "Augustine… incorporated Greek ideas of perfection into Christianity."
Yesterday's post here for the Feast of St. Augustine discussed the 2×2×2 cube.
Today's Augustine comment in the Times reflects (through a glass darkly)
a Log24 post from Augustine's Day, 2006, that discusses the larger 4×4×4 cube.
For related material, those who prefer narrative to philosophy may consult
Charles Williams's 1931 novel Many Dimensions . Those who prefer mathematics
to either may consult an interpretation in which Many = Six.
Click image for some background.
Comments Off on Many = Six.
Sunday, August 28, 2011
Yesterday’s midday post, borrowing a phrase from the theology of Marvel Comics,
offered Rubik’s mechanical contrivance as a rather absurd “Cosmic Cube.”
A simpler candidate for the “Cube” part of that phrase:
The Eightfold Cube
As noted elsewhere, a simple reflection group* of order 168 acts naturally on this structure.
“Because of their truly fundamental role in mathematics,
even the simplest diagrams concerning finite reflection groups
(or finite mirror systems, or root systems—
the languages are equivalent) have interpretations
of cosmological proportions.”
— Alexandre V. Borovik in “Coxeter Theory: The Cognitive Aspects“
Borovik has a such a diagram—
The planes in Borovik’s figure are those separating the parts of the eightfold cube above.
In Coxeter theory, these are Euclidean hyperplanes. In the eightfold cube, they represent three of seven projective points that are permuted by the above group of order 168.
In light of Borovik’s remarks, the eightfold cube might serve to illustrate the “Cosmic” part of the Marvel Comics phrase.
For some related theological remarks, see Cube Trinity in this journal.
Happy St. Augustine’s Day.
* I.e., one generated by reflections : group actions that fix a hyperplane pointwise. In the eightfold cube, viewed as a vector space of 3 dimensions over the 2element Galois field, these hyperplanes are certain sets of four subcubes.
Comments Off on The Cosmic Part
Sunday, June 26, 2011
Continued from March 10, 2011 — A post that says
"If Galois geometry is thought of as a paradigm shift
from Euclidean geometry, both… the Kuhn cover
and the ninepoint affine plane may be viewed…
as illustrating the shift."
Yesterday's posts The Fano Entity and Theology for Antichristmas,
together with this morning's New York Times obituaries (below)—
—suggest a Sunday School review from last year's
Devil's Night (October 3031, 2010)—
Sunday, October 31, 2010
ART WARS –
m759 @ 2:00 AM
… There is a Cave
Within the Mount of God, fast by his Throne,
Where light and darkness in perpetual round
Lodge and dislodge by turns, which makes through Heav'n
Grateful vicissitude, like Day and Night….
– Paradise Lost , by John Milton

See also Ash Wednesday Surprise and Geometry for Jews.
Comments Off on Paradigms Lost
Friday, April 22, 2011
For the title, see Palm Sunday.
"There is a pleasantly discursive treatment of
Pontius Pilate's unanswered question 'What is truth?'" — H. S. M. Coxeter, 1987
From this date (April 22) last year—
Richard J. Trudeau in The NonEuclidean Revolution , chapter on "Geometry and the Diamond Theory of Truth"–
"… Plato and Kant, and most of the philosophers and scientists in the 2200year interval between them, did share the following general presumptions:
(1) Diamonds– informative, certain truths about the world– exist.
(2) The theorems of Euclidean geometry are diamonds.
Presumption (1) is what I referred to earlier as the 'Diamond Theory' of truth. It is far, far older than deductive geometry."
Trudeau's book was published in 1987. The nonEuclidean* figures above illustrate concepts from a 1976 monograph, also called "Diamond Theory."
Although nonEuclidean,* the theorems of the 1976 "Diamond Theory" are also, in Trudeau's terminology, diamonds.
* "NonEuclidean" here means merely "other than Euclidean." No violation of Euclid's parallel postulate is implied. 
Trudeau comes to reject what he calls the "Diamond Theory" of truth. The trouble with his argument is the phrase "about the world."
Geometry, a part of pure mathematics, is not about the world. See G. H. Hardy, A Mathematician's Apology .
Comments Off on Romancing the Hyperspace
Sunday, April 17, 2011
The following has rather mysteriously appeared in a search at Google Scholar for "Steven H. Cullinane."
This turns out to be a link to a search within this weblog. I do not know why Google Scholar attributes the resulting web page to a journal article by "AB Story" or why it drew the title from a post within the search and applied it to the entire list of posts found. I am, however, happy with the result— a Palm Sunday surprise with an eclectic mixture of styles that might please the late Robert de Marrais.
I hope the late George Temple would also be pleased. He appears in "Romancing" as a resident of Quarr Abbey, a Benedictine monastery.
The remarks by Martin Hyland quoted in connection with Temple's work are of particular interest in light of the Pope's Christmas remark on mathematics quoted here yesterday.
Comments Off on Annals of Search
Thursday, March 10, 2011
(Continued from February 19)
The cover of the April 1, 1970 second edition of The Structure of Scientific Revolutions , by Thomas S. Kuhn—
This journal on January 19, 2011—
If Galois geometry is thought of as a paradigm shift from Euclidean geometry,
both images above— the Kuhn cover and the ninepoint affine plane—
may be viewed, taken together, as illustrating the shift. The nine subcubes
of the Euclidean 3x3x3 cube on the Kuhn cover do not form an affine plane
in the coordinate system of the Galois cube in the second image, but they
at least suggest such a plane. Similarly, transformations of a
nonmathematical object, the 1974 Rubik cube, are not Galois transformations,
but they at least suggest such transformations.
See also today's online Harvard Crimson illustration of problems of translation—
not unrelated to the problems of commensurability discussed by Kuhn.
Comments Off on Paradigms Lost
Tuesday, December 14, 2010
Julie Taymor in an interview published Dec. 12 —
“I’ve got two Broadway shows, a feature film, and Mozart,’’ she said. “It’s a very interesting place to be and to be able to move back and forth, but at a certain point you have to be able to step outside and see,’’ and here she dropped her voice to a tranquil whisper, “it’s just theater. It’s all theater. It’s all theater. The whole thing is theater.’’
Nontheater —
"The interplay between Euclidean and Galois geometry" and
related remarks on interplay — Keats's Laws of Aesthetics.
Part theater, part nontheater —
Cubist crucifixion.
Comments Off on Play and Interplay
Monday, December 13, 2010
Apollo's 13: A Group Theory Narrative —
I. At Wikipedia —
II. Here —
See Cube Spaces and Cubist Geometries.
The 13 symmetry axes of the (Euclidean) cube–
exactly one axis for each pair of opposite
subcubes in the 27part (Galois) 3×3×3 cube–
A note from 1985 describing group actions on a 3×3 plane array—
Undated software by Ed Pegg Jr. displays
group actions on a 3×3×3 cube that extend the
3×3 group actions from 1985 described above—
Pegg gives no reference to the 1985 work on group actions.
Comments Off on Mathematics and Narrative continued…
Wednesday, October 20, 2010
"Why the Celebration?"
"Martin Gardner passed away on May 22, 2010."
Imaginary movie poster from stoneship.org
Context— The Gardner Tribute.
Comments Off on Celebration of Mind
Monday, September 27, 2010
… In the Age of Citation
1. INTRODUCTION TO THE PROBLEM
Social network analysis is focused on the patterning of the social
relationships that link social actors. Typically, network data take the
form of a squareactor by actorbinary adjacency matrix, where
each row and each column in the matrix represents a social actor. A
cell entry is 1 if and only if a pair of actors is linked by some social
relationship of interest (Freeman 1989).
— "Using Galois Lattices to Represent Network Data,"
by Linton C. Freeman and Douglas R. White,
Sociological Methodology, Vol. 23, pp. 127–146 (1993)
From this paper's CiteSeer page—
Citations
Visual Image of the Problem—
From a Google search today:
Related material—
"It is better to light one candle…"
"… the early favorite for best picture at the Oscars" — Roger Moore
Comments Off on The Social Network…
Saturday, August 7, 2010
For aficionados of mathematics and narrative —
Illustration from
"The Galois Quaternion— A Story"
This resembles an attempt by Coxeter in 1950 to represent
a Galois geometry in the Euclidean plane—
The quaternion illustration above shows a more natural way to picture this geometry—
not with dots representing points in the Euclidean plane, but rather with unit squares
representing points in a finite Galois affine plane. The use of unit squares to
represent points in Galois space allows, in at least some cases, the actions
of finite groups to be represented more naturally than in Euclidean space.
See Galois Geometry, Geometry Simplified, and
Finite Geometry of the Square and Cube.
Comments Off on The Matrix Reloaded
Thursday, July 22, 2010
Barnes & Noble has an informative new review today of the recent Galois book Duel at Dawn.
It begins…
"In 1820, the Hungarian noble Farkas Bolyai wrote an impassioned cautionary letter to his son Janos:
'I know this way to the very end. I have traversed this bottomless night, which extinguished all light and joy in my life… It can deprive you of your leisure, your health, your peace of mind, and your entire happiness… I turned back when I saw that no man can reach the bottom of this night. I turned back unconsoled, pitying myself and all mankind. Learn from my example…'
Bolyai wasn't warning his son off gambling, or poetry, or a poorly chosen love affair. He was trying to keep him away from nonEuclidean geometry."
For a less dark view (obtained by simply redefining "nonEuclidean" in a more logical way*) see NonEuclidean Blocks and Finite Geometry and Physical Space.
* Finite geometry is not Euclidean geometry— and is, therefore, nonEuclidean
in the strictest sense (though not according to popular usage), simply because
Euclidean geometry has infinitely many points, and a finite geometry does not.
(This more logical definition of "nonEuclidean" seems to be shared by
at least one other person.)
And some finite geometries are nonEuclidean in the popularusage sense,
related to Euclid's parallel postulate.
The sevenpoint Fano plane has, for instance, been called
"a nonEuclidean geometry" not because it is finite
(though that reason would suffice), but because it has no parallel lines.
(See the finite geometry page at the Centre for the Mathematics
of Symmetry and Computation at the University of Western Australia.)
Comments Off on Pilate Goes to Kindergarten, continued
Older Posts »