Changes

|}

|}

It is part of the definition of a group that the 3-adic relation <math>L \subseteq G^3</math> is actually a function <math>L : G \times G \to G.</math>  It is from this functional perspective that we can see an easy way to derive the two regular representations. Since we have a function of the type <math>L : G \times G \to G,</math> we can define a couple of substitution operators:

It is part of the definition of a group that the 3-adic

relation L c G^3 is actually a function L : G x G -> G.

It is from this functional perspective that we can see

an easy way to derive the two regular representations.

Since we have a function of the type L : G x G -> G,

| <math>\operatorname{Sub}(x, (\underline{~~}, y))</math> puts any specified <math>x\!</math> into the empty slot of the rheme <math>(\underline{~~}, y),</math> with the effect of producing the saturated rheme <math>(x, y)\!</math> that evaluates to <math>xy.\!</math>

|-

| <math>\operatorname{Sub}(x, (y, \underline{~~}))</math> puts any specified <math>x\!</math> into the empty slot of the rheme <math>(y, \underline{~~}),</math> with the effect of producing the saturated rheme <math>(y, x)\!</math> that evaluates to <math>yx.\!</math>

1.  Sub(x, <_, y>) puts any specified x into

In (1) we consider the effects of each <math>x\!</math> in its practical bearing on contexts of the form <math>(\underline{~~}, y),</math> as <math>y\!</math> ranges over <math>G,\!</math> and the effects are such that <math>x\!</math> takes <math>(\underline{~~}, y)</math> into <math>xy,\!</math> for <math>y\!</math> in <math>G,\!</math> all of which is notated as <math>x = \{ (y : xy) ~|~ y \in G \}.</math>  The pairs <math>(y : xy)\!</math> can be found by picking an <math>x\!</math> from the left margin of the group operation table and considering its effects on each <math>y\!</math> in turn as these run across the top margin. This aspect of pragmatic definition we recognize as the regular ante-representation:

    the empty slot of the rheme <_, y>, with

    the effect of producing the saturated

    rheme <x, y> that evaluates to xy.

2.  Sub(x, <y, _>) puts any specified x into

<math>\begin{matrix}

    rheme <y, x> that evaluates to yx.

\end{matrix}</math>

In (1), we consider the effects of each x in its

In (2) we consider the effects of each <math>x\!</math> in its practical bearing on contexts of the form <math>(y, \underline{~~}),</math> as <math>y\!</math> ranges over <math>G,\!</math> and the effects are such that <math>x\!</math> takes <math>(y, \underline{~~})</math> into <math>yx,\!</math> for <math>y\!</math> in <math>G,\!</math> all of which is notated as <math>x = \{ (y : yx) ~|~ y \in G \}.</math>  The pairs <math>(y : yx)\!</math> can be found by picking an <math>x\!</math> from the top margin of the group operation table and considering its effects on each <math>y\!</math> in turn as these run down the left margin.  This aspect of pragmatic definition we recognize as the regular post-representation:

practical bearing on contexts of the form <_, y>,

as y ranges over G, and the effects are such that

x takes <_, y> into xy, for y in G, all of which

is summarily notated as x = {<y : xy> : y in G}.

The pairs <y : xy> can be found by picking an x

from the left margin of the group operation table

and considering its effects on each y in turn as

these run across the top margin.  This aspect of

pragmatic definition we recognize as the regular

ante-representation:

  e = e:e + f:f + g:g + h:h

\operatorname{e}

& = & \operatorname{e}\!:\!\operatorname{e}

& + & \operatorname{f}\!:\!\operatorname{f}

& + & \operatorname{g}\!:\!\operatorname{g}

& + & \operatorname{h}\!:\!\operatorname{h}

& + & \operatorname{g}\!:\!\operatorname{h}

If the ante-rep looks the same as the post-rep, now that I'm writing them in the same dialect, that is because <math>V_4\!</math> is abelian (commutative), and so the two representations have the very same effects on each point of their bearing.

 

 

 

 

 

 

 

 

If the ante-rep looks the same as the post-rep,

now that I'm writing them in the same dialect,

that is because V_4 is abelian (commutative),

and so the two representations have the very

same effects on each point of their bearing.

==Note 17==

==Note 17==