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


Impressum chap2.html   Sprache: HTML

 
 products/sources/formale Sprachen/GAP/pkg/smallclassnr/doc/chap2.html


<?xml version="1.0" encoding="UTF-8"?>

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
         "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">

<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<title>GAP (SmallClassNr) - Chapter 2: Classification</title>
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
<meta name="generator" content="GAPDoc2HTML" />
<link rel="stylesheet" type="text/css" href="manual.css" />
<script src="manual.js" type="text/javascript"></script>
<script type="text/javascript">overwriteStyle();</script>
</head>
<body class="chap2"  onload="jscontent()">


<div class="chlinktop"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a>  <a href="chap1.html">1</a>  <a href="chap2.html">2</a>  <a href="chap3.html">3</a>  <a href="chapBib.html">Bib</a>  <a href="chapInd.html">Ind</a>  </div>

<div class="chlinkprevnexttop"> <a href="chap0.html">[Top of Book]</a>   <a href="chap0.html#contents">[Contents]</a>    <a href="chap1.html">[Previous Chapter]</a>    <a href="chap3.html">[Next Chapter]</a>   </div>

<p id="mathjaxlink" class="pcenter"><a href="chap2_mj.html">[MathJax on]</a></p>
<p><a id="X8053C9E57C4C5F94" name="X8053C9E57C4C5F94"></a></p>
<div class="ChapSects"><a href="chap2.html#X8053C9E57C4C5F94">2 <span class="Heading">Classification</span></a>
</div>

<h3>2 <span class="Heading">Classification</span></h3>

<p>The <em>class number</em> <span class="Math">k(G)</span> of a group <span class="Math">G</span> is the number of conjugacy classes of <span class="Math">G</span>. In 1903, Landau proved in <a href="chapBib.html#biBland03-a">[Lan03]</a> that for every <span class="Math">n \in \mathbb{N}</span>, there are only finitely many finite groups with exactly <span class="Math">n</span> conjugacy classes. The <strong class="pkg">SmallClassNr</strong> package provides access to the finite groups with class number at most <span class="Math">14</span>.</p>

<p>These groups were classified in the following papers:</p>


<ul>
<li><p><span class="Math">k(G) \leq 5</span>, by Miller in <a href="chapBib.html#biBmill11-a">[Mil11]</a> and independently by Burnside in <a href="chapBib.html#biBburn11-a">[Bur11]</a></p>

</li>
<li><p><span class="Math">k(G) = 6,7</span>, by Poland in <a href="chapBib.html#biBpola68-a">[Pol68]</a></p>

</li>
<li><p><span class="Math">k(G) = 8</span>, by Kosvintsev in <a href="chapBib.html#biBkosv74-a">[Kos74]</a></p>

</li>
<li><p><span class="Math">k(G) = 9</span>, by Odincov and Starostin in <a href="chapBib.html#biBos76-a">[OS76]</a></p>

</li>
<li><p><span class="Math">k(G) = 10,11</span>, by Vera López and Vera López in <a href="chapBib.html#biBll85-a">[VLVL85]</a> (1)</p>

</li>
<li><p><span class="Math">k(G) = 12</span>, by Vera López and Vera López in <a href="chapBib.html#biBll86-a">[VLVL86]</a> (2)</p>

</li>
<li><p><span class="Math">k(G) = 13, 14</span>, by Vera López and Sangroniz in <a href="chapBib.html#biBvs07-a">[VLS07]</a></p>

</li>
</ul>
<p>(1) In <a href="chapBib.html#biBll85-a">[VLVL85]</a>, three distinct groups of the form <span class="Math">(C_5 \times C_5) \rtimes C_4</span> order <span class="Math">100</span> with class number <span class="Math">10</span> are given. However, only two such groups exist, being the ones with <code class="code">IdClassNr</code> equal to <code class="code">[10,25]</code> and <code class="code">[10,26]</code>.</p>

<p>(2) In <a href="chapBib.html#biBll86-a">[VLVL86]</a>, only 48 groups with class number 12 are listed. The three missing groups are provided in the appendix of <a href="chapBib.html#biBvs07-a">[VLS07]</a>. These are the groups with <code class="code">IdClassNr</code> equal to <code class="code">[12,13]</code>, <code class="code">[12,16]</code> and <code class="code">[12,39]</code>.</p>


<div class="chlinkprevnextbot"> <a href="chap0.html">[Top of Book]</a>   <a href="chap0.html#contents">[Contents]</a>    <a href="chap1.html">[Previous Chapter]</a>    <a href="chap3.html">[Next Chapter]</a>   </div>


<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a>  <a href="chap1.html">1</a>  <a href="chap2.html">2</a>  <a href="chap3.html">3</a>  <a href="chapBib.html">Bib</a>  <a href="chapInd.html">Ind</a>  </div>

<hr />
<p class="foot">generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
</body>
</html>

100%


¤ Dauer der Verarbeitung: 0.19 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