Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 


Quelle  intro.xml   Sprache: XML

 
<Chapter Label="Intro">
<Heading>Introduction</Heading>    

<Section Label="Aims">
<Heading>General aims</Heading>

Let <M>KG</M> be a group algebra of a finite <M>p</M>-group <M>G</M>
over the field <M>K</M> of characteristic <M>p</M>, and let <M>V(KG)</M>
be the normalized unit group of <M>KG</M>. 

The pc-presentation of the group <M>V(KG)</M> 
can be computed using the &GAP; package &LAGUNA;
(<URL>https://gap-packages.github.io/laguna/</URL>), 
but for groups of orders 64 and more such computation will already 
take a lot of time. 
<P/>

The &UnitLib; package is an extension of the &LAGUNA; package that is 
focused on this problem. It contains the library of normalized unit groups
of modular group algebras of finite <M>p</M>-groups over the field
of <M>p</M> elements. This allows the user to retrieve the pre-computed
group from the library instead of the time-consuming computation. The group
created with &UnitLib; will have the same properties and attributes as
the one computed with &LAGUNA;.
<P/>
The version &UnitLib; 3.0.0 released in May 2009 also contained a parallel 
implementation of the computation of the normalized unit group of a modular
group algebra of a finite <M>p</M>-group over the field of <M>p</M> elements,
which works for groups from the &GAP; small groups library. It is developed
on the base of the sequential version of this algorithm (which works for
any <M>p</M>-group with no limitations) from the &LAGUNA; package. 
Parallelisation is implemented using the &SCSCP; package that is capable of
connecting several local or remote &GAP; instances using the &SCSCP; protocol.
<P/>
In April 2012, &UnitLib; 3.1.0 was updated to comply with &GAP; 4.5. 
<P/>
The current version of &UnitLib; provides the library of 
normalized unit groups <M>V(KG)</M> for all <M>p</M>-groups 
of order up to 243.
<P/>
If you need to work with groups of bigger orders, please write to 
the maintainers, because they may be already computed or we 
can compute them for you.
<P/>

</Section>

<Section Label="TheoryUnitlib">
<Heading>Theoretical background</Heading>

Since the &UnitLib; package is an extension of the &LAGUNA; package 
<Cite Key="Laguna"/>, we refer to the 
<Ref Label="LAGUNA package" BookName="LAGUNA"/> manual for the theoretical 
backround. In particular, Chapter 3 
(The basic theory behind &LAGUNA;) of that manual contains definitions
of the modular group algebra and its normalized unit group, the 
power-commutator presentation of the group, and also more details about the 
algorithm for the computation of the pc-presentation of the normalized unit 
group of a modular group algebra of a finite <M>p</M>-group.

</Section>


<Section Label="Install">
<Heading>Installation and system requirements</Heading>

&UnitLib; &VERSION; requires at least &GAP; 4.10. 
The libraries of normalized unit groups of groups of orders less than 243
are included in the distribution. The data for order 243 is available as
an optional download.
<P/>

Because the &UnitLib; is an extension of the &LAGUNA; package, you must
have the &LAGUNA; package installed. You can obtain it from the &GAP; 
homepage or from its homepage 
<URL>https://gap-packages.github.io/laguna/</URL>.
<P/>

To use the &UnitLib; online help it is necessary to install the &GAP;4 package 
&GAPDoc; by Frank Lübeck and Max Neunhöffer, which is available from the 
&GAP; homepage or from 
<URL>http://www.math.rwth-aachen.de/˜Frank.Luebeck/GAPDoc/</URL>.
<P/> 

&UnitLib; is distributed in standard formats
(<File>tar.gz</File>, <File>tar.bz2</File>, <File>.zip</File>,
<File>-win.zip</File>) and can be obtained from the &GAP; homepage or from 
<URL>https://gap-packages.github.io/unitlib/</URL>.
To install &UnitLib;, unpack its archive into the <File>pkg</File> 
subdirectory of your &GAP; installation. When you don't have access
to the directory of your main &GAP; installation, you can also install 
the package <E>outside the &GAP; main directory</E>
by unpacking it inside a directory <File>MYGAPDIR/pkg</File>. 
Then to be able to load &UnitLib; you need to call &GAP; with the 
<C>-l ";MYGAPDIR"</C> option.
<P/>

</Section>

</Chapter>

95%


¤ Dauer der Verarbeitung: 0.14 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland






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.






                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Software

     Produkte
     Quellcodebibliothek

Aktivitäten

     Artikel über Sicherheit
     Anleitung zur Aktivierung von SSL

Muße

     Gedichte
     Musik
     Bilder

Jenseits des Üblichen ....

Besucherstatistik

Besucherstatistik

Monitoring

Montastic status badge