<p>Finite <i>p</i>-groups of nilpotency class 2 are treated from the perspective of central extensions. Given finite abelian groups <i>G</i>,&#xa0;<i>A</i>, we derive an explicit formula for cocycles representing elements of <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(H^2(G,A)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>H</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo>,</mo> <mi>A</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, compute <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(H^2(G,A)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>H</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo>,</mo> <mi>A</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, and describe the actions of <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\textrm{End}(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>End</mtext> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\textrm{End}(A)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>End</mtext> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(H^2(G,A)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>H</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo>,</mo> <mi>A</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. These are used to provide an efficient criterion for lifting endomorphisms of <i>G</i> to homomorphisms between two central extensions. Subsequently, we present two applications to illustrate the usefulness of this approach, in the case <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(p&gt;2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>&gt;</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>. First, we recover the classification of two-generator <i>p</i>-groups of class 2 up to isomorphism, and compute the order of the automorphism group for each isomorphism class. Second, we construct a family of nonabelian <i>p</i>-groups of order <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(p^7\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>p</mi> <mn>7</mn> </msup> </math></EquationSource> </InlineEquation> whose automorphism groups are abelian.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Finite p-Groups of Class 2 as Central Extensions

  • Haimiao Chen

摘要

Finite p-groups of nilpotency class 2 are treated from the perspective of central extensions. Given finite abelian groups GA, we derive an explicit formula for cocycles representing elements of \(H^2(G,A)\) H 2 ( G , A ) , compute \(H^2(G,A)\) H 2 ( G , A ) , and describe the actions of \(\textrm{End}(G)\) End ( G ) and \(\textrm{End}(A)\) End ( A ) on \(H^2(G,A)\) H 2 ( G , A ) . These are used to provide an efficient criterion for lifting endomorphisms of G to homomorphisms between two central extensions. Subsequently, we present two applications to illustrate the usefulness of this approach, in the case \(p>2\) p > 2 . First, we recover the classification of two-generator p-groups of class 2 up to isomorphism, and compute the order of the automorphism group for each isomorphism class. Second, we construct a family of nonabelian p-groups of order \(p^7\) p 7 whose automorphism groups are abelian.