Saturday, March 2, 2019

Wikipedia Scholarship (Continued):

Filed under: General — Tags: , — m759 @ 11:21 AM

Ignotum per Ignotius

A Log24 post from yesterday afternoon has the following —

Commentary —

Friday, March 1, 2019

Wikipedia Scholarship (Continued)

Filed under: General — Tags: , , — m759 @ 12:45 PM

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.

The Cullinane diamond theorem, AMS Notices, Feb. 1979, pp. A-193-194

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)).

Thursday, February 28, 2019

Wikipedia Scholarship

Filed under: General — Tags: , , — m759 @ 12:31 PM

Cullinane's Square Model of 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.

Wednesday, March 6, 2019

The Relativity Problem and Burkard Polster

Filed under: General,Geometry — Tags: — m759 @ 11:28 AM

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."

Tuesday, March 5, 2019

A Block Design 3-(16,4,1) as a Steiner Quadruple System:

Filed under: General — Tags: , — m759 @ 11:19 AM

A Midrash for Wikipedia 

Midrash —

Related material —


The Miracle Octad Generator (MOG), the affine 4-space over GF(2), and the Cullinane diamond theorem

Wednesday, February 27, 2019

Construction of PG(3,2) from K6

Filed under: General,Geometry — Tags: , , — m759 @ 11:38 AM

From this journal on April 23, 2013

IMAGE- Geometry of the Six-Set, Steven H. Cullinane, April 23, 2013

From this journal in 2003

From Wikipedia on Groundhog Day, 2019

Tuesday, February 26, 2019


Filed under: General — Tags: , , , — m759 @ 12:00 PM

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 K6 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 . . .

IMAGE- Dolgachev and Keum, coordinatization of the 4x4 array in 'Birational Automorphisms of Quartic Hessian Surfaces,' AMS Transactions, 2002

Monday, August 24, 2015

Quality Report:

Filed under: General,Geometry — m759 @ 12:00 PM

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 .

Tuesday, August 18, 2015

A Wrinkle in Terms

Filed under: General,Geometry — m759 @ 8:23 AM

The phrase “the permutation group Sn” refers to a
particular  group of permutations that act on an
-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.

In other words, the phrase “the permutation group Sn
does not  imply that “Sn ” 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

Tuesday, October 3, 2006

Tuesday October 3, 2006

Filed under: General,Geometry — m759 @ 9:26 AM


"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)‎
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