Log24

Friday, December 23, 2022

Was ist Raum?” — Bauhaus Founder Walter Gropius

Filed under: General — Tags: — m759 @ 10:43 am

"Was ist Raum, wie können wir ihn
 erfassen und gestalten?"

Walter Gropius,

The Theory and
Organization of the
Bauhaus
  (1923)

A relevant illustration:

At math.stackexchange.com on March 1-12, 2013:

Is there a geometric realization of the Quaternion group?” —

The above illustration, though neatly drawn, appeared under the
cloak of anonymity.  No source was given for the illustrated group actions.
Possibly they stem from my Log24 posts or notes such as the Jan. 4, 2012,
note on quaternion actions at finitegeometry.org/sc (hence ultimately
from my note “GL(2,3) actions on a cube” of April 5, 1985).

These references will not appeal to those who enjoy modernism as a religion.
(For such a view, see Rosalind Krauss on grids and another writer's remarks
on the religion's 100th anniversary this year.)

Some related nihilist philosophy from Cormac McCarthy —

"Forms turning in a nameless void."

Saturday, March 26, 2022

Box Geometry: Space, Group, Art  (Work in Progress)

Filed under: General — Tags: , — m759 @ 2:06 am

Many structures of finite geometry can be modeled by
rectangular or cubical arrays ("boxes") —
of subsquares or subcubes (also "boxes").

Here is a draft for a table of related material, arranged
as internet URL labels.

Finite Geometry Notes — Summary Chart
 

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 Aor  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 
322,560 permutations of the parts
of a 4×4 array (a Galois tesseract)

 
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
56 triangles in a model of Klein's quartic surface or
the 56 spreads in PG(3,2).

   
Box60 The Klein configuration.    
Box64 Solomon's cube.    

— Steven H. Cullinane, March 26-27, 2022

Friday, December 10, 2021

Dance of the Lo Shu

Filed under: General — Tags: , , — m759 @ 4:46 am

The ancient Chinese matrix known as the Lo Shu
is one of 432 matrices equivalent under the action of . . .

The Lo Shu Group:

For related material, see (for instance) AGL(2,3) in . . .

"Let be be finale of seem.
The only emperor is the emperor of ice-cream."

— Wallace Stevens

Thursday, December 9, 2021

Lo Shu Space . . .

Filed under: General — Tags: — m759 @ 12:43 am

. . . is now at loshu.space. (Update on 10 Dec. — See also loshu.group.)

See as well GL(2,3) in this journal.

The Lo Shu as a Finite Space

Saturday, July 31, 2021

The Hashtag, or: “Immanentizing the Eschaton”

Filed under: General — Tags: — m759 @ 5:41 pm

The "eschaton" phrase above is from the works of Robert Anton Wilson.

That Robert A. Wilson should not be confused with
the Robert A. Wilson who is a GL(2,3) enthusiast.

Nor should immanentizing  be confused with coordinatizing  . . . 

"Coordinatizing the Deathly Hallows" —

Related geometric remarks — Hashtag as Well

Saturday, July 10, 2021

Plan 9 from Ancient China

Filed under: General — Tags: , — m759 @ 3:33 pm

The Lo Shu as a Finite Space

Robert A. Wilson on symmetries of the ninefold square —

"All of these ideas have shown promise at some time or other, and some are still under active investigation. But my conclusion after all this work is that the part of algebra that shows the most promise for genuinely useful applications to fundamental physics is the representation theory, real, complex, integral and modular, of the group GL(2, 3). There is, of course, no guarantee that a viable theory can be built on this foundation. But it appears to be the only part of algebra that both has a reasonable chance of success and has not already been exhaustively explored in the physics literature. It is therefore worth serious consideration."

— "Potential applications of modular representation theory to quantum mechanics," arXiv, May 28, 2021, revised June 7, 2021.

See as well GL(2,3) in this  journal .

Related material: Christmas Eve 2012.

Monday, July 5, 2021

For Stonehearst Asylum

Filed under: General — Tags: , — m759 @ 2:43 pm

Robert A. Wilson on symmetries of the ninefold square

"All of these ideas have shown promise at some time or other, and some are still under active investigation. But my conclusion after all this work is that the part of algebra that shows the most promise for genuinely useful applications to fundamental physics is the representation theory, real, complex, integral and modular, of the group GL(2, 3). There is, of course, no guarantee that a viable theory can be built on this foundation. But it appears to be the only part of algebra that both has a reasonable chance of success and has not already been exhaustively explored in the physics literature. It is therefore worth serious consideration."

— "Potential applications of modular representation theory to quantum mechanics," arXiv, May 28, 2021, revised June 7, 2021.

See as well GL(2,3) in this  journal .

Some may consider more relevant the remarks of a different  Robert A. Wilson —

Sunday, January 6, 2019

For Broom Bridge*

Filed under: General,Geometry — Tags: — m759 @ 11:00 am

GL(2,3) is not unrelated to GL(3,2).

See Quaternion Automorphisms 
and Spinning in Infinity.

* See Wikipedia.

Wednesday, April 12, 2017

Contracting the Spielraum

The contraction of the title is from group actions on
the ninefold square  (with the center subsquare fixed)
to group actions on the eightfold cube.

From a post of June 4, 2014

At math.stackexchange.com on March 1-12, 2013:

Is there a geometric realization of the Quaternion group?” —

The above illustration, though neatly drawn, appeared under the
cloak of anonymity.  No source was given for the illustrated group actions.
Possibly they stem from my Log24 posts or notes such as the Jan. 4, 2012,
note on quaternion actions at finitegeometry.org/sc (hence ultimately
from my note “GL(2,3) actions on a cube” of April 5, 1985).

Monday, October 13, 2014

Raiders of the Lost Theorem

Filed under: General,Geometry — Tags: — m759 @ 12:05 pm

(Continued from Nov. 16, 2013.)

The 48 actions of GL(2,3) on a 3×3 array include the 8-element
quaternion group as a subgroup. This was illustrated in a Log24 post,
Hamilton’s Whirligig, of Jan. 5, 2006, and in a webpage whose
earliest version in the Internet Archive is from June 14, 2006.

One of these quaternion actions is pictured, without any reference
to quaternions, in a 2013 book by a Netherlands author whose
background in pure mathematics is apparently minimal:

In context (click to enlarge):

Update of later the same day —

Lee Sallows, Sept. 2011 foreword to Geometric Magic Squares —

“I first hit on the idea of a geometric magic square* in October 2001,**
and I sensed at once that I had penetrated some previously hidden portal
and was now standing on the threshold of a great adventure. It was going
to be like exploring Aladdin’s Cave. That there were treasures in the cave,
I was convinced, but how they were to be found was far from clear. The
concept of a geometric magic square is so simple that a child will grasp it
in a single glance. Ask a mathematician to create an actual specimen and
you may have a long wait before getting a response; such are the formidable
difficulties confronting the would-be constructor.”

* Defined by Sallows later in the book:

“Geometric  or, less formally, geomagic  is the term I use for
a magic square in which higher dimensional geometrical shapes
(or tiles  or pieces ) may appear in the cells instead of numbers.”

** See some geometric  matrices by Cullinane in a March 2001 webpage.

Earlier actual specimens — see Diamond Theory  excerpts published in
February 1977 and a brief description of the original 1976 monograph:

“51 pp. on the symmetries & algebra of
matrices with geometric-figure entries.”

— Steven H. Cullinane, 1977 ad in
Notices of the American Mathematical Society

The recreational topic of “magic” squares is of little relevance
to my own interests— group actions on such matrices and the
matrices’ role as models of finite geometries.

Wednesday, June 4, 2014

Monkey Business

Filed under: General,Geometry — Tags: , , — m759 @ 8:48 pm

The title refers to a Scientific American weblog item
discussed here on May 31, 2014:

Some closely related material appeared here on
Dec. 30, 2011:

IMAGE- Quaternion group acting on an eightfold cube

A version of the above quaternion actions appeared
at math.stackexchange.com on March 12, 2013:

"Is there a geometric realization of Quaternion group?" —

The above illustration, though neatly drawn, appeared under the
cloak of anonymity.  No source was given for the illustrated group actions.
Possibly they stem from my Log24 posts or notes such as the Jan. 4, 2012,
note on quaternion actions at finitegeometry.org/sc (hence ultimately
from my note "GL(2,3) actions on a cube" of April 5, 1985).

Saturday, November 16, 2013

Raiders of the Lost Theorem

Filed under: General,Geometry — Tags: , — m759 @ 11:30 am

IMAGE- The 'atomic square' in Lee Sallows's article 'The Lost Theorem'

Yes. See

The 48 actions of GL(2,3) on a 3×3 coordinate-array A,
when matrices of that group right-multiply the elements of A,
with A =

(1,1) (1,0) (1,2)
(0,1) (0,0) (0,2)
(2,1) (2,0) (2,2)

Actions of GL(2,p) on a pxp coordinate-array have the
same sorts of symmetries, where p is any odd prime.

Note that A, regarded in the Sallows manner as a magic square,
has the constant sum (0,0) in rows, columns, both diagonals, and  
all four broken diagonals (with arithmetic modulo 3).

For a more sophisticated approach to the structure of the
ninefold square, see Coxeter + Aleph.

Wednesday, August 19, 2009

Wednesday August 19, 2009

Filed under: General,Geometry — Tags: , , — m759 @ 10:30 am

Group Actions, 1984-2009

From a 1984 book review:

"After three decades of intensive research by hundreds of group theorists, the century old problem of the classification of the finite simple groups has been solved and the whole field has been drastically changed. A few years ago the one focus of attention was the program for the classification; now there are many active areas including the study of the connections between groups and geometries, sporadic groups and, especially, the representation theory. A spate of books on finite groups, of different breadths and on a variety of topics, has appeared, and it is a good time for this to happen. Moreover, the classification means that the view of the subject is quite different; even the most elementary treatment of groups should be modified, as we now know that all finite groups are made up of groups which, for the most part, are imitations of Lie groups using finite fields instead of the reals and complexes. The typical example of a finite group is GL(n, q), the general linear group of n dimensions over the field with q elements. The student who is introduced to the subject with other examples is being completely misled."

— Jonathan L. Alperin,
   review of books on group theory,
   Bulletin (New Series) of the American
   Mathematical Society
10 (1984) 121, doi:
   10.1090/S0273-0979-1984-15210-8
 

A more specific example:


Actions of GL(2,3) on a 3x3 coordinate-array

The same example
at Wolfram.com:

Ed Pegg Jr.'s program at Wolfram.com to display a large number of actions of small linear groups over finite fields

Caption from Wolfram.com:
 
"The two-dimensional space Z3×Z3 contains nine points: (0,0), (0,1), (0,2), (1,0), (1,1), (1,2), (2,0), (2,1), and (2,2). The 48 invertible 2×2 matrices over Z3 form the general linear group known as GL(2, 3). They act on Z3×Z3 by matrix multiplication modulo 3, permuting the nine points. More generally, GL(n, p) is the set of invertible n×n matrices over the field Zp, where p is prime. With (0, 0) shifted to the center, the matrix actions on the nine points make symmetrical patterns."

Citation data from Wolfram.com:

"GL(2,p) and GL(3,3) Acting on Points"
 from The Wolfram Demonstrations Project,
 http://demonstrations.wolfram.com/GL2PAndGL33ActingOnPoints/,
 Contributed by: Ed Pegg Jr"

As well as displaying Cullinane's 48 pictures of group actions from 1985, the Pegg program displays many, many more actions of small finite general linear groups over finite fields. It illustrates Cullinane's 1985 statement:

"Actions of GL(2,p) on a p×p coordinate-array have the same sorts of symmetries, where p is any odd prime."

Pegg's program also illustrates actions on a cubical array– a 3×3×3 array acted on by GL(3,3). For some other actions on cubical arrays, see Cullinane's Finite Geometry of the Square and Cube.
 

Saturday, March 8, 2008

Saturday March 8, 2008

Filed under: General,Geometry — m759 @ 1:00 pm
Tilting at
Whirligigs

From a New York Times list

of literary “signature passages” —

Don Quixote -- 'wasteland and crossroad places'

An answer:

“The whirligig of time”
— Shakespeare, Twelfth Night

and

Log24, Twelfth Night, 2006:

Hamilton’s Whirligigs

Hamilton's Whirligigs: The 8-element quaternion group as a subgroup of the 48-element group GL(2,3)

Click image to enlarge.

Related material:

Rotation in the complex plane.

The plane was discovered
in the late 1700’s by Wessel:

Caspar Wessel

by J.J. O’Connor
 and E.F. Robertson:

“Wessel’s paper [in Danish] was not noticed by the mathematical community until 1895… A French translation… was published in 1897 but an English translation of this most remarkable work was not published until 1999 (exactly 200 years after it was first published)….

We have called Wessel’s work remarkable, and indeed although the credit has gone to Argand, many historians of mathematics feel that Wessel’s contribution was [1]:-

… superior to and more modern in spirit to Argand’s.

In the [1] article the approaches by Argand and Wessel are compared and contrasted. Of course Wessel was a surveyor and his paper was motivated by his surveying and cartography work:-

Wessel’s development proceeded rather directly from geometric problems, through geometric-intuitive reasoning, to an algebraic formula. Argand began with algebraic quantities and sought a geometric representation for them. … Wessel’s initial formulation was remarkably clear, direct, concise and modern. It is regrettable that it was not appreciated for nearly a century and hence did not have the influence it merited.

However more is claimed for Wessel’s single mathematical paper than the first geometric interpretation of complex numbers. In [3] Crowe credits Wessel with being the first person to add vectors. Again this shows the depth of Wessel’s thinking but again, as the paper was unnoticed it had no influence on mathematical development despite appearing in the Memoirs of the Royal Danish Academy which by any standard was a major source of publications….

1. … Biography in Dictionary of Scientific Biography (New York 1970-1990).

3. M.J. Crowe, A History of Vector Analysis (Notre Dame, 1967).”

Saturday, August 6, 2005

Saturday August 6, 2005

Filed under: General,Geometry — Tags: , — m759 @ 9:00 am
For André Weil on
the seventh anniversary
of his death:

 A Miniature
Rosetta Stone

The image “http://www.log24.com/log/pix05B/grid3x3med.bmp” cannot be displayed, because it contains errors.

In a 1940 letter to his sister Simone,  André Weil discussed a sort of “Rosetta stone,” or trilingual text of three analogous parts: classical analysis on the complex field, algebraic geometry over finite fields, and the theory of number fields.  

John Baez discussed (Sept. 6, 2003) the analogies of Weil, and he himself furnished another such Rosetta stone on a much smaller scale:

“… a 24-element group called the ‘binary tetrahedral group,’ a 24-element group called ‘SL(2,Z/3),’ and the vertices of a regular polytope in 4 dimensions called the ’24-cell.’ The most important fact is that these are all the same thing!”

For further details, see Wikipedia on the 24-cell, on special linear groups, and on Hurwitz quaternions,

The group SL(2,Z/3), also known as “SL(2,3),” is of course derived from the general linear group GL(2,3).  For the relationship of this group to the quaternions, see the Log24 entry for August 4 (the birthdate of the discoverer of quaternions, Sir William Rowan Hamilton).

The 3×3 square shown above may, as my August 4 entry indicates, be used to picture the quaternions and, more generally, the 48-element group GL(2,3).  It may therefore be regarded as the structure underlying the miniature Rosetta stone described by Baez.

“The typical example of a finite group is GL(n,q), the general linear group of n dimensions over the field with q elements. The student who is introduced to the subject with other examples is being completely misled.”

 — J. L. Alperin, book review,
    Bulletin (New Series) of the American
    Mathematical Society 10 (1984), 121

Thursday, August 4, 2005

Thursday August 4, 2005

Filed under: General,Geometry — Tags: , — m759 @ 1:00 pm
Visible Mathematics, continued

 

Today's mathematical birthdays:
Saunders Mac Lane, John Venn,
and Sir William Rowan Hamilton.

It is well known that the quaternion group is a subgroup of GL(2,3), the general linear group on the 2-space over GF(3), the 3-element Galois field.

The figures below illustrate this fact.

The image “http://www.log24.com/theory/images/Quaternions2.jpg” cannot be displayed, because it contains errors.

 

Related material: Visualizing GL(2,p)

"The typical example of a finite group is GL(n,q), the general linear group of n dimensions over the field with q elements. The student who is introduced to the subject with other examples is being completely misled."

 

 — J. L. Alperin, book review,
    Bulletin (New Series) of the American
    Mathematical Society 10 (1984), 121

 

Powered by WordPress