Ignotum per Ignotius
A Log24 post from yesterday afternoon has the following —
Commentary —
This post continues a post from yesterday on the square model of
PG(3,2) that apparently first appeared (presented as such*) in . . .
Cullinane, "Symmetry invariance in a diamond ring,"
Notices of the AMS , pp. A193-194, Feb. 1979.
Yesterday's Wikipedia presentation of the square model was today
revised by yet another anonymous author —
Revision history accounting for the above change from yesterday —
The jargon "rm OR" means "remove original research."
The added verbiage about block designs is a smokescreen having
nothing to do with the subject, which is square representation
of the 35 points and lines.
* The 35 squares, each consisting of four 4-element subsets, appeared earlier
in the Miracle Octad Generator (MOG) of R. T. Curtis (published in 1976).
They were not at that time presented as constituting a finite geometry,
either affine (AG(4,2)) or projective (PG(3,2)).
Besides omitting the name Cullinane, the anonymous Wikipedia author
also omitted the step of representing the hypercube by a 4×4 array —
an array called in this journal a Galois tesseract.
From some 1949 remarks of Weyl— "The relativity problem is one of central significance throughout geometry and algebra and has been recognized as such by the mathematicians at an early time." — Hermann Weyl, "Relativity Theory as a Stimulus in Mathematical Research," Proceedings of the American Philosophical Society , Vol. 93, No. 7, Theory of Relativity in Contemporary Science: Papers Read at the Celebration of the Seventieth Birthday of Professor Albert Einstein in Princeton, March 19, 1949 (Dec. 30, 1949), pp. 535-541 Weyl in 1946—: "This is the relativity problem: to fix objectively a class of equivalent coordinatizations and to ascertain the group of transformations S mediating between them." — Hermann Weyl, The Classical Groups , Princeton University Press, 1946, p. 16 |
For some context, see Relativity Problem in this journal.
In the case of PG(3,2), there is a choice of geometric models
to be coordinatized: two such models are the traditional
tetrahedral model long promoted by Burkard Polster, and
the square model of Steven H. Cullinane.
The above Wikipedia section tacitly (and unfairly) assumes that
the model being coordinatized is the tetrahedral model. For
coordinatization of the square model, see (for instance) the webpage
Finite Relativity.
For comparison of the two models, see a figure posted here on
May 21, 2014 —
Labeling the Tetrahedral Model (Click to enlarge) —
"Citation needed" —
The anonymous characters who often update the PG(3,2) Wikipedia article
probably would not consider my post of 2014, titled "The Tetrahedral
Model of PG(3,2)," a "reliable source."
A Midrash for Wikipedia
Midrash —
Related material —
________________________________________________________________________________
From this journal on April 23, 2013 —
From this journal in 2003 —
From Wikipedia on Groundhog Day, 2019 —
Some related material in this journal — See a search for k6.gif.
Some related material from Harvard —
Elkies's "15 simple transpositions" clearly correspond to the 15 edges of
the complete graph K_{6} and to the 15 2-subsets of a 6-set.
For the connection to PG(3,2), see Finite Geometry of the Square and Cube.
The following "manifestation" of the 2-subsets of a 6-set might serve as
the desired Wikipedia citation —
See also the above 1986 construction of PG(3,2) from a 6-set
in the work of other authors in 1994 and 2002 . . .
The Wrench and the Nut
From Schicksalstag 2012 —
The Quality
with No Name
And what is good, Phaedrus,
and what is not good —
Need we ask anyone
to tell us these things?
— Epigraph to
Zen and the Art of
Motorcyle Maintenance
Related material from Wikipedia today:
See as well a search in this journal for “Permutation Group” + Wikipedia .
The phrase “the permutation group S_{n}” refers to a
particular group of permutations that act on an
n -element set N— namely, all of them. For a given n ,
there are, in general, many permutation groups that
act on N. All but one are smaller than S_{n }.
In other words, the phrase “the permutation group S_{n}”
does not imply that “S_{n }” is a symbol for a structure
associated with n called “the permutation group.”
It is instead a symbol for “the symmetric group,” the largest
of (in general) many permutation groups that act on N.
This point seems to have escaped John Baez.
For two misuses by Baez of the phrase “permutation group” at the
n-Category Café, see “A Wrinkle in the Mathematical Universe”
and “Re: A Wrinkle…” —
“There is such a thing as a permutation group.”
— Adapted from A Wrinkle in Time , by Madeleine L’Engle
Serious
"I don't think the 'diamond theorem' is anything serious, so I started with blitzing that."
— Charles Matthews at Wikipedia, Oct. 2, 2006
"The 'seriousness' of a mathematical theorem lies, not in its practical consequences, which are usually negligible, but in the significance of the mathematical ideas which it connects. We may say, roughly, that a mathematical idea is 'significant' if it can be connected, in a natural and illuminating way, with a large complex of other mathematical ideas."
— G. H. Hardy, A Mathematician's Apology
Matthews yesterday deleted references to the diamond theorem and related material in the following Wikipedia articles:
Affine group
Reflection group
Symmetry in mathematics
Incidence structure
Invariant (mathematics)
Symmetry
Finite geometry
Group action
History of geometry
This would appear to be a fairly large complex of mathematical ideas.
See also the following "large complex" cited, following the above words of Hardy, in Diamond Theory:
Affine geometry, affine planes, affine spaces, automorphisms, binary codes, block designs, classical groups, codes, coding theory, collineations, combinatorial, combinatorics, conjugacy classes, the Conwell correspondence, correlations, design theory, duads, duality, error correcting codes, exceptional groups, finite fields, finite geometry, finite groups, finite rings, Galois fields, generalized quadrangles, generators, geometry, GF(2), GF(4), the (24,12) Golay code, group actions, group theory, Hadamard matrices, hypercube, hyperplanes, hyperspace, incidence structures, invariance, Karnaugh maps, Kirkman's schoolgirl problem, Latin squares, Leech lattice, linear groups, linear spaces, linear transformations, Mathieu groups, matrix theory, Meno, Miracle Octad Generator, MOG, multiply transitive groups, octads, the octahedral group, orthogonal arrays, outer automorphisms, parallelisms, partial geometries, permutation groups, PG(3,2), polarities, Polya-Burnside theorem, projective geometry, projective planes, projective spaces, projectivities, Reed-Muller codes, the relativity problem, Singer cycle, skew lines, sporadic simple groups, Steiner systems, symmetric, symmetry, symplectic, synthemes, synthematic, tesseract, transvections, Walsh functions, Witt designs.
Powered by WordPress