| |
| | Basic Algebras |
 | | The first entry <1, i> indicates that b_1 = b_1 * a_i where a_i is the primitive idempotent in the algebra A such that P_i = A.a_i. |
 | | If the free algebra F is generated by elements a_1,..., a_t, the function assumes that a_1,..., a_s are the mutually orthogonal primitive idempotents and it creates all of the appropriate relations including a_1 +... |
 | | The first arrow (cs a) goes from node 1 to node 2, the second (cs b) from node 2 to node 1, and (cs c) from node 2 to node 3. |
| www.umich.edu /~gpcc/scs/magma/text1006.htm (1154 words) |
|