Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/GAP/src/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 18.9.2025 mit Größe 32 kB image not shown  

SSL abstract.xml   Sprache: XML

 
<!-- #################################################################### -->
<!-- ##                                                                ## -->
<!-- ##  abstract.xml         RCWA documentation          Stefan Kohl  ## -->
<!-- ##                                                                ## -->
<!-- #################################################################### -->

&RCWA; is a package for &GAP; 4. It provides implementations of
algorithms and methods for computing in certain infinite permutation groups
acting on the set of integers. This package can be used to investigate the
following types of groups and many more:

<List>

  <Item>
    Finite groups, and certain divisible torsion groups which they
    embed into.
  </Item>

  <Item>
    Free groups of finite rank.
  </Item>

  <Item>
    Free products of finitely many finite groups.
  </Item>

  <Item>
    Direct products of the above groups.
  </Item>

  <Item>
    Wreath products of the above groups with finite groups and
    with (&ZZ;,+).
  </Item>

  <Item>
    Subgroups of any such groups.
  </Item>

</List>

With the help of this package, the author has found a countable simple
group which is generated by involutions interchanging disjoint residue
classes of &ZZ; and which all the above groups embed into --
see <Cite Key="Kohl09"/>. <P/>

<!-- #################################################################### -->

94%


¤ Dauer der Verarbeitung: 0.15 Sekunden  (vorverarbeitet)  ¤

*Bot Zugriff






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.