Changes

==Note 15==

==Note 15==

In Peirce's time, and even in some circles of mathematics today, the information indicated by the elementary relatives <math>(i\!:\!j),</math> as <math>i, j\!</math> range over the universe of discourse, would be referred to as the ''umbral elements'' of the algebraic operation represented by the matrix, though I seem to recall that Peirce preferred to call these terms the "ingredients".  When this ordered basis is understood well enough, one will tend to drop any mention of it from the matrix itself, leaving us nothing but these bare bones:

In Peirce's time, and even in some circles of mathematics today, the information indicated by the elementary relatives <math>(i\!:\!j),</math> as the indices <math>i, j\!</math> range over the universe of discourse, would be referred to as the ''umbral elements'' of the algebraic operation represented by the matrix, though I seem to recall that Peirce preferred to call these terms the "ingredients".  When this ordered basis is understood well enough, one will tend to drop any mention of it from the matrix itself, leaving us nothing but these bare bones:

{| align="center" cellpadding="6" width="90%"

{| align="center" cellpadding="6" width="90%"

|}

|}

Recognizing that <math>a\!:\!a + b\!:\!b + c\!:\!c</math> is the identity transformation otherwise known as <math>\mathit{1},</math> the 2-adic relative term <math>m = {}^{\backprime\backprime}\, \text{marker for}\, \underline{~~~~}\, {}^{\prime\prime}</math> can be parsed as an element <math>\mathit{1} + a\!:\!b + b\!:\!c + c\!:\!a</math> of the so-called ''group ring'', all of which makes this element just a special sort of linear transformation.

Recognizing that <math>a\!:\!a + b\!:\!b + c\!:\!c</math> is the identity transformation otherwise known as <math>\mathit{1},\!</math> the 2-adic relative term <math>m = {}^{\backprime\backprime}\, \text{marker for}\, \underline{~~~~}\, {}^{\prime\prime}</math> can be parsed as an element <math>\mathit{1} + a\!:\!b + b\!:\!c + c\!:\!a</math> of the so-called ''group ring'', all of which makes this element just a special sort of linear transformation.

Up to this point, we are still reading the elementary relatives of the form <math>i\!:\!j</math> in the way that Peirce reads them in logical contexts:  <math>i\!</math> is the relate, <math>j\!</math> is the correlate, and in our current example we read <math>i\!:\!j,</math> or more exactly, <math>m_{ij} = 1,\!</math> to say that <math>i\!</math> is a marker for <math>j.\!</math>  This is the mode of reading that we call "multiplying on the left".

Up to this point, we are still reading the elementary relatives of the form <math>i\!:\!j</math> in the way that Peirce read them in logical contexts:  <math>i\!</math> is the relate, <math>j\!</math> is the correlate, and in our current example <math>i\!:\!j,</math> or more exactly, <math>m_{ij} = 1,\!</math> is taken to say that <math>i\!</math> is a marker for <math>j.\!</math>  This is the mode of reading that we call "multiplying on the left".

<pre>

<pre>