|
7.2.7.2 ring operations (plural)
+
- construct a tensor product
of two
over the ground field. Let, e.g.,
be two
-algebras, then
is defined to be the algebra
Concerning the ground fields
resp.
of
resp.
, take the
following guidelines for
into consideration:
- Neither
nor
may be
or
.
- If the characteristic of
and
differs, then one of them must be
.
- At most one of
and
may have parameters.
- If one of
and
is an algebraic extension of
it may not be defined by a
charstr of type (p^n,a) .
One can create a ring using ring(list) , see also ringlist .
Example:
|