(no numbergenerating function, Regular Magic Condition)

(with thanks to an anonymous email contact,

who worked through the equations below,

and initiated the entire subject)

As a working square one can define:

a | b | c |

d | e | f |

g | h | i |

Ultimately the above leads to the following set of equations:

g = s - a - d = b + c - d

e = s - g - c = a + d - c

h = s - b - e = 2 c - d

f = s - e - d = b + 2 c - 2 d

i = s - c - f = a - 2 c + 2 d

i = s - e - a = b + 2c - a - d

because of the two different i-equations one derives d = (-2 a + b + 4 c) / 3

which means that the second and third row can be entirely 'hung-up' on the top row

'plugging in' the lineair independent IR

1.0 | 0.0 | 0.0 | | | 0.0 | 1.0 | 0.0 | | | 0.0 | 0.0 | 1.0 |

-2/3 | 1/3 | 4/3 | | | 1/3 | 1/3 | 1/3 | | | 4/3 | 1/3 | -2/3 |

2/3 | 2/3 | -1/3 | | | 2/3 | -1/3 | 2/3 | | | -1/3 | 2/3 | 2/3 |

Which can serve as a base for the vector space

Note: B

as a second suggestion for a base is:

0 | 1 | -1 | | | -1 | 1 | 0 | | | 1 | 1 | 1 |

-1 | 0 | 1 | | | 1 | 0 | -1 | | | 1 | 1 | 1 |

1 | -1 | 0 | | | 0 | -1 | 1 | | | 1 | 1 | 1 |

of course since both are basis on the same space one can be put into the other, the coëfficients of the second base with respect to the first base are given in the top row of the second base. This second base however can also be used for the related

leaving only

1 | 2 | 0 | | | 0 | 2 | 1 | | | 1 | 1 | 1 |

0 | 1 | 2 | | | 2 | 1 | 0 | | | 1 | 1 | 1 |

2 | 0 | 1 | | | 1 | 0 | 2 | | | 1 | 1 | 1 |

I was told that 0 was not in IN, however I use the definition of Peano which has 0 in IN.

The first two 'vectors' are the 'latin squares' which can be used to create a regular third order magic square (A * 3 + B + C; A the first and B the second vector of the base, C the base third vector needs to be added to have the numbers 1 .. n

'pure technical note: (Vector spaces)'

The exact definition I was given (by forementioned contact) was for a vector spaces over a field F which would mean that 'vector spaces' can only be defined in the cases IC, IR, and IQ (both bases above apply), however nothing in that definition prohibits one for defining a vector space over the ring IZ (second base is appropriate), besides that one can even define a vector space over IN. (only the third base approprite)

The given definition of a vector space is:

A peak at mathworld told me that with IZ we have a Module and the set IN is neither because VectorSpace includes the need for an inverse under addittion which IN doesn't provide

In regular vector space (pe. IR

1. V . W = V

2. V . W = V

(using the general matrix as a template (V in uppercast, W in lowercast letters))

both expressions are symmetrical, as is required for an inner product.

However the first one is definite positive when V == W while the second one can go negative, on the first set of base vectors above the first one would give lengths:

(39/9)

the second one

(27/9)

which would give an imaginairy length to the third vector above

(a strange but none the less definable concept)

Note due to the fact that the transposed base matrices are also within the space I suppose the first version is enough since (V.W)

Some figuring in a puny spreadsheet suggest that:

(A*B)

(B

is expressable in the base so might be a candidate for a Crossproduct. Currently I don't know whether this is consistent with the features a outer (or Cross) product ought to have. Thus far seen tests on the base vectors suggest a decent vector within the space, however the expression A*B is symmetrical ie A*B = B*A. Unfortunately subtracting the two parts doesn't result in a vector in this space nor do the seperate parts. For the module

Some figuring show interestingly: B

With the inner products one can define metric functions and since

V . W = |V||W|cos(<(V,W))

one can thus define the 'angle' between two

the outer product ought to define a new vector which length ought to satisfy:

|V * W| = |V||W|sin(<(V,W))

The symmetrical nature of the above expression this doesn't seem to be the case!?

Note: I'm a bit out of touch with this, but as stated this is still a novel subject and as the second 'inner product' suggests imaginairy lengths, a symmetric 'outer product' might be possible though this isn't present in IR

I implemented this vector space in the 3IR-Magic-Square.zip spreadsheet. For the expert mathematician the academic question whether one can call the above defined "crossproduct" a "crossproduct", I know that in IR