Top
Back: inCentralizer
Forward: findInvo
FastBack: center_lib
FastForward: gkdim_lib
Up: PLURAL libraries
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

7.5.2 involut_lib

Library:
involut.lib
Purpose:
Procedures for 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 antiisomorphism 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 noncommutative algebras

Procedures:

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


Top Back: inCentralizer Forward: findInvo FastBack: center_lib FastForward: gkdim_lib Up: PLURAL libraries Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-0-1, October 2005, generated by texi2html.