Exercise: Use the Guitart 7-cycles below to relate the 56 triples
in an 8-set (such as the eightfold cube) to the 56 triangles in
a well-known Klein-quartic hyperbolic-plane tiling. Then use
the correspondence of the triples with the 56 spreads of PG(3,2)
to construct M24.
Click image below to download a Guitart PowerPoint presentation.
See as well earlier posts also tagged Triangles, Spreads, Mathieu.
For PSL(2,7), this is ((49-1)(49-7))/((7-1)(2))=168.
The group GL(3,2), also of order 168, acts naturally
on the set of seven cube-slicings below —
Another way to picture the seven natural slicings —
Application of the above images to picturing the
isomorphism of PSL(2,7) with GL(3,2) —
.gif)
For a more detailed proof, see . . .
Click to enlarge:
Above are the 7 frames of an animated gif from a Wikipedia article.
* For the Furey of the title, see a July 20 Quanta Magazine piece —
See also the eightfold cube in this journal.
"Before time began . . . ." — Optimus Prime
This post continues recent thoughts on the work of René Guitart.
A 2014 article by Guitart gives a great deal of detail on his
approach to symmetric generation of the simple group of order 168 —
“Hexagonal Logic of the Field F8 as a Boolean Logic
with Three Involutive Modalities,” pp. 191-220 in
The Road to Universal Logic:
Festschrift for 50th Birthday of
Jean-Yves Béziau, Volume I,
Editors: Arnold Koslow, Arthur Buchsbaum,
Birkhäuser Studies in Universal Logic, dated 2015
by publisher but Oct. 11, 2014, by Amazon.com.
See also the eightfold cube in this journal.
Note the three quadruplets of parallel edges in the 1984 figure above.
The above Gates article appeared earlier, in the June 2010 issue of
Physics World , with bigger illustrations. For instance —
Exercise: Describe, without seeing the rest of the article,
the rule used for connecting the balls above.
Wikipedia offers a much clearer picture of a (non-adinkra) tesseract —
And then, more simply, there is the Galois tesseract —
For parts of my own world in June 2010, see this journal for that month.
The above Galois tesseract appears there as follows:
See also the Klein correspondence in a paper from 1968
in yesterday's 2:54 PM ET post.
A followup to Wednesday's post Deep Space —
Related material from this journal on July 9, 2019 —
Cube Bricks 1984 —
From "Tomorrowland" (2015) —
From other posts tagged 1984 Cubes —
From old posts tagged Change Arises —
|
From Christmas 2005:
For the eightfold cube
For an rather more
Click on image for details. |
The phrase "change arises" is from Arkani-Hamed in 2013, describing
calculations in physics related to properties of the positive Grassmannian —
A related recent illustration from Quanta Magazine —
The above illustration of seven cells is not unrelated to
the eightfold-cube model of the seven projective points in
the Fano plane.
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."
Stevens's Omega and Alpha (see previous post) suggest a review.
Omega — The Berlekamp Garden. See Misère Play (April 8, 2019).
Alpha — The Kinder Garten. See Eighfold Cube.
Illustrations —
The sculpture above illustrates Klein's order-168 simple group.
So does the sculpture below.
Cube Bricks 1984 —
Cube Bricks 1984 —
From "Tomorrowland" (2015) —
From John Baez (2018) —
See also this morning's post Perception of Space
and yesterday's Exploring Schoolgirl Space.
Review of yesterday's post Perception of Space —
From Harry Potter and the Philosopher's Stone (1997),
republished as "… and the Sorcerer's Stone ," Kindle edition:
In a print edition from Bloomsbury (2004), and perhaps in the
earliest editions, the above word "movements" is the first word
on page 168:
Click the above ellipse for some Log24 posts on the eightfold cube,
the source of the 168 automorphisms ("movements") of the Fano plane.
"Refined interpretation requires that you know that
someone once said the offspring of reality and illusion
is only a staggering confusion."
— Poem, "The Game of Roles," by Mary Jo Bang
Related material on reality and illusion —
an ad on the back cover of the current New Yorker —
"Hey, the stars might lie, but the numbers never do." — Song lyric
* A footnote in memory of a dancer who reportedly died
yesterday, August 29 — See posts tagged Paradigm Shift.
"Birthday, death-day — what day is not both?" — John Updike
Suggested by a review of Curl on Modernism —
Related material —
Waugh + Orwell in this journal and …
McCarthy's "materialization of plot and character" does not,
for me, constitute a proof that "there is being, after all,
beyond the arbitrary flux of existence."
Neither does the above materialization of 281 as the page
number of her philosophical remark.
See also the materialization of 281 as a page number in
the book Witchcraft by Charles Williams —
The materialization of 168 as a page number in a
Stephen King novel is somewhat more convincing,
but less convincing than the materialization of Klein's
simple group of of 168 elements in the eightfold cube.
“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 .
Related material on automorphism groups —
The "Eightfold Cube" structure shown above with Weyl
competes rather directly with the "Eightfold Way" sculpture
shown above with Bryant. The structure and the sculpture
each illustrate Klein's order-168 simple group.
Perhaps in part because of this competition, fans of the Mathematical
Sciences Research Institute (MSRI, pronounced "Misery') are less likely
to enjoy, and discuss, the eight-cube mathematical structure above
than they are an eight-cube mechanical puzzle like the one below.
Note also the earlier (2006) "Design Cube 2x2x2" webpage
illustrating graphic designs on the eightfold cube. This is visually,
if not mathematically, related to the (2010) "Expert's Cube."
The previous two posts dealt, rather indirectly, with
the notion of "cube bricks" (Cullinane, 1984) —
Group actions on partitions —
Cube Bricks 1984 —
Another mathematical remark from 1984 —
For further details, see Triangles Are Square.
Continuing the previous post's theme …
Group actions on partitions —
Cube Bricks 1984 —
Related material — Posts now tagged Device Narratives.
(Continued … See the title in this journal, as well as Cube Bricks.)
Cube Bricks 1984 —
Related material —
Dirac and Geometry in this journal,
Kummer's Quartic Surface in this journal,
Nanavira Thera in this journal, and
The Razor's Edge and Nanavira Thera.
See as well Bill Murray's 1984 film "The Razor's Edge" …
Movie poster from 1984 —
"A thin line separates
love from hate,
success from failure,
life from death."
Three other dualities, from Nanavira Thera in 1959 —
"I find that there are, in every situation,
three independent dualities…."
(Click to enlarge.)
The reference in the previous post to the work of Guitart and
The Road to Universal Logic suggests a fiction involving
the symmetric generation of the simple group of order 168.
See The Diamond Archetype and a fictional account of the road to Hell …
The cover illustration below has been adapted to
replace the flames of PyrE with the eightfold cube.
For related symmetric generation of a much larger group, see Solomon’s Cube.
Foreword by Sir Michael Atiyah —
"Poincaré said that science is no more a collection of facts
than a house is a collection of bricks. The facts have to be
ordered or structured, they have to fit a theory, a construct
(often mathematical) in the human mind. . . .
… Mathematics may be art, but to the general public it is
a black art, more akin to magic and mystery. This presents
a constant challenge to the mathematical community: to
explain how art fits into our subject and what we mean by beauty.
In attempting to bridge this divide I have always found that
architecture is the best of the arts to compare with mathematics.
The analogy between the two subjects is not hard to describe
and enables abstract ideas to be exemplified by bricks and mortar,
in the spirit of the Poincaré quotation I used earlier."
— Sir Michael Atiyah, "The Art of Mathematics"
in the AMS Notices , January 2010
Judy Bass, Los Angeles Times , March 12, 1989 —
"Like Rubik's Cube, The Eight demands to be pondered."
As does a figure from 1984, Cullinane's Cube —
For natural group actions on the Cullinane cube,
see "The Eightfold Cube" and
"A Simple Reflection Group of Order 168."
See also the recent post Cube Bricks 1984 —
Related remark from the literature —
Note that only the static structure is described by Felsner, not the
168 group actions discussed by Cullinane. For remarks on such
group actions in the literature, see "Cube Space, 1984-2003."
(From Anatomy of a Cube, Sept. 18, 2011.)
“… the A B C of being….” — Wallace Stevens
Scholia —
Compare to my own later note, from March 4, 2010 —
“It seems that Guitart discovered these ‘A, B, C’ generators first,
though he did not display them in their natural setting,
the eightfold cube.” — Borromean Generators (Log24, Oct. 19)
See also Raiders of the Lost Crucible (Halloween 2015)
and “Guitar Solo” from the 2015 CMA Awards on ABC.
From slides dated June 28, 2008 —
Compare to my own later note, from March 4, 2010 —
It seems that Guitart discovered these "A, B, C" generators first,
though he did not display them in their natural setting,
the eightfold cube.
Some context: The epigraph to my webpage
"A Simple Reflection Group of Order 168" —
"Let G be a finite, primitive subgroup of GL(V) = GL(n,D) ,
where V is an n-dimensional vector space over the
division ring D . Assume that G is generated by 'nice'
transformations. The problem is then to try to determine
(up to GL(V) -conjugacy) all possibilities for G . Of course,
this problem is very vague. But it is a classical one,
going back 150 years, and yet very much alive today."
— William M. Kantor, "Generation of Linear Groups,"
pp. 497-509 in The Geometric Vein: The Coxeter Festschrift ,
published by Springer, 1981
The December 2012 Notices of the American
Mathematical Society has an ad on page 1564
(in a review of two books on vulgarized mathematics)
for three workshops next year on “Low-dimensional
Topology, Geometry, and Dynamics”—
(Only the top part of the ad is shown; for further details
see an ICERM page.)
(ICERM stands for Institute for Computational
and Experimental Research in Mathematics.)
The ICERM logo displays seven subcubes of
a 2x2x2 eight-cube array with one cube missing—
The logo, apparently a stylized image of the architecture
of the Providence building housing ICERM, is not unlike
a picture of Froebel’s Third Gift—
© 2005 The Institute for Figuring
Photo by Norman Brosterman from the Inventing Kindergarten
exhibit at The Institute for Figuring (co-founded by Margaret Wertheim)
The eighth cube, missing in the ICERM logo and detached in the
Froebel Cubes photo, may be regarded as representing the origin
(0,0,0) in a coordinatized version of the 2x2x2 array—
in other words the cube invariant under linear , as opposed to
more general affine , permutations of the cubes in the array.
These cubes are not without relevance to the workshops’ topics—
low-dimensional exotic geometric structures, group theory, and dynamics.
See The Eightfold Cube, A Simple Reflection Group of Order 168, and
The Quaternion Group Acting on an Eightfold Cube.
Those who insist on vulgarizing their mathematics may regard linear
and affine group actions on the eight cubes as the dance of
Snow White (representing (0,0,0)) and the Seven Dwarfs—
.
…. and John Golding, an authority on Cubism who "courted abstraction"—
"Adam in Eden was the father of Descartes." — Wallace Stevens
Fictional symbologist Robert Langdon and a cube—
From a Log24 post, "Eightfold Cube Revisited,"
on the date of Golding's death—
A related quotation—
"… quaternions provide a useful paradigm
for studying the phenomenon of 'triality.'"
— David A. Richter's webpage Zometool Triality
See also quaternions in another Log24 post
from the date of Golding's death— Easter Act.
Suggested by yesterday's Relativity Problem Revisited and by Cassirer on Objectivity—
From Symmetric Generation of Groups , by R.T. Curtis (Cambridge U. Press, 2007)—
"… we are saying much more than that
some set of seven involutions, which would be a very weak
requirement. We are asserting that M 24 is generated by a set
of seven involutions which possesses all the symmetries of
acting on the points of the 7-point projective plane…."
— Symmetric Generation , p. 41
"It turns out that this approach is particularly revealing and that
many simple groups, both sporadic and classical, have surprisingly
simple definitions of this type."
— Symmetric Generation , p. 42
See also (click to enlarge)—
Cassirer's remarks connect the concept of objectivity with that of object .
The above quotations perhaps indicate how the Mathieu group
"This is the moment which I call epiphany. First we recognise that the object is one integral thing, then we recognise that it is an organised composite structure, a thing in fact: finally, when the relation of the parts is exquisite, when the parts are adjusted to the special point, we recognise that it is that thing which it is. Its soul, its whatness, leaps to us from the vestment of its appearance. The soul of the commonest object, the structure of which is so adjusted, seems to us radiant. The object achieves its epiphany."
— James Joyce, Stephen Hero
For a simpler object "which possesses all the symmetries of
For symmetric generation of
R.D. Carmichael's seminal 1931 paper on tactical configurations suggests
a search for later material relating such configurations to block designs.
Such a search yields the following—
"… it seems that the relationship between
BIB [balanced incomplete block ] designs
and tactical configurations, and in particular,
the Steiner system, has been overlooked."
— D. A. Sprott, U. of Toronto, 1955
The figure by Cullinane included above shows a way to visualize Sprott's remarks.
For the group actions described by Cullinane, see "The Eightfold Cube" and
"A Simple Reflection Group of Order 168."
Update of 7:42 PM Sept. 18, 2011—
From a Summer 2011 course on discrete structures at a Berlin website—
A different illustration of the eightfold cube as the Steiner system S(3, 4, 8)—
Note that only the static structure is described by Felsner, not the
168 group actions discussed (as above) by Cullinane. For remarks on
such group actions in the literature, see "Cube Space, 1984-2003."
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 2-element Galois field, these hyperplanes are certain sets of four subcubes.
From the Wikipedia article "Reflection Group" that I created on Aug. 10, 2005— as revised on Nov. 25, 2009—
|
Historically, (Coxeter 1934) proved that every reflection group [Euclidean, by the current Wikipedia definition] is a Coxeter group (i.e., has a presentation where all relations are of the form ri2 or (rirj)k), and indeed this paper introduced the notion of a Coxeter group, while (Coxeter 1935) proved that every finite Coxeter group had a representation as a reflection group [again, Euclidean], and classified finite Coxeter groups. Finite fields
When working over finite fields, one defines a "reflection" as a map that fixes a hyperplane (otherwise for example there would be no reflections in characteristic 2, as −1=1 so reflections are the identity). Geometrically, this amounts to including shears in a hyperplane. Reflection groups over finite fields of characteristic not 2 were classified in (Zalesskiĭ & Serežkin 1981). |
Related material:
"A Simple Reflection Group of Order 168," by Steven H. Cullinane, and
by Ascher Wagner, U. of Birmingham, received 27 July 1977
| Journal | Geometriae Dedicata |
| Publisher | Springer Netherlands |
| Issue | Volume 9, Number 2 / June, 1980 |
[A primitive permuation group preserves
no nontrivial partition of the set it acts upon.]
Clearly the eightfold cube is a counterexample.
Truth, Geometry, Algebra
The following notes are related to A Simple Reflection Group of Order 168.
1. According to H.S.M. Coxeter and Richard J. Trudeau
“There is a pleasantly discursive treatment of Pontius Pilate’s unanswered question ‘What is truth?’.”
— Coxeter, 1987, introduction to Trudeau’s The Non-Euclidean Revolution
1.1 Trudeau’s Diamond Theory of Truth
1.2 Trudeau’s Story Theory of Truth
2. According to Alexandre Borovik and Steven H. Cullinane
2.1 Coxeter Theory according to Borovik
2.1.1 The Geometry–
Mirror Systems in Coxeter Theory
2.1.2 The Algebra–
Coxeter Languages in Coxeter Theory
2.2 Diamond Theory according to Cullinane
2.2.1 The Geometry–
Examples: Eightfold Cube and Solomon’s Cube
2.2.2 The Algebra–
Examples: Cullinane and (rather indirectly related) Gerhard Grams
Summary of the story thus far:
Diamond theory and Coxeter theory are to some extent analogous– both deal with reflection groups and both have a visual (i.e., geometric) side and a verbal (i.e., algebraic) side. Coxeter theory is of course highly developed on both sides. Diamond theory is, on the geometric side, currently restricted to examples in at most three Euclidean (and six binary) dimensions. On the algebraic side, it is woefully underdeveloped. For material related to the algebraic side, search the Web for generators+relations+”characteristic two” (or “2“) and for generators+relations+”GF(2)”. (This last search is the source of the Grams reference in 2.2.2 above.)
From today's NY Times—
Obituaries for mystery authors
Ralph McInerny and Dick Francis
From the date (Jan. 29) of McInerny's death–
"…although a work of art 'is formed around something missing,' this 'void is its vanishing point, not its essence.'"
– Harvard University Press on Persons and Things (Walpurgisnacht, 2008), by Barbara Johnson
From the date (Feb. 14) of Francis's death–
The EIghtfold Cube
The "something missing" in the above figure is an eighth cube, hidden behind the others pictured.
This eighth cube is not, as Johnson would have it, a void and "vanishing point," but is instead the "still point" of T.S. Eliot. (See the epigraph to the chapter on automorphism groups in Parallelisms of Complete Designs, by Peter J. Cameron. See also related material in this journal.) The automorphism group here is of course the order-168 simple group of Felix Christian Klein.
For a connection to horses, see
a March 31, 2004, post
commemorating the birth of Descartes
and the death of Coxeter–
Putting Descartes Before Dehors
For a more Protestant meditation,
see The Cross of Descartes—
"I've been the front end of a horse
and the rear end. The front end is better."
— Old vaudeville joke
For further details, click on
the image below–
Notre Dame Philosophical Reviews
The Sept. 8 entry on non-Euclidean* blocks ended with the phrase “Go figure.” This suggested a MAGMA calculation that demonstrates how Klein’s simple group of order 168 (cf. Jeremy Gray in The Eightfold Way) can be visualized as generated by reflections in a finite geometry.
* i.e., other than Euclidean. The phrase “non-Euclidean” is usually applied to only some of the geometries that are not Euclidean. The geometry illustrated by the blocks in question is not Euclidean, but is also, in the jargon used by most mathematicians, not “non-Euclidean.”
Through the
Looking Glass:
A Sort of Eternity
From the new president’s inaugural address:
“… in the words of Scripture, the time has come to set aside childish things.”
The words of Scripture:
“through a glass”—
[di’ esoptrou].
By means of
a mirror [esoptron].
Childish things:
© 2005 The Institute for Figuring
Not-so-childish:
Three planes through
the center of a cube
that split it into
eight subcubes:
Through a glass, darkly:
A group of 8 transformations is
generated by affine reflections
in the above three planes.
Shown below is a pattern on
the faces of the 2x2x2 cube
that is symmetric under one of
these 8 transformations–
a 180-degree rotation:
(Click on image
for further details.)
But then face to face:
A larger group of 1344,
rather than 8, transformations
of the 2x2x2 cube
is generated by a different
sort of affine reflections– not
in the infinite Euclidean 3-space
over the field of real numbers,
but rather in the finite Galois
3-space over the 2-element field.
Galois age fifteen,
drawn by a classmate.
These transformations
in the Galois space with
finitely many points
produce a set of 168 patterns
like the one above.
For each such pattern,
at least one nontrivial
transformation in the group of 8
described above is a symmetry
in the Euclidean space with
infinitely many points.
For some generalizations,
see Galois Geometry.
Related material:
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.” — Jamie James in The Music of the Spheres (1993) “In the garden of Adding — The Midrash Jazz Quartet in City of God, by E. L. Doctorow (2000) A quotation today at art critic Carol Kino’s website, slightly expanded: “Art inherited from the old religion — Octavio Paz,”Seeing and Using: Art and Craftsmanship,” in Convergences: Essays on Art and Literature (New York: Harcourt Brace Jovanovich 1987), 52 From Brian O’Doherty’s 1976 Artforum essays– not on museums, but rather on gallery space: “We have now reached
“Space: what you — James Joyce, Ulysses |
"Hmm, next paper… maybe
'An Unusually Complicated
Theory of Something.'"
Something:
From Friedrich Froebel,
who invented kindergarten:
Click on image for details.
An Unusually
Complicated Theory:
From Christmas 2005:
Click on image for details.
For the eightfold cube
as it relates to Klein's
simple group, see
"A Reflection Group
of Order 168."
For an even more
complicated theory of
Klein's simple group, see
Click on image for details.
Part I:
Part II:
This figure is related to
the mathematics of
reflection groups.
Part III:
— George Steiner in Grammars of Creation
Inverse Canon —
From Werner Icking Music Archive:
Bach, Fourteen Canons
on the First Eight Notes
of the Goldberg Ground,
No. 11 —
At a different site —
an mp3 of the 14 canons.
That Crown of Thorns,
by Timothy A. Smith
Geometry
from Point
to Hyperspace
by Steven H. Cullinane
Euclid is “the most famous
geometer ever known
and for good reason:
for millennia it has been
his window
that people first look through
when they view geometry.”
— Euclid’s Window:
The Story of Geometry
from Parallel Lines
to Hyperspace,
by Leonard Mlodinow
“…the source of
all great mathematics
is the special case,
the concrete example.
It is frequent in mathematics
that every instance of a
concept of seemingly
great generality is
in essence the same as
a small and concrete
special case.”
— Paul Halmos in
I Want To Be a Mathematician
Euclid’s geometry deals with affine
spaces of 1, 2, and 3 dimensions
definable over the field
of real numbers.
Each of these spaces
has infinitely many points.
Some simpler spaces are those
defined over a finite field–
i.e., a “Galois” field–
for instance, the field
which has only two
elements, 0 and 1, with
addition and multiplication
as follows:
|
|
From these five finite spaces,
we may, in accordance with
Halmos’s advice,
select as “a small and
concrete special case”
the 4-point affine plane,
which we may call
Galois’s Window.
The interior lines of the picture
are by no means irrelevant to
the space’s structure, as may be
seen by examining the cases of
the above Galois affine 3-space
and Galois affine hyperplane
in greater detail.
For more on these cases, see
The Eightfold Cube,
Finite Relativity,
The Smallest Projective Space,
Latin-Square Geometry, and
Geometry of the 4×4 Square.
(These documents assume that
the reader is familar with the
distinction between affine and
projective geometry.)
These 8- and 16-point spaces
may be used to
illustrate the action of Klein’s
simple group of order 168
and the action of
a subgroup of 322,560 elements
within the large Mathieu group.
The view from Galois’s window
also includes aspects of
quantum information theory.
For links to some papers
in this area, see
Elements of Finite Geometry.
or, The Eightfold Cube
Every permutation of the plane's points that preserves collinearity is a symmetry of the plane. The group of symmetries of the Fano plane is of order 168 and is isomorphic to the group PSL(2,7) = PSL(3,2) = GL(3,2). (See Cameron on linear groups (pdf).)
The above model indicates with great clarity six symmetries of the plane– those it shares with the equilateral triangle. It does not, however, indicate where the other 162 symmetries come from.
Shown below is a new model of this same projective plane, using partitions of cubes to represent points:
The second model is useful because it lets us generate naturally all 168 symmetries of the Fano plane by splitting a cube into a set of four parallel 1x1x2 slices in the three ways possible, then arbitrarily permuting the slices in each of the three sets of four. See examples below.
(Note that this procedure, if regarded as acting on the set of eight individual subcubes of each cube in the diagram, actually generates a group of 168*8 = 1,344 permutations. But the group's action on the diagram's seven partitions of the subcubes yields only 168 distinct results. This illustrates the difference between affine and projective spaces over the binary field GF(2). In a related 2x2x2 cubic model of the affine 3-space over GF(2) whose "points" are individual subcubes, the group of eight translations is generated by interchanges of parallel 2x2x1 cube-slices. This is clearly a subgroup of the group generated by permuting 1x1x2 cube-slices. Such translations in the affine 3-space have no effect on the projective plane, since they leave each of the plane model's seven partitions– the "points" of the plane– invariant.)
To view the cubes model in a wider context, see Galois Geometry, Block Designs, and Finite-Geometry Models.
For another application of the points-as-partitions technique, see Latin-Square Geometry: Orthogonal Latin Squares as Skew Lines.
For more on the plane's symmetry group in another guise, see John Baez on Klein's Quartic Curve and the online book The Eightfold Way. For more on the mathematics of cubic models, see Solomon's Cube.
Powered by WordPress
