166 SCALAR VIEW OF ALGEBRAICAL SYMBOLS.
or Q4,(Q,4A) is A. And conversely, if the rule of signs be
true for Q4,vA it is true for Q,,A.
An algebra, similar to ours, requires but the following fundamental basis.
Two consecutive operations, A + B, A x B, convertible, so
that A + B = B + A and A x B = B xA, and having the second
distributive over the first as in (B C) x A = B x A + Cx A.
A scalar operation, XA, having the property
X (A x B) = XA + X>B.
One starting symbol, 0, wholly ineffective in its own operation,
so that
0+0=0, 0+A=A,
An inverse operation, seen in A - B, so that (A - B) + B = A;
and giving 0 - (0 - A) = A.
Strictly speaking, one operation and its inverse, and the
scalar function and its inverse, are sufficient for expression:
thus (XA + XB) is sufficient to express A x B. And hence
the whole system of scalar functions and starting symbols may
be deduced. But the invention of two operations, followed by
that of a scalar function, has been the order of discovery.
The formation of a symbolic system on the seven operations
of addition, subtraction, multiplication, division, involution, evolution, and formation of a logarithm, is both redundant and
unsymmetrical: but the redundancy is rich in means of expression, and the reduction to symmetry is easy to one practised
in the language of algebra as it stands. This last will be best
seen by assimilating the notation more closely to that of common
algebra. Let 0, 0,, 0, 0,,, &c., be thus defined:
0, = 1, 0, =, 0,, = s,,0, = s6, &c., or 0,, = <0.
Let n,= s, = n,, = &s, &c. or nk = kn.
Let the progressive symbols be +, +,, +,, &c. and x, x,, x,,,
&c. thus connected; x is +,, x, is +,,, &c. Then, the convertible
and distributive properties remaining, we have all theorems of
ordinary algebra holding good, when any one suffix is placed
below + x and all numerical coefficients. Thus
(a,, b) x,, (a +,, b)=a x, b,, 2,, x,, a x,, b,, bx,, b