Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/Sources/formale Sprachen/GAP/pkg/hap/www/SideLinks/About/ (Algebra von RWTH Aachen Version 4.15.1^©) Datei vom 19.6.2025 mit Größe 8 kB

Quelle aboutLie.html Sprache: HTML

products/Sources/formale Sprachen/GAP/pkg/hap/www/SideLinks/About/aboutLie.html

<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
 <meta http-equiv="content-type"
content="text/html; charset=ISO-8859-1">
 <title>AboutHap</title>
</head>
<body
style="color: rgb(0, 0, 153); background-color: rgb(204, 255, 255);"
alink="#000066" link="#000066" vlink="#000066">
 
<table
style="text-align: left; margin-left: auto; margin-right: auto; color: rgb(0, 0, 102);"
border="0" cellpadding="20" cellspacing="10">
 <tbody>
 <tr align="center">
 <th style="vertical-align: top;">
 <table style="width: 100%; text-align: left;" cellpadding="2"
cellspacing="2">
 <tbody>
 <tr>
 <td style="vertical-align: top;"><a
href="3dflatmanifolds.html">Previous</a> 
 </td>
 <td
style="text-align: center; vertical-align: top; color: rgb(0, 0, 102);"><big>About HAP: On a relationship between
group homology and Lie algebra homology 
 </big></td>
 <td style="text-align: right; vertical-align: top;"><a
href="aboutLieCovers.html">next</a> 
 </td>
 </tr>
 </tbody>
 </table>
 <big></big> 
 </th>
 </tr>
 <tr>
 <td
style="vertical-align: top; background-color: rgb(255, 255, 255); text-align: left;">The
lower central series of a group G is defined by setting G1=G
and Gn+1=[Gn,G] . Each quotient Ln(G)=Gn/Gn+1
is an abelian group. We can form the direct sum L(G) = L1(G)
+ L2(G) + ... of all the quotients Ln(G).
Commutation in G induces bilinear functions Lm(G)×Ln(G)
→ Lm+n(G) which provide L(G) with a bilinear bracket
operation [ , ]:L(G)×L(G) → L(G). This operation satisfies the
Jacobi identity, and L(G) can thus be considered as a Lie algebra. If
each quotient Ln(G) is free abelian then we take the ground
ring of L(G) to be the ring of integers. If each quotient Ln(G)
is an elementary abelian p-group then we take the ground ring of L(G)
to be the field of p-elements. We shall not consider groups for which
L(G) is neither free nor elementary abelian. 
 
The following command creates L(G) for G equal to the free nilpotent
group of class 2 on four generators. 
 </td>
 </tr>
 <tr>
 <td
style="background-color: rgb(255, 255, 204); vertical-align: top;">gap>
F:=FreeGroup(4);; G:=NilpotentQuotient(F,2);; 
gap> LG:=LowerCentralSeriesLieAlgebra(G); 
<Lie algebra of dimension 10 over Integers> 
 </td>
 </tr>
 <tr>
 <td
style="background-color: rgb(255, 255, 255); vertical-align: top;">The
following additional commands calculate the integral group homology H4(G,Z)
and the integral Lie homology H4(L(G),Z) . 
 </td>
 </tr>
 <tr>
 <td
style="background-color: rgb(255, 255, 204); vertical-align: top;">gap>
GroupHomology(G,4); 
[ 3, 3, 3, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 
 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 
 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 
 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ] 
 
gap> LieAlgebraHomology(LG,4); 
[ 3, 3, 3, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 
 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 
 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 
 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ] 
 </td>
 </tr>
 <tr>
 <td
style="text-align: left; background-color: rgb(255, 255, 255); vertical-align: top;">We
see that the group homology and Lie homology are equal. This
illustrates the following theorem in [Yu. V. Kuz'min and Yu. S.
Semenov, "On the homology of a free nilpotent group of class 2", Mat.
Sb. 189, no. 4 (1998), 49-82]. 
 
 <table
style="margin-left: auto; margin-right: auto; width: 80%; text-align: left;"
border="0" cellpadding="10" cellspacing="0">
 <tbody>
 <tr>
 <td
style="vertical-align: top; background-color: rgb(204, 255, 255);">Theorem 
 
Let G be the free nilpotent group of class 2 on a finite number of
generators. Then the integral group homology Hi(G,Z) is
isomorphic to the integral Lie algebra homology Hi(L(G),Z)
in each dimension i. 
 </td>
 </tr>
 </tbody>
 </table>
 
The following commands exhibit a torsion free nilpotent group G of
class 2 for which each quotient Ln(G) is free abelian and
for which H3(G,Z) is not isomorphic to H3(L(G),Z).
This suggests that the "free nilpotent" hypothesis in the theorem can
not be weakened. 
 </td>
 </tr>
 <tr>
 <td
style="vertical-align: top; background-color: rgb(255, 255, 204);">gap>
G:=HeisenbergPcpGroup(3);; LG:=LowerCentralSeriesLieAlgebra(G);; 
 
gap> GroupHomology(G,3); 
[ 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ] 
 
gap> LieAlgebraHomology(LG,3); 
[ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ] 
 </td>
 </tr>
 <tr>
 <td
style="vertical-align: top; background-color: rgb(255, 255, 255);">However,
extensive experimentation on free nilpotent groups of class >2
suggest that it might be possible to drop the "class 2" hypothesis of
the theorem. For example: 
 </td>
 </tr>
 <tr>
 <td
style="vertical-align: top; background-color: rgb(255, 255, 204);">gap>
F:=FreeGroup(3);; G:=NilpotentQuotient(F,3);; 
gap> LG:=LowerCentralSeriesLieAlgebra(G); 
gap> GroupHomology(G,4); #This command takes <a
href="aboutExtensions.html#time">several hours</a>!! 
[ 2, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 
 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 
 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 
 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 
 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 
 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 
 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0 ] 
 
gap> LieAlgebraHomology(LG,4); 
[ 2, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 
 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 
 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 
 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 
 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 
 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 
 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0 ] 
 </td>
 </tr>
 <tr>
 <td style="vertical-align: top;">
 <table
style="margin-left: auto; margin-right: auto; width: 100%; text-align: left;"
border="0" cellpadding="2" cellspacing="2">
 <tbody>
 <tr>
 <td style="vertical-align: top;"><a
style="color: rgb(0, 0, 102);" href="3dflatmanifolds.html">Previous
Page</a> 
 </td>
 <td style="text-align: center; vertical-align: top;"><a
href="aboutContents.html">Contents</a> 
 </td>
 <td style="text-align: right; vertical-align: top;"><a
href="aboutLieCovers.html">Next
page 
 </a> </td>
 </tr>
 </tbody>
 </table>
 <a href="aboutTopology.html"> 
 </a> </td>
 </tr>
 </tbody>
</table>
 
 
</body>
</html>

Messung V0.5

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