Top
Back: ring declarations
Forward: ring related functions
FastBack: resolution
FastForward: Functions
Up: ring
Top: Plural Manual
Contents: Table of Contents
Index: Index
About: About this document

2.7.2 ring operations

+
construct an algebra $C = A\otimes_{\bf {K} } B$for two $G$-algebras.

Let

$A= k_1 \langle x_1, \ldots ,x_n \mid$ $\{ x_j x_i=c^1_{ij} \cdot x_i x_j + d^1_{ij}\}, 1 \leq i <j \leq n \rangle$, and $B= k_2 \langle y_1, \ldots ,y_m \mid$ $\{ y_j y_i=c^2_{ij} \cdot y_i y_j + d^2_{ij}\}, 1 \leq i <j \leq m \rangle$

be two G-algebras, then C is defined to be the algebra

$C = K \langle x_1, \ldots ,x_n, y_1, \ldots ,y_m \mid$ $\{ x_j x_i=c^1_{ij} \cdot x_i x_j + d^1_{ij}, 1 \leq i <j \leq n\}$, $\{ y_j y_i=c^2_{ij} \cdot y_i y_j + d^2_{ij}, 1 \leq i <j \leq m\}$, $\{ y_j x_i = x_i y_j, 1 \leq j \leq m, 1 \leq i \leq n\} \rangle$.

Concerning the ground fields $k_1$ and $k_2$ take the following guide lines into consideration:

  • Neither $k_1$ nor $k_2$ may be $R$ or $C$.
  • If the characteristic of $k_1$ and $k_2$ differs, then one of them must be $Q$.
  • At most one of $k_1$ and $k_2$ may have parameters.
  • If one of $k_1$ and $k_2$ is an algebraic extension of $Z/p$ it may not be defined by a charstr of type (p^n,a).

Example:
 
LIB "ncalg.lib";
def a = sl2();       // U(sl_2) in e,f,h presentation
ring W = 0,(x,d),dp;
Weyl();              // 1st Weyl algebra in x,d
def S = a+W;
setring S;
S;
==> //   characteristic : 0
==> //   number of vars : 5
==> //        block   1 : ordering dp
==> //                  : names    e f h 
==> //        block   2 : ordering dp
==> //                  : names    x d 
==> //        block   3 : ordering C
==> //   noncommutative relations:
==> //    fe=ef-h
==> //    he=eh+2e
==> //    hf=fh-2f
==> //    dx=xd+1


Top Back: ring declarations Forward: ring related functions FastBack: resolution FastForward: Functions Up: ring Top: Plural Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 2-1-99, August 2004, generated by texi2html.