"Galois space" is now a domain name: galois.space.
Friday, April 3, 2020
Sunday, November 19, 2017
Galois Space
This is a sequel to yesterday's post Cube Space Continued.
Tuesday, May 31, 2016
Tuesday, January 12, 2016
Harmonic Analysis and Galois Spaces
The above sketch indicates, in a vague, hand-waving, fashion,
a connection between Galois spaces and harmonic analysis.
For more details of the connection, see (for instance) yesterday
afternoon's post Space Oddity.
Sunday, March 10, 2013
Galois Space
The 16-point affine Galois space:
Further properties of this space:
In Configurations and Squares, see the
discusssion of the Kummer 166 configuration.
Some closely related material:
- Wolfgang Kühnel,
"Minimal Triangulations of Kummer Varieties,"
Abh. Math. Sem. Univ. Hamburg 57, 7-20 (1986).For the first two pages, click here.
- Jonathan Spreer and Wolfgang Kühnel,
"Combinatorial Properties of the K 3 Surface:
Simplicial Blowups and Slicings,"
preprint, 26 pages. (2009/10) (pdf).
(Published in Experimental Math. 20,
issue 2, 201–216 (2011).)
Monday, March 4, 2013
Occupy Galois Space
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.
Thursday, February 21, 2013
Galois Space
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."
Illustrations—
Thursday, July 12, 2012
Galois Space
An example of lines in a Galois space * —
The 35 lines in the 3-dimensional Galois projective space PG(3,2)—
There are 15 different individual linear diagrams in the figure above.
These are the points of the Galois space PG(3,2). Each 3-set 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, 488-499.)
(Update of Jan. 5, 2013— This post has been added to finitegeometry.org.)
Wednesday, May 2, 2018
Galois’s Space
(A sequel to Foster's Space and Sawyer's Space)
See posts now tagged Galois's Space.
Monday, August 19, 2024
Saturday, August 17, 2024
Space Odyssey . . . 2001 to 2024
As for what Polster called "God's fingerprint" . . .
A version for Hollywood —
Thursday, April 25, 2024
Space Trace
The title "Space Trace" was suggested yesterday by Claude.ai.
How classical space leaves a Galois trace:
Sunday, June 4, 2023
The Galois Core
Friday, April 28, 2023
The Small Space Model
From the previous post, "The Large Language Model,"
a passage from Wikipedia —
"… sometimes large models undergo a 'discontinuous phase shift'
where the model suddenly acquires substantial abilities not seen
in smaller models. These are known as 'emergent abilities,' and
have been the subject of substantial study." — Wikipedia
Compare and contrast
this with the change undergone by a "small space model,"
that of the finite affine 4-space A with 16 points (a Galois tesseract ),
when it is augmented by an eight-point "octad." The 30 eight-point
hyperplanes of A then have a natural extension within the new
24-point set to 759 eight-point octads, and the 322,560 affine
automorphisms of the space expand to the 244,823,040 Mathieu
automorphisms of the 759-octad set — a (5, 8, 24) Steiner system.
For a visual analogue of the enlarged 24-point space and some remarks
on analogy by Simone Weil's brother, a mathematician, see this journal
on September 8 and 9, 2022.
Monday, April 10, 2023
Space
(Perspective Not as Symbolic Form)
From a post of June 8, 2014 —
See August 6, 2013 — Desargues via Galois.
Saturday, January 14, 2023
Châtelet on Weil — A “Space of Gestures”
From Gilles Châtelet, Introduction to Figuring Space Metaphysics does have a catalytic effect, which has been described in a very beautiful text by the mathematician André Weil: Nothing is more fertile, all mathematicians know, than these obscure analogies, these murky reflections of one theory in another, these furtive caresses, these inexplicable tiffs; also nothing gives as much pleasure to the researcher. A day comes when the illusion vanishes: presentiment turns into certainty … Luckily for researchers, as the fogs clear at one point, they form again at another.4 André Weil cuts to the quick here: he conjures these 'murky reflections', these 'furtive caresses', the 'theory of Galois that Lagrange touches … with his finger through a screen that he does not manage to pierce.' He is a connoisseur of these metaphysical 'fogs' whose dissipation at one point heralds their reforming at another. It would be better to talk here of a horizon that tilts thereby revealing a new space of gestures which has not as yet been elucidated and cut out as structure. 4 A. Weil, 'De la métaphysique aux mathématiques', (Oeuvres, vol. II, p. 408.) |
For gestures as fogs, see the oeuvre of Guerino Mazzola.
For some clearer remarks, see . . .
Illustrations of object and gestures
from finitegeometry.org/sc/ —
Object
Gestures
An earlier presentation
of the above seven partitions
of the eightfold cube:
|
Related material: Galois.space .
Saturday, March 26, 2022
Box Geometry: Space, Group, Art (Work in Progress)
Name Tag | .Space | .Group | .Art |
---|---|---|---|
Box4 |
2×2 square representing the four-point finite affine geometry AG(2,2). (Box4.space) |
S4 = AGL(2,2) (Box4.group) |
(Box4.art) |
Box6 |
3×2 (3-row, 2-column) rectangular array representing the elements of an arbitrary 6-set. |
S6 | |
Box8 | 2x2x2 cube or 4×2 (4-row, 2-column) array. | S8 or A8 or AGL(3,2) of order 1344, or GL(3,2) of order 168 | |
Box9 | The 3×3 square. | AGL(2,3) or GL(2,3) | |
Box12 | The 12 edges of a cube, or a 4×3 array for picturing the actions of the Mathieu group M12. | Symmetries of the cube or elements of the group M12 | |
Box13 | The 13 symmetry axes of the cube. | Symmetries of the cube. | |
Box15 |
The 15 points of PG(3,2), the projective geometry of 3 dimensions over the 2-element Galois field. |
Collineations of PG(3,2) | |
Box16 |
The 16 points of AG(4,2), the affine geometry of 4 dimensions over the 2-element Galois field. |
AGL(4,2), the affine group of |
|
Box20 | The configuration representing Desargues's theorem. | ||
Box21 | The 21 points and 21 lines of PG(2,4). | ||
Box24 | The 24 points of the Steiner system S(5, 8, 24). | ||
Box25 | A 5×5 array representing PG(2,5). | ||
Box27 |
The 3-dimensional Galois affine space over the 3-element Galois field GF(3). |
||
Box28 | The 28 bitangents of a plane quartic curve. | ||
Box32 |
Pair of 4×4 arrays representing orthogonal Latin squares. |
Used to represent elements of AGL(4,2) |
|
Box35 |
A 5-row-by-7-column array representing the 35 lines in the finite projective space PG(3,2) |
PGL(3,2), order 20,160 | |
Box36 | Eurler's 36-officer problem. | ||
Box45 | The 45 Pascal points of the Pascal configuration. | ||
Box48 | The 48 elements of the group AGL(2,3). | AGL(2,3). | |
Box56 |
The 56 three-sets within an 8-set or |
||
Box60 | The Klein configuration. | ||
Box64 | Solomon's cube. |
— Steven H. Cullinane, March 26-27, 2022
Thursday, February 17, 2022
Space Memorial
"FILE – Retired Sandinista Gen. Hugo Torres poses for portrait
at his home, in Managua, Nicaragua, May 2, 2018."
— Photo caption from a Feb. 12 Washington Post obituary
Also on May 2, 2018 —
Related theology —
Tuesday, February 23, 2016
|
Saturday, October 24, 2020
The Galois Tesseract
Stanley E. Payne and J. A. Thas in 1983* (previous post) —
“… a 4×4 grid together with
the affine lines on it is AG(2,4).”
Payne and Thas of course use their own definition
of affine lines on a grid.
Actually, a 4×4 grid together with the affine lines on it
is, viewed in a different way, not AG(2,4) but rather AG(4,2).
For AG(4,2) in the proper context, see
Affine Groups on Small Binary Spaces and
The Galois Tesseract.
* And 26 years later, in 2009.
Tuesday, May 26, 2020
Introduction to Cyberspace
Or approaching.
On the Threshold:
Click the search result above for the July 1982 Omni
story that introduced into fiction the term "cyberspace."
Part of a page from the original Omni version —
For some other kinds of space, see my notes from the 1980's.
Some related remarks on space (and illustrated clams) —
— George Steiner, "A Death of Kings," The New Yorker ,
September 7, 1968, pp. 130 ff. The above is from p. 133.
See also Steiner on space, algebra, and Galois.
Sunday, June 16, 2019
Sunday, December 9, 2018
Quaternions in a Small Space
The previous post, on the 3×3 square in ancient China,
suggests a review of group actions on that square
that include the quaternion group.
Click to enlarge —
Three links from the above finitegeometry.org webpage on the
quaternion group —
-
Visualizing GL(2,p) — A 1985 note illustrating group actions
on the 3×3 (ninefold) square. -
Another 1985 note showing group actions on the 3×3 square
transferred to the 2x2x2 (eightfold) cube. - Quaternions in an Affine Galois Plane — A webpage from 2010.
Related material —
See as well the two Log24 posts of December 1st, 2018 —
Character and In Memoriam.
Tuesday, October 23, 2018
Saturday, May 5, 2018
Galois Imaginary
" Lying at the axis of everything, zero is both real and imaginary. Lovelace was fascinated by zero; as was Gottfried Leibniz, for whom, like mathematics itself, it had a spiritual dimension. It was this that let him to imagine the binary numbers that now lie at the heart of computers: 'the creation of all things out of nothing through God's omnipotence, it might be said that nothing is a better analogy to, or even demonstration of such creation than the origin of numbers as here represented, using only unity and zero or nothing.' He also wrote, 'The imaginary number is a fine and wonderful recourse of the divine spirit, almost an amphibian between being and nonbeing.' "
— A footnote from page 229 of Sydney Padua's |
A related passage —
From The French Mathematician 0
I had foreseen it all in precise detail. i = an imaginary being
Here, on this complex space, |
Sunday, March 4, 2018
The Square Inch Space: A Brief History
Friday, September 15, 2017
Space Art
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.
Saturday, July 8, 2017
Desargues and Galois in Japan
Related material now available online —
A less business-oriented sort of virtual reality —
For example, "A very important configuration is obtained by
taking the plane section of a complete space five-point."
(Veblen and Young, 1910, p. 39)—
Friday, April 28, 2017
A Generation Lost in Space
The title is from Don McLean's classic "American Pie."
A Finite Projective Space —
A Non-Finite Projective Space —
Sunday, April 16, 2017
Art Space Paradigm Shift
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 Comic-Con . . . .
‘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.]
Tuesday, January 3, 2017
Cultist Space
The image of art historian Rosalind Krauss in the previous post
suggests a review of a page from her 1979 essay "Grids" —
The previous post illustrated a 3×3 grid. That cultist space does
provide a place for a few "vestiges of the nineteenth century" —
namely, the elements of the Galois field GF(9) — to hide.
See Coxeter's Aleph in this journal.
Thursday, June 30, 2016
Rubik vs. Galois: Preconception vs. Pre-conception
From Psychoanalytic Aesthetics: The British School ,
by Nicola Glover, Chapter 4 —
In his last theoretical book, Attention and Interpretation (1970), Bion has clearly cast off the mathematical and scientific scaffolding of his earlier writings and moved into the aesthetic and mystical domain. He builds upon the central role of aesthetic intuition and the Keats's notion of the 'Language of Achievement', which
… includes language that is both Bion distinguishes it from the kind of language which is a substitute for thought and action, a blocking of achievement which is lies [sic ] in the realm of 'preconception' – mindlessness as opposed to mindfulness. The articulation of this language is possible only through love and gratitude; the forces of envy and greed are inimical to it.. This language is expressed only by one who has cast off the 'bondage of memory and desire'. He advised analysts (and this has caused a certain amount of controversy) to free themselves from the tyranny of the past and the future; for Bion believed that in order to make deep contact with the patient's unconscious the analyst must rid himself of all preconceptions about his patient – this superhuman task means abandoning even the desire to cure . The analyst should suspend memories of past experiences with his patient which could act as restricting the evolution of truth. The task of the analyst is to patiently 'wait for a pattern to emerge'. For as T.S. Eliot recognised in Four Quartets , 'only by the form, the pattern / Can words or music reach/ The stillness'.30. The poet also understood that 'knowledge' (in Bion's sense of it designating a 'preconception' which blocks thought, as opposed to his designation of a 'pre -conception' which awaits its sensory realisation), 'imposes a pattern and falsifies'
For the pattern is new in every moment The analyst, by freeing himself from the 'enchainment to past and future', casts off the arbitrary pattern and waits for new aesthetic form to emerge, which will (it is hoped) transform the content of the analytic encounter. 29. Attention and Interpretation (Tavistock, 1970), p. 125 30. Collected Poems (Faber, 1985), p. 194. 31. Ibid., p. 199. |
See also the previous posts now tagged Bion.
Preconception as mindlessness is illustrated by Rubik's cube, and
"pre -conception" as mindfulness is illustrated by n×n×n Froebel cubes
for n= 1, 2, 3, 4.
Suitably coordinatized, the Froebel cubes become Galois cubes,
and illustrate a new approach to the mathematics of space .
Wednesday, June 29, 2016
Space Jews
For the Feast of SS. Peter and Paul —
In memory of Alvin Toffler and Simon Ramo,
a review of figures from the midnight that began
the date of their deaths, June 27, 2016 —
The 3×3×3 Galois Cube
See also Rubik in this journal.
Friday, April 8, 2016
Space Cross
For George Orwell
Illustration from a book on mathematics —
This illustrates the Galois space AG(4,2).
For some related spaces, see a note from 1984.
"There is such a thing as a space cross."
— Saying adapted from a young-adult novel
Wednesday, February 17, 2016
“Blank Space” Accolades
A post in memory of British theatre director Peter Wood,
who reportedly died on February 11, 2016.
From the date of the director's death —
"Leave a space." — Tom Stoppard
Monday, January 11, 2016
Space Oddity
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 42-27 , 1975
D.K. Pradhan, “A Theory of Galois Switching Functions,”
IEEE Trans. Computers , vol. 27, no. 3, pp. 239-249, 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 young-adult novel
Saturday, October 24, 2015
Two Views of Finite Space
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.
Wednesday, October 21, 2015
Algebra and Space
"Perhaps an insane conceit …." Perhaps.
Related remarks on algebra and space —
"The Quality Without a Name" (Log24, August 26, 2015).
Friday, September 4, 2015
Friday, August 14, 2015
Discrete Space
(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:
Wednesday, May 13, 2015
Space
Notes on space for day 13 of May, 2015 —
The 13 symmetry axes of the cube may be viewed as
the 13 points of the Galois projective space PG(2,3).
This space (a plane) may also be viewed as the nine points
of the Galois affine space AG(2,3) plus the four points on
an added "line at infinity."
Related poetic material:
The ninefold square and Apollo, as well as …
Tuesday, March 24, 2015
Brouwer on the Galois Tesseract
Yesterday's post suggests a review of the following —
Andries Brouwer, preprint, 1982:
"The Witt designs, Golay codes and Mathieu groups" Pages 8-9: Substructures of S(5, 8, 24) An octad is a block of S(5, 8, 24). Theorem 5.1
Let B0 be a fixed octad. The 30 octads disjoint from B0
the design of the points and affine hyperplanes in AG(4, 2), Proof…. … (iv) We have AG(4, 2).
(Proof: invoke your favorite characterization of AG(4, 2) An explicit construction of the vector space is also easy….) |
Related material: Posts tagged Priority.
Tuesday, November 25, 2014
Euclidean-Galois Interplay
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 3-space over GF(3)).
The 3×3×3 Galois Cube
Exercise: Is there any such analogy between the 31 points of the
order-5 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 3-space over GF(5))?
Update of Nov. 30, 2014 —
For background to the above exercise, see
pp. 16-17 of A Geometrical Picture Book ,
by Burkard Polster (Springer, 1998), esp.
the citation to a 1983 article by Lemay.
Monday, September 22, 2014
Thursday, March 27, 2014
Diamond Space
Definition: A diamond space — informal phrase denoting
a subspace of AG(6, 2), the six-dimensional affine space
over the two-element Galois field.
The reason for the name:
Click to enlarge.
Tuesday, December 3, 2013
Diamond Space
A new website illustrates its URL.
See DiamondSpace.net.
Monday, June 10, 2013
Galois Coordinates
Today's previous post on coordinate systems
suggests a look at the phrase "Galois coordinates."
A search shows that the phrase, though natural,
has apparently not been used before 2011* for solutions
to what Hermann Weyl called "the relativity problem."
A thorough historical essay on Galois coordinatization
in this sense would require more academic resources
than I have available. It would likely describe a number
of applications of Galois-field coordinates to square
(and perhaps to cubical) arrays that were studied before
1976, the date of my Diamond Theory monograph.
But such a survey might not find any such pre-1976
coordinatization of a 4×4 array by the 16 elements
of the vector 4-space over the Galois field with two
elements, GF(2).
Such coordinatizations are important because of their
close relationship to the Mathieu group M 24 .
See a preprint by Anne Taormina and Katrin Wendland,
"The overarching finite symmetry group of Kummer
surfaces in the Mathieu group M 24 ," with its remark
denying knowledge of any such coordinatization
prior to a 1989 paper by R. T. Curtis.
Related material:
Some images related to Galois coordinates, excerpted
from a Google search today (click to enlarge)—
* A rather abstract 2011 paper that uses the phrase
"Galois coordinates" may have some implications
for the naive form of the relativity problem
related to square and cubical arrays.
Wednesday, January 16, 2013
Space Race
Japanese character
for "field"
This morning's leading
New York Times obituaries—
For other remarks on space, see
Galois + Space in this journal.
Sunday, July 29, 2012
The Galois Tesseract
The three parts of the figure in today's earlier post "Defining Form"—
— share the same vector-space 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 vector-space 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 "Self-Dual 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 Conway-Sloane diagram.
Wednesday, October 26, 2011
Erlanger and Galois
Peter J. Cameron yesterday on Galois—
"He was killed in a duel at the age of 20…. His work languished for another 14 years until Liouville published it in his Journal; soon it was recognised as the foundation stone of modern algebra, a position it has never lost."
Here Cameron is discussing Galois theory, a part of algebra. Galois is known also as the founder* of group theory, a more general subject.
Group theory is an essential part of modern geometry as well as of modern algebra—
"In der Galois'schen Theorie, wie hier, concentrirt sich das Interesse auf Gruppen von Änderungen. Die Objecte, auf welche sich die Änderungen beziehen, sind allerdings verschieden; man hat es dort mit einer endlichen Zahl discreter Elemente, hier mit der unendlichen Zahl von Elementen einer stetigen Mannigfaltigkeit zu thun."
— Felix Christian Klein, Erlanger Programm , 1872
("In the Galois theory, as in ours, the interest centres on groups of transformations. The objects to which the transformations are applied are indeed different; there we have to do with a finite number of discrete elements, here with the infinite number of elements in a continuous manifoldness." (Translated by M.W. Haskell, published in Bull. New York Math. Soc. 2, (1892-1893), 215-249))
Related material from Hermann Weyl, Symmetry , Princeton University Press, 1952 (paperback reprint of 1982, pp. 143-144)—
"A field is perhaps the simplest algebraic structure we can invent. Its elements are numbers…. Space is another example of an entity endowed with a structure. Here the elements are points…. What we learn from our whole discussion and what has indeed become a guiding principle in modern mathematics is this lesson: Whenever you have to do with a structure-endowed entity Σ try to determine is group of automorphisms , the group of those element-wise transformations which leave all structural relations undisturbed. You can expect to gain a deep insight into the constitution of Σ in this way."
For a simple example of a group acting on a field (of 8 elements) that is also a space (of 8 points), see Generating the Octad Generator and Knight Moves.
* Joseph J. Rotman, An Introduction to the Theory of Groups , 4th ed., Springer, 1994, page 2
Saturday, September 3, 2011
The Galois Tesseract (continued)
A post of September 1, The Galois Tesseract, noted that the interplay
of algebraic and geometric properties within the 4×4 array that forms
two-thirds of the Curtis Miracle Octad Generator (MOG) may first have
been described by Cullinane (AMS abstract 79T-A37, 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 4-space over the 2-element 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 4-point 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
Latin-square 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 M24, 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 mis-named 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: 345-353
* For instance:
Update of Sept. 4— This post is now a page at finitegeometry.org.
Friday, April 22, 2011
Romancing the Hyperspace
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 Non-Euclidean Revolution , chapter on "Geometry and the Diamond Theory of Truth"– "… Plato and Kant, and most of the philosophers and scientists in the 2200-year interval between them, did share the following general presumptions: (1) Diamonds– informative, certain truths about the world– exist. 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 non-Euclidean* figures above illustrate concepts from a 1976 monograph, also called "Diamond Theory." Although non-Euclidean,* the theorems of the 1976 "Diamond Theory" are also, in Trudeau's terminology, diamonds. * "Non-Euclidean" 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 .
Friday, September 17, 2010
The Galois Window
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 co-author, 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 12|34, 13|24, 14|23. Its automorphism group is the symmetric group S4, and acts as S3 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.
Monday, June 21, 2010
Cube Spaces
Cubic models of finite geometries
display an interplay between
Euclidean and Galois geometry.
Example 1— The 2×2×2 Cube—
also known as the eightfold cube—
Group actions on the eightfold cube, 1984—
Version by Laszlo Lovasz et al., 2003—
Lovasz et al. go on to describe the same group actions
as in the 1984 note, without attribution.
Example 2— The 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.
Example 3— The 4×4×4 Cube
A note from 27 years ago today—
As far as I know, this version of the
group-actions theorem has not yet been ripped off.
Sunday, March 21, 2010
Galois Field of Dreams
It is well known that the seven
Similarly, recent posts* have noted that the thirteen
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 finite-geometry models– see The Eightfold Cube, Block Designs, and Solomon's Cube.)
A group of collineations** of the 21-point plane is one of two nonisomorphic simple groups of order 20,160. The other is the linear group acting on the linear 4-space over the two-element 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
* February 27 and March 13
** G20160 in Mitchell 1910, LF(3,22) in Edge 1965
— Mitchell, Ulysses Grant, "Geometry and Collineation Groups
of the Finite Projective Plane PG(2,22),"
Princeton Ph.D. dissertation (1910)
— Edge, W. L., "Some Implications of the Geometry of
the 21-Point Plane," Math. Zeitschr. 87, 348-362 (1965)
Saturday, March 13, 2010
Space Cowboy
From yesterday's Seattle Times—
According to police, employees of a Second Avenue mission said the suspect, clad in black and covered in duct tape, had come into the mission "and threatened to blow the place up." He then told staffers "that he was a vampire and wanted to eat people."
The man… also called himself "a space cowboy"….
This suggests two film titles…
and Apollo's 13—
The 13 symmetry axes of the (Euclidean) cube–
exactly one axis for each pair of opposite
subcubes in the (Galois) 3×3×3 cube–
Tuesday, August 27, 2024
For Rubik Worshippers
The above is six-dimensional as an affine space, but only five-dimensional
as a projective space . . . the space PG(5, 2).
As the domain of the smallest model of the Klein correspondence and the
Klein quadric, PG (5,2) is not without mathematical importance.
See Chess Bricks and Ovid.group.
This post was suggested by the date July 6, 2024 in a Warren, PA obituary
and by that date in this journal.
Friday, November 10, 2023
Logos
Related art —
(For some backstory, see Geometry of the I Ching
and the history of Chinese philosophy.)
Sunday, August 6, 2023
Contra Gombrich
A search in this journal for Cornell + Warburg suggests
a review of the concept "iconology of the interval " . . .
Ikonologie des Zwischenraums —
"Yet if this Denkraum , this 'twilight region,' is where the artist and
emblem-maker invent, then, as Gombrich well knew, Warburg also
constantly regrets the 'loss' of this 'thought-space,' which he also
dubs the Zwischenraum and Wunschraum ."
— Memory, Metaphor, and Aby Warburg's Atlas of Images ,
Christopher D. Johnson, Cornell University Press, 2012, p. 56
Monday, February 27, 2023
Friday, December 30, 2022
Bullshit Studies: The View from East Lansing
Detail of the above screen (click to enlarge) —
See also this journal on the above date — June 10, 2021.
From this journal on May 6, 2009 —
A related picture of images that "reappear metamorphosed
in the coordinate system of the high region" —
(For the backstory, see Geometry of the I Ching
and the history of Chinese philosophy.)
Friday, May 27, 2022
Great Escapes
The above scene from "Hanna" comes from a webpage
dated August 29, 2011. See also …
Tuesday, October 20, 2020
The Leibniz Methods
Click medal for some background. The medal may be regarded
as illustrating the 16-point Galois space.
Thursday, March 5, 2020
“Generated by Reflections”
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."
Monday, December 2, 2019
Aesthetics at Harvard
"What the piece of art is about is the gray space in the middle."
— David Bowie, as quoted in the above Crimson piece.
Bowie's "gray space" is the space between the art and the beholder.
I prefer the gray space in the following figure —
Context: The Trinity Stone (Log24, June 4, 2018).
Monday, October 15, 2018
For Zingari Shoolerim*
The structure at top right is that of the
ROMA-ORAM-MARO-AMOR square
in the previous post.
* "Zingari shoolerim" is from
Finnegans Wake .
Saturday, September 29, 2018
“Ikonologie des Zwischenraums”
The title is from Warburg. The Zwischenraum lines and shaded "cuts"
below are to be added together in characteristic two, i.e., via the
set-theoretic symmetric difference operator.
Monday, August 27, 2018
Geometry and Simplicity
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 705-710, 735). Kindle Edition.
For some much simpler spaces of various
dimensions, see Galois Space in this journal.
Monday, June 4, 2018
The Trinity Stone Defined
“Unsheathe your dagger definitions.” — James Joyce, Ulysses
The “triple cross” link in the previous post referenced the eightfold cube
as a structure that might be called the trinity stone .
Tuesday, May 2, 2017
Image Albums
Pinterest boards uploaded to the new m759.net/piwigo —
Update of May 2 —
Update of May 3 —
Update of May 8 —
Art Space board created at Pinterest
Saturday, June 18, 2016
Midnight in Herald Square
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 length-16 sequence."
— Saying adapted from a young-adult novel.
Sunday, May 8, 2016
The Three Solomons
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 "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 three-dimensional 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 (July-August 1967): 54. (LeWitt’s contribution was originally untitled.)" |
See also the Cullinane models of some small Galois spaces —
Friday, May 6, 2016
Monday, January 5, 2015
Gitterkrieg*
Wednesday, March 13, 2013
|
"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
grown-ups, and asked them whether
the drawing frightened them.
But they answered: 'Why should
anyone be frightened by a hat?'"
* For the title, see Plato Thanks the Academy (Jan. 3).
Sunday, September 14, 2014
Sensibility
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:
Sunday, August 31, 2014
Sunday School
The Folding
Cynthia Zarin in The New Yorker , issue dated April 12, 2004—
“Time, for L’Engle, is accordion-pleated. 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
3-dimensional 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.]
Thursday, July 17, 2014
Paradigm Shift:
Continuous Euclidean space to discrete Galois space*
Euclidean space:
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 26-28, 2012.
Wednesday, July 16, 2014
Wednesday, May 21, 2014
Through the Vanishing Point*
Marshall McLuhan in "Annie Hall" —
"You know nothing of my work."
Related material —
"I need a photo opportunity
I want a shot at redemption
Don't want to end up a cartoon
In a cartoon graveyard"
— Paul Simon
It was a dark and stormy night…
— Page 180, Logicomix
A photo opportunity for Whitehead
(from Romancing the Cube, April 20, 2011)—
See also Absolute Ambition (Nov. 19, 2010).
* For the title, see Vanishing Point in this journal.
Friday, March 21, 2014
Three Constructions of the Miracle Octad Generator
See also a Log24 post on this subject from Dec. 14, 2013,
especially (scroll down) the update of March 9, 2014.
Related material on the Turyn-Curtis construction
from the University of Cambridge —
— Slide by "Dr. Parker" — Apparently Richard A. Parker —
Lecture 4, "Discovering M24," in slides for lectures 1-8 from lectures
at Cambridge in 2010-2011 on "Sporadic and Related Groups."
See also the Parker lectures of 2012-2013 on the same topic.
A third construction of Curtis's 35 4×6 1976 MOG arrays would use
Cullinane's analysis of the 4×4 subarrays' affine and projective structure,
and point out the fact that Conwell's 1910 correspondence of the 35
4+4-partitions of an 8-set with the 35 lines of the projective 3-space
over the 2-element field, PG(3, 2), is essentially the same correspondence
as that constituting Curtis's 1976 MOG.
See The Diamond Theorem, Finite Relativity, Galois Space,
Generating the Octad Generator, and The Klein Correspondence.
Update of March 22-March 23 —
Adding together as (0,1)-matrices over GF(2) the black parts (black
squares as 1's, all other squares as 0's) of the 35 4×6 arrays of the 1976
Curtis MOG would then reveal* the symmetric role played in octads
by what Curtis called the heavy brick , and so reveal also the action of
S3 on the three Curtis bricks that leaves invariant the set of all 759
octads of the S(5, 8, 24) constructed from the 35 MOG arrays. For more
details of this "by-hand" construction, see Geometry of the 4×4 Square.
For the mathematical properties of the S(5, 8, 24), it is convenient to
have a separate construction (such as Turyn's), not by hand, of the
extended binary Golay code. See the Brouwer preprint quoted above.
* "Then a miracle occurs," as in the classic 1977 Sidney Harris cartoon.
Illustration of array addition from March 23 —
Friday, March 7, 2014
Kummer Varieties
The Dream of the Expanded Field continues…
From Klein's 1893 Lectures on Mathematics —
"The varieties introduced by Wirtinger may be called Kummer varieties…."
— E. Spanier, 1956
From this journal on March 10, 2013 —
From a recent paper on Kummer varieties,
arXiv:1208.1229v3 [math.AG] 12 Jun 2013,
"The Universal Kummer Threefold," by
Qingchun Ren, Steven V Sam, Gus Schrader, and Bernd Sturmfels —
Two such considerations —
Update of 10 PM ET March 7, 2014 —
The following slides by one of the "Kummer Threefold" authors give
some background related to the above 64-point vector space and
to the Weyl group of type E7, W (E7):
The Cayley reference is to "Algorithm for the characteristics of the
triple ϑ-functions," Journal für die Reine und Angewandte
Mathematik 87 (1879): 165-169. <http://eudml.org/doc/148412>.
To read this in the context of Cayley's other work, see pp. 441-445
of Volume 10 of his Collected Mathematical Papers .
Wednesday, February 5, 2014
Mystery Box II
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 non-Euclidean 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.
Thursday, November 7, 2013
Pattern Grammar
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 non-mathematical 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 non-mathematical 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 .
Thursday, July 4, 2013
Declaration of Independent
"Classical Geometry in Light of Galois Geometry"
is now available at independent.academia.edu.
Related commentary: Yesterday's post Vision
and a post of February 21, 2013: Galois Space.
Saturday, March 16, 2013
The Crosswicks Curse
From the prologue to the new Joyce Carol Oates
novel Accursed—
"This journey I undertake with such anticipation
is not one of geographical space but one of Time—
for it is the year 1905 that is my destination.
1905!—the very year of the Curse."
Today's previous post supplied a fanciful link
between the Crosswicks Curse of Oates and
the Crosswicks tesseract of Madeleine L'Engle.
The Crosswicks Curse according to L'Engle
in her classic 1962 novel A Wrinkle in Time —
"There is such a thing as a tesseract."
A tesseract is a 4-dimensional hypercube that
(as pointed out by Coxeter in 1950) may also
be viewed as a 4×4 array (with opposite edges
identified).
Meanwhile, back in 1905…
For more details, see how the Rosenhain and Göpel tetrads occur naturally
in the diamond theorem model of the 35 lines of the 15-point projective
Galois space PG(3,2).
See also Conwell in this journal and George Macfeely Conwell in the
honors list of the Princeton Class of 1905.
Wednesday, March 13, 2013
Blackboard Jungle
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 (2009-04-01). 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.
Wednesday, March 6, 2013
Midnight in Pynchon*
"It is almost as though Pynchon wishes to
repeat the grand gesture of Joyce’s Ulysses…."
— Vladimir Tasic on Pynchon's Against the Day
Related material:
Tasic's Mathematics and the Roots of Postmodern Thought
and Michael Harris's "'Why Mathematics?' You Might Ask"
*See also Occupy Galois Space and Midnight in Dostoevsky.
Tuesday, February 19, 2013
Configurations
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. 103-104.
The Pisanski-Servatius 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 re-describing 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 Pisanski-Servatius 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).
Wednesday, January 16, 2013
Medals
National…
International…
Click medal for some background. The medal may be regarded
as illustrating the 16-point Galois space. (See previous post.)
Related material: Jews in Hyperspace.
Saturday, January 5, 2013
Vector Addition in a Finite Field
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 4-space over GF(2)—
The same field, again disguised as an affine 4-space,
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 vector-space 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
“Self-Dual Configurations and Regular Graphs.”
Monday, August 29, 2011
Many = Six.
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.
Tuesday, May 10, 2011
Groups Acting
The LA Times on last weekend's film "Thor"—
"… the film… attempts to bridge director Kenneth Branagh's high-minded Shakespearean intentions with Marvel Entertainment's bottom-line-oriented need to crank out entertainment product."
Those averse to Nordic religion may contemplate a different approach to entertainment (such as Taymor's recent approach to Spider-Man).
A high-minded— if not Shakespearean— non-Nordic approach to groups acting—
"What was wrong? I had taken almost four semesters of algebra in college. I had read every page of Herstein, tried every exercise. Somehow, a message had been lost on me. Groups act . The elements of a group do not have to just sit there, abstract and implacable; they can do things, they can 'produce changes.' In particular, groups arise naturally as the symmetries of a set with structure. And if a group is given abstractly, such as the fundamental group of a simplical complex or a presentation in terms of generators and relators, then it might be a good idea to find something for the group to act on, such as the universal covering space or a graph."
— Thomas W. Tucker, review of Lyndon's Groups and Geometry in The American Mathematical Monthly , Vol. 94, No. 4 (April 1987), pp. 392-394
"Groups act "… For some examples, see
- The 2×2×2 Cube,
- The Diamond 16 Puzzle,
- The Diamond Theorem, and
- Finite Geometry of the Square and Cube.
Related entertainment—
High-minded— Many Dimensions—
Not so high-minded— The Cosmic Cube—
One way of blending high and low—
The high-minded Charles Williams tells a story
in his novel Many Dimensions about a cosmically
significant cube inscribed with the Tetragrammaton—
the name, in Hebrew, of God.
The following figure can be interpreted as
the Hebrew letter Aleph inscribed in a 3×3 square—
The above illustration is from undated software by Ed Pegg Jr.
For mathematical background, see a 1985 note, "Visualizing GL(2,p)."
For entertainment purposes, that note can be generalized from square to cube
(as Pegg does with his "GL(3,3)" software button).
For the Nordic-averse, some background on the Hebrew connection—
Saturday, August 7, 2010
The Matrix Reloaded
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.
Saturday, June 19, 2010
Imago Creationis
In the above view, four of the tesseract's 16
vertices are overlaid by other vertices.
For views that are more complete and
moveable, see Smith's tesseract page.
Four-Part Tesseract Divisions—
The above figure shows how four-part partitions
of the 16 vertices of a tesseract in an infinite
Euclidean space are related to four-part partitions
of the 16 points in a finite Galois space
Euclidean spaces versus Galois spaces in a larger context— Infinite versus Finite The central aim of Western religion —
"Each of us has something to offer the Creator...
the bridging of
masculine and feminine,
life and death.
It's redemption.... nothing else matters."
-- Martha Cooley in The Archivist (1998)
The central aim of Western philosophy —
Dualities of Pythagoras
as reconstructed by Aristotle:
Limited Unlimited
Odd Even
Male Female
Light Dark
Straight Curved
... and so on ....
"Of these dualities, the first is the most important; all the others may be seen as different aspects of this fundamental dichotomy. To establish a rational and consistent relationship between the limited [man, etc.] and the unlimited [the cosmos, etc.] is… the central aim of all Western philosophy." |
Another picture related to philosophy and religion—
Jung's Four-Diamond Figure from Aion—
This figure was devised by Jung
to represent the Self. Compare the
remarks of Paul Valéry on the Self—
Flight from Eden: The Origins of Modern Literary Criticism and Theory, by Steven Cassedy, U. of California Press, 1990, pages 156-157—
Valéry saw the mind as essentially a relational system whose operation he attempted to describe in the language of group mathematics. "Every act of understanding is based on a group," he says (C, 1:331). "My specialty— reducing everything to the study of a system closed on itself and finite" (C, 19: 645). The transformation model came into play, too. At each moment of mental life the mind is like a group, or relational system, but since mental life is continuous over time, one "group" undergoes a "transformation" and becomes a different group in the next moment. If the mind is constantly being transformed, how do we account for the continuity of the self? Simple; by invoking the notion of the invariant. And so we find passages like this one: "The S[elf] is invariant, origin, locus or field, it's a functional property of consciousness" (C, 15:170 [2:315]). Just as in transformational geometry, something remains fixed in all the projective transformations of the mind's momentary systems, and that something is the Self (le Moi, or just M, as Valéry notates it so that it will look like an algebraic variable). Transformation theory is all over the place. "Mathematical science… reduced to algebra, that is, to the analysis of the transformations of a purely differential being made up of homogeneous elements, is the most faithful document of the properties of grouping, disjunction, and variation in the mind" (O, 1:36). "Psychology is a theory of transformations, we just need to isolate the invariants and the groups" (C, 1:915). "Man is a system that transforms itself" (C, 2:896). O Paul Valéry, Oeuvres (Paris: Pléiade, 1957-60) C Valéry, Cahiers, 29 vols. (Paris: Centre National de le Recherche Scientifique, 1957-61) |
Note also the remarks of George David Birkhoff at Rice University
in 1940 (pdf) on Galois's theory of groups and the related
"theory of ambiguity" in Galois's testamentary letter—
… metaphysical reasoning always relies on the Principle of Sufficient Reason, and… the true meaning of this Principle is to be found in the “Theory of Ambiguity” and in the associated mathematical “Theory of Groups.” If I were a Leibnizian mystic, believing in his “preestablished harmony,” and the “best possible world” so satirized by Voltaire in “Candide,” I would say that the metaphysical importance of the Principle of Sufficient Reason and the cognate Theory of Groups arises from the fact that God thinks multi-dimensionally* whereas men can only think in linear syllogistic series, and the Theory of Groups is the appropriate instrument of thought to remedy our deficiency in this respect. * That is, uses multi-dimensional symbols beyond our grasp. |
Related material:
A medal designed by Leibniz to show how
binary arithmetic mirrors the creation by God
of something (1) from nothing (0).
Another array of 16 strings of 0's and 1's, this time
regarded as coordinates rather than binary numbers—
Some context by a British mathematician —
Imago by Wallace Stevens Who can pick up the weight of Britain, Who can move the German load Or say to the French here is France again? Imago. Imago. Imago. It is nothing, no great thing, nor man Of ten brilliancies of battered gold And fortunate stone. It moves its parade Of motions in the mind and heart, A gorgeous fortitude. Medium man In February hears the imagination's hymns And sees its images, its motions And multitudes of motions And feels the imagination's mercies, In a season more than sun and south wind, Something returning from a deeper quarter, A glacier running through delirium, Making this heavy rock a place, Which is not of our lives composed . . . Lightly and lightly, O my land, Move lightly through the air again. |
Wednesday, May 6, 2009
Wednesday May 6, 2009
“My pursuits are a joke
in that the universe is a joke.
One has to reflect
the universe faithfully.”
— John Frederick Michell
Feb. 9, 1933 –
April 24, 2009
This is a crazy world and
the only way to enjoy it
is to treat it as a joke.”
— Robert A. Heinlein,
The Number of the Beast
For Marisa Tomei
(born Dec. 4, 1964) —
on the day that
Bob Seger turns 64 —
A Joke:
Points All Her Own
Points All Her Own,
Part I:
(For the backstory, see
the Log24 entries and links
on Marisa Tomei’s birthday
last year.)
Points All Her Own,
Part II:
(For the backstory, see
Galois Geometry:
The Simplest Examples.)
Points All Her Own,
Part III:
(For the backstory, see
Geometry of the I Ching
and the history of
Chinese philosophy.)
In simpler terms:
Saturday, September 7, 2024
Annals of Cultural History
Bloomsday, and then Galois's birthday, and then . . . Square Space!
"Ride a painted pony, let the spinning wheel spin."
Tuesday, May 14, 2024
Sunday, May 5, 2024
Opus Pistoris*
* Title derived from the original title, Opus Pistorum , of
Under the Roofs of Paris, by Henry Miller. In Latin, that
title means Opus "of the millers," or "of the bakers."
This post was suggested by the April 25 death of a French cultural figure
reported today by The New York Times .
Related reading —
Tuesday, December 19, 2023
Copilot Report
From Microsoft Copilot (with "Precise" setting)
on Dec. 18, 2023 —
How is the 1910 work of G. M. Conwell on PG(3,2) related to the Miracle Octad Generator of R. T. Curtis?
Searching for:
Searching for: Generating answers for you… The work of George M. Conwell on the finite projective 3-space PG(3,2) and the Miracle Octad Generator (MOG) of R. T. Curtis are both significant contributions to the field of combinatorial mathematics12. Conwell’s work on PG(3,2) provided a detailed study of the structure of this finite projective space1. On the other hand, the MOG is a tool for exploring the binary Golay code and its automorphism group M242. The connection between these two works lies in the underlying combinatorial structures they explore. The Rosenhain and Göpel tetrads, which are key structures in the finite geometry PG(3,2), play a significant role in the Curtis Miracle Octad Generator3. These structures provide a link between the finite geometric structures studied by Conwell and the combinatorial structures generated by the MOG3. For a more detailed understanding of this connection, I recommend checking out the resources mentioned in the references123. If you have any specific questions about the concepts in these works, feel free to ask! I’ll do my best to help. Learn more
5 archive.org
_________________________________________________________
__________________________________________________________
Here is a summary of the document:
Reference:
|
Correction:
"Subsets of four points in a projective 3-space" above is a Copilot error, and not
from the document being summarized. It should be "subsets of four points in an
affine 4-space."
Tuesday, October 24, 2023
Thursday, October 19, 2023
Monday, June 26, 2023
Saturday, May 13, 2023
The Identity of an Entity
Sunday, April 30, 2023
For Harlan Kane: The Walpurgisnacht Hallucination
Note that if the "compact Riemann surface" is a torus formed by
joining opposite edges of a 4×4 square array, and the phrase
"vector bundle" is replaced by "projective line," and so forth,
the above ChatGPT hallucination is not completely unrelated to
the following illustration from the webpage "galois.space" —
See as well the Cullinane diamond theorem.
Wednesday, April 19, 2023
New Types of Combinatorial Structure
Thursday, April 6, 2023
Zero Sum
Related elementary mathematics from Google image searches —
Despite the extremely elementary nature of the above tables,
the difference between the binary addition of Boole and that
of Galois seems not to be widely known.
See "The Hunt for Galois October" and "In Memory of a Mississippi Coach."
Friday, February 3, 2023
Rhyme Time
From Wednesday, St. Bridget's Day, 2023 —
Poetic meditation from The New Yorker today —
"If the tendency of rhyme, like that of desire,
is to pull distant things together
and force their boundaries to blur,
then the countervailing force in this book,
the one that makes it go, is the impulse
toward narrative, toward making sense of
the passage of time."
Thursday, February 2, 2023
“Here I Come Again”
From tonight's previous post —
"here I come again . . . the square root of minus one,
having terminated my humanities" —
Samuel Beckett, Stories and Texts for Nothing
(New York: Grove, 1967), 128.
From The French Mathematician 0
I had foreseen it all in precise detail. i = an imaginary being
Here, on this complex space, |
Related reading . . .
See also "William Lawvere, Category Theory, Hegel, Mao, and Code."
( https://www.reddit.com/r/socialistprogrammers/comments/m1oe88/
william_lawvere_category_theory_hegel_mao_and_code/ )
Also relating category theory and computation —
the interests of Lawvere and those of Davis — is
an article at something called The Topos Institute (topos.site) —
"Computation and Category Theory," by Joshua Meyers,
Wednesday, 10 Aug., 2022.
Meyers on Davis —
Wednesday, February 1, 2023
Variations in Memory of a Designer
Last updated at 22:46 PM ET on 1 February 2023.
Click for a designer's obituary.
Paraphrase for a road-sign collector:
See as well … Today's New York Times obituary
of the Harvard Business School Publishing
Director of Intellectual Property.
Sunday, January 22, 2023
The Stillwell Dichotomies
Number | Space |
Arithmetic | Geometry |
Discrete | Continuous |
Related literature —
From a "Finite Fields in 1956" post —
The Nutshell:
Related Narrative:
Tuesday, July 5, 2022
For Ron Howard, Tom Hanks, and Dan Brown — Symbology!
Thursday, June 23, 2022
The Nutshell Suite
The above is a summary of
Pythagorean philosophy
reposted here on . . .
Battle of the Nutshells:
From a much larger nutshell
on the above Pythagorean date—
Now let's dig a bit deeper into history . . .
Wednesday, June 22, 2022
Code Wars: “Use the Source, Luke.”
Click the above galaxy for a larger image.
"O God, I could be bounded in a nutshell
and count myself a king of infinite space,
were it not that I have bad dreams." — Hamlet
Battle of the Nutshells —
From a much larger nutshell
on the above code date—
Saturday, May 28, 2022
Grothendieck at Chapman …
Last two days of the conference, May 27 and 28, 2022 —
27th Friday
9:00 – 10:00 Andrés Villaveces (Univ. Nacional de Colombia):
10:00 – 11:00 Olivia Caramello (Univ. of Insubria; by Zoom): 1:00 – 11:15 Coffee Break
1:15 – 12:15 Mike Shulman (Univ. of San Diego):
12:15 – 1:15 José Gil-Ferez (Chapman Univ.) 1:15 – 2:30 Lunch
2:30 – 3:30 Oumar Wone (Chapman) :
3:30 – 4:30 Claudio Bartocci (Univ. of Genova):
4:30 – 5:30 Christian Houzel (IUFM de Paris): 28th Saturday
9:00 – 10:00 Silvio Ghilardi (Univ. degli Studi, Milano):
10:00 – 11:00 Matteo Viale (Univ. of Turin; by zoom): 11:00 – 11:15 Coffee Break
11:15 – 12:15 Benjamin Collas (RIMS, Kyoto Univ.):
12:15 – 1:15 Closing: general discussion |
Tuesday, May 24, 2022
Playing the Palace
From a Jamestown (NY) Post-Journal article yesterday on
"the sold-out 10,000 Maniacs 40th anniversary concert at
The Reg Lenna Center Saturday" —
" 'The theater has a special place in our hearts. It’s played
a big part in my life,' Gustafson said.
Before being known as The Reg Lenna Center for The Arts,
it was formerly known as The Palace Theater. He recalled
watching movies there as a child…."
This, and the band's name, suggest some memories perhaps
better suited to the cinematic philosophy behind "Plan 9 from
Outer Space."
"With the Tablet of Ahkmenrah and the Cube of Rubik,
my power will know no bounds!"
— Kahmunrah in a novelization of Night at the Museum:
Battle of the Smithsonian , Barron's Educational Series
The above 3×3 Tablet of Ahkmenrah image comes from
a Log24 search for the finite (i.e., Galois) field GF(3) that
was, in turn, suggested by last night's post "Making Space."
See as well a mysterious document from a website in Slovenia
that mentions a 3×3 array "relating to nine halls of a mythical
palace where rites were performed in the 1st century AD" —
Saturday, May 7, 2022
Interality Meets the Seven Seals
Related material — Posts tagged Interality and Seven Seals.
From Hermann Weyl's 1952 classic Symmetry —
"Galois' ideas, which for several decades remained
a book with seven seals but later exerted a more
and more profound influence upon the whole
development of mathematics, are contained in
a farewell letter written to a friend on the eve of
his death, which he met in a silly duel at the age of
twenty-one. This letter, if judged by the novelty and
profundity of ideas it contains, is perhaps the most
substantial piece of writing in the whole literature
of mankind."
Monday, April 25, 2022
Annals of Mathematical History
Tuesday, March 15, 2022
The Rosenhain Symmetry
See other posts now so tagged.
Hudson's Rosenhain tetrads, as 20 of the 35 projective lines in PG(3,2),
illustrate Desargues's theorem as a symmetry within 10 pairs of squares
under rotation about their main diagonals:
See also "The Square Model of Fano's 1892 Finite 3-Space."
The remaining 15 lines of PG(3,2), Hudson's Göpel tetrads, have their
own symmetries . . . as the Cremona-Richmond configuration.
Friday, December 31, 2021
Aesthetics in Academia
Related art — The non-Rubik 3x3x3 cube —
The above structure illustrates the affine space of three dimensions
over the three-element finite (i.e., Galois) field, GF(3). Enthusiasts
of Judith Brown's nihilistic philosophy may note the "radiance" of the
13 axes of symmetry within the "central, structuring" subcube.
I prefer the radiance (in the sense of Aquinas) of the central, structuring
eightfold cube at the center of the affine space of six dimensions over
the two-element field GF(2).
Tuesday, December 7, 2021
Tortoise Variations
Fanciful version —
Less fanciful versions . . .
Unmagic Squares Consecutive positive integers:
1 2 3 Consecutive nonnegative integers:
0 1 2
Consecutive nonnegative integers
00 01 02
This last square may be viewed as
Note that the ninefold square so viewed
As does, similarly, the ancient Chinese
These squares are therefore equivalent under This method generalizes. — Steven H. Cullinane, Nov. 20, 2021 |
Saturday, November 20, 2021
The Unmagicking
Unmagic Squares Consecutive positive integers:
1 2 3 Consecutive nonnegative integers:
0 1 2
Consecutive nonnegative integers
00 01 02
This last square may be viewed as
Note that the ninefold square so viewed
As does, similarly, the ancient Chinese
These squares are therefore equivalent under This method generalizes. — Steven H. Cullinane, Nov. 20, 2021 |