Home Online Manual
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.9 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

Overview:
Involution is an anti-automorphism of a non-commutative K-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. Also, linear automorphisms of different order can be computed.

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

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

Procedures:

7.7.9.0. findInvo  computes linear involutions on a basering;
7.7.9.0. findInvoDiag  computes homothetic (diagonal) involutions on a basering;
7.7.9.0. findAuto  computes linear automorphisms of order n of a basering;
7.7.9.0. ncdetection  computes an ideal, presenting an involution map on some particular noncommutative algebras;
7.7.9.0. involution  applies the involution to an object;
7.7.9.0. isInvolution  check whether a map F in an involution;
7.7.9.0. isAntiEndo  check whether a map F in an antiendomorphism.