MyWikiBiz, Author Your Legacy — Tuesday November 26, 2024
Jump to navigationJump to search
6 bytes removed
, 17:30, 22 June 2009
Line 3,045: |
Line 3,045: |
| 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 along the right margin. This produces the ''regular ante-representation'' of <math>S_3,\!</math> like so: | | 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 along the right margin. This produces the ''regular ante-representation'' of <math>S_3,\!</math> like so: |
| | | |
− | {| align="center" cellpadding="10" width="90%" | + | {| align="center" cellpadding="10" style="text-align:center" |
− | | align="center" |
| + | | |
| <math>\begin{array}{*{13}{c}} | | <math>\begin{array}{*{13}{c}} |
| \operatorname{e} | | \operatorname{e} |
Line 3,100: |
Line 3,100: |
| 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> on the right margin of the group operation table and considering its effects on each <math>y\!</math> in turn as these run along the left margin. This produces the ''regular post-representation'' of <math>S_3,\!</math> like so: | | 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> on the right margin of the group operation table and considering its effects on each <math>y\!</math> in turn as these run along the left margin. This produces the ''regular post-representation'' of <math>S_3,\!</math> like so: |
| | | |
− | {| align="center" cellpadding="10" width="90%" | + | {| align="center" cellpadding="10" style="text-align:center" |
− | | align="center" |
| + | | |
| <math>\begin{array}{*{13}{c}} | | <math>\begin{array}{*{13}{c}} |
| \operatorname{e} | | \operatorname{e} |