Top
Back: ademRelations
Forward: findInvo
FastBack: freegb_lib
FastForward: gkdim_lib
Up: Non-commutative libraries
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

7.7.6 involut_lib

Library:
involut.lib
Purpose:
Computations and operations with involutions
Authors:
Oleksandr Iena, yena@mathematik.uni-kl.de,
Markus Becker, mbecker@mathematik.uni-kl.de,
Viktor Levandovskyy, levandov@mathematik.uni-kl.de

Theory:
Involution is an anti-isomorphism of a noncommutative algebra with the property that applied an involution twice, one gets an identity. Involution is linear with respect to the ground field. In this library we compute linear involutions, distinguishing the case of a diagonal matrix (such involutions are called homothetic) and a general one.

Support:
Forschungsschwerpunkt 'Mathematik und Praxis' (Project of Dr. E. Zerz and V. Levandovskyy), Uni Kaiserslautern

Note:
This library provides algebraic tools for computations and operations with algebraic involutions and linear automorphisms of non-commutative algebras

Procedures:

7.7.6.0. findInvo  computes linear involutions on a basering;
7.7.6.0. findInvoDiag  computes homothetic (diagonal) involutions on a basering;
7.7.6.0. findAuto  computes linear automorphisms of a basering;
7.7.6.0. ncdetection  computes an ideal, presenting an involution map on some particular noncommutative algebras;
7.7.6.0. involution  applies the involution to an object.


Top Back: ademRelations Forward: findInvo FastBack: freegb_lib FastForward: gkdim_lib Up: Non-commutative libraries Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-1, Feb 2010, generated by texi2html.