Quelle preface.tex Sprache: Latech

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%W  preface.tex            UNIPOT documentation             Sergei Haller
%%
%Y  Copyright (C) 2000-2002, Sergei Haller
%Y  Arbeitsgruppe Algebra, Justus-Liebig-Universitaet Giessen
%%
%%

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\Chapter{Preface}

\indextt{Unipot}
{\Unipot} is a package for {\GAP4} \cite{GAP4}. The  version 1.0
of   this  package  was   the  content  of  my  diploma   thesis
\cite{SH2000}.

Let $U$ be a unipotent  subgroup of  a  Chevalley  group of Type
$L(K)$.  Then it is generated by  the  elements $x_r(t)$ for all
$r\in  \Phi^+,t\in K$. The roots of the underlying  root  system
$\Phi$  are  ordered  according  to  the height  function.  Each
element of  $U$ is  a product of the  root elements $x_r(t)$. By
Theorem 5.3.3 from  \cite{Car72}  each element of $U$ can  be
uniquely  written  as a product  of root  elements with roots in
increasing order. This unique form is called the canonical form.

The main  purpose  of this  package is to compute the  canonical
form of an element of the group $U$. For we have implemented the
unipotent subgroups  of Chevalley groups and  their elements  as
{\GAP} objects and  installed  some  operations  for  them.  One
method for the operation `Comm' uses the Chevalley's commutator
formula, which we have implemented, too.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\Section{Root Systems}

We  are  using  the  root  systems and  the  structure constants
available in {\GAP} from  the simple  Lie algebras. We  also are
using the same ordering of roots available in {\GAP}.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% \Section{Future of Unipot}
%
% In one of the future versions of the package {\Unipot} we plan to
% implement some other features. Here is a small list of them:
% \beginlist%unordered
% \item{--} {\GAP4.2} provides special root system objects. We should use
%           them.
% \item{--} Provide some root systems in common notations (like Carter or
%           Bourbaki).
% \item{--} Allow the user to provide his own table of structure constants.
% \item{--} Provide whole Chevalley groups as {\GAP} objects
% \item{--} Provide root subgroups
% \item{--} The elements of Chevalley groups should act on the underlying
%           simple Lie algebra as automorphisms
% \item{--} There are many known properties of the Chevalley groups and
%           their unipotent subgroups like simplicity, central series, etc.
%           Implement them.
% \endlist

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\Section{Citing Unipot}

If you  use {\Unipot} to solve a problem or publish some  result
that was partly obtained  using {\Unipot}, I would appreciate it
if you would  cite {\Unipot},  just  as you  would  cite another
paper that you used. (Below is a sample citation.) Again I would
appreciate if you could inform me about such a paper.

Specifically, please refer to:

\begintt
[Hal02] Sergei Haller. Unipot --- a system for computing with elements
        of unipotent subgroups of Chevalley groups, July 2002.
\endtt

quality100%

¤ Dauer der Verarbeitung: 0.14 Sekunden (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.