<p>Let <i>G</i> be a group, and consider an automorphism <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation> of <i>G</i>. We call <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation> a commuting automorphism if it satisfies the condition <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\alpha (x)x= x \alpha (x)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mi>x</mi> <mo>=</mo> <mi>x</mi> <mi>α</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(x \in G\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>∈</mo> <mi>G</mi> </mrow> </math></EquationSource> </InlineEquation>. The collection of all commuting automorphisms of <i>G</i> is denoted by <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathcal {A}(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">A</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. The set <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathcal {A}(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">A</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> does not necessarily form a subgroup of the automorphism group of <i>G</i>. If <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathcal {A}(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">A</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> forms a subgroup of the automorphism group, then we say <i>G</i> is an <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathcal {A}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation>-group. Let <i>G</i> be a finite non-abelian <i>p</i>-group given by a central extension of the form:<InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(1 \rightarrow \mathbb {Z}_{p^m} \rightarrow G \rightarrow \mathbb {Z}_{p} \times \cdots \times \mathbb {Z}_{p} \rightarrow 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo stretchy="false">→</mo> <msub> <mi mathvariant="double-struck">Z</mi> <msup> <mi>p</mi> <mi>m</mi> </msup> </msub> <mo stretchy="false">→</mo> <mi>G</mi> <mo stretchy="false">→</mo> <msub> <mi mathvariant="double-struck">Z</mi> <mi>p</mi> </msub> <mo>×</mo> <mo>⋯</mo> <mo>×</mo> <msub> <mi mathvariant="double-struck">Z</mi> <mi>p</mi> </msub> <mo stretchy="false">→</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, and its commutator subgroup has order <i>p</i>. Such a group <i>G</i> is known to be a generalized central product, <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(G = E \circ A\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo>=</mo> <mi>E</mi> <mo>∘</mo> <mi>A</mi> </mrow> </math></EquationSource> </InlineEquation>, where <i>E</i> is a generalized extraspecial <i>p</i>-group and <i>A</i> is an abelian group such that <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(A = Z(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>=</mo> <mi>Z</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(E \cap A = Z(E)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>E</mi> <mo>∩</mo> <mi>A</mi> <mo>=</mo> <mi>Z</mi> <mo stretchy="false">(</mo> <mi>E</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. Let <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(|E| = p^{2n+m}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">|</mo> <mi>E</mi> <mo stretchy="false">|</mo> </mrow> <mo>=</mo> <msup> <mi>p</mi> <mrow> <mn>2</mn> <mi>n</mi> <mo>+</mo> <mi>m</mi> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(|Z(E)| = p^m\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">|</mo> <mi>Z</mi> <mrow> <mo stretchy="false">(</mo> <mi>E</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> </mrow> <mo>=</mo> <msup> <mi>p</mi> <mi>m</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(|A| = p^{m+l}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">|</mo> <mi>A</mi> <mo stretchy="false">|</mo> </mrow> <mo>=</mo> <msup> <mi>p</mi> <mrow> <mi>m</mi> <mo>+</mo> <mi>l</mi> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(n,m \ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>,</mo> <mi>m</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(l\ge 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>l</mi> <mo>≥</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. In this paper, we show that if <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(n &gt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>&gt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, then <i>G</i> is a non-<InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(\mathcal {A}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation>-group if one of the following conditions holds: (i) <InlineEquation ID="IEq20"> <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>, (ii) <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\(p=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq22"> <EquationSource Format="TEX">\(m &gt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>&gt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, (iii) <InlineEquation ID="IEq23"> <EquationSource Format="TEX">\(p=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq24"> <EquationSource Format="TEX">\(m=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq25"> <EquationSource Format="TEX">\(E\cong E_1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>E</mi> <mo>≅</mo> <msub> <mi>E</mi> <mn>1</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq26"> <EquationSource Format="TEX">\(E_1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>E</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation> is a central product of <i>n</i> copies of dihedral groups of order 8, (iv) <InlineEquation ID="IEq27"> <EquationSource Format="TEX">\(p=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq28"> <EquationSource Format="TEX">\(m=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq29"> <EquationSource Format="TEX">\(n&gt;2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>&gt;</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq30"> <EquationSource Format="TEX">\(E \cong E_2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>E</mi> <mo>≅</mo> <msub> <mi>E</mi> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq31"> <EquationSource Format="TEX">\(E_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>E</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation> is a central product of <InlineEquation ID="IEq32"> <EquationSource Format="TEX">\(n-1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>-</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> copies of dihedral groups of order 8 and a quaternion group. Additionally, if <InlineEquation ID="IEq33"> <EquationSource Format="TEX">\(n=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, then <i>G</i> is an <InlineEquation ID="IEq34"> <EquationSource Format="TEX">\(\mathcal {A}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation>-group.</p>

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

On commuting automorphisms of certain central extensions of finite p-groups

  • Pradeep Kumar

摘要

Let G be a group, and consider an automorphism \(\alpha \) α of G. We call \(\alpha \) α a commuting automorphism if it satisfies the condition \(\alpha (x)x= x \alpha (x)\) α ( x ) x = x α ( x ) for all \(x \in G\) x G . The collection of all commuting automorphisms of G is denoted by \(\mathcal {A}(G)\) A ( G ) . The set \(\mathcal {A}(G)\) A ( G ) does not necessarily form a subgroup of the automorphism group of G. If \(\mathcal {A}(G)\) A ( G ) forms a subgroup of the automorphism group, then we say G is an \(\mathcal {A}\) A -group. Let G be a finite non-abelian p-group given by a central extension of the form: \(1 \rightarrow \mathbb {Z}_{p^m} \rightarrow G \rightarrow \mathbb {Z}_{p} \times \cdots \times \mathbb {Z}_{p} \rightarrow 1\) 1 Z p m G Z p × × Z p 1 , and its commutator subgroup has order p. Such a group G is known to be a generalized central product, \(G = E \circ A\) G = E A , where E is a generalized extraspecial p-group and A is an abelian group such that \(A = Z(G)\) A = Z ( G ) and \(E \cap A = Z(E)\) E A = Z ( E ) . Let \(|E| = p^{2n+m}\) | E | = p 2 n + m , \(|Z(E)| = p^m\) | Z ( E ) | = p m and \(|A| = p^{m+l}\) | A | = p m + l , where \(n,m \ge 1\) n , m 1 and \(l\ge 0\) l 0 . In this paper, we show that if \(n >1\) n > 1 , then G is a non- \(\mathcal {A}\) A -group if one of the following conditions holds: (i) \(p>2\) p > 2 , (ii) \(p=2\) p = 2 and \(m >1\) m > 1 , (iii) \(p=2\) p = 2 , \(m=1\) m = 1 , and \(E\cong E_1\) E E 1 , where \(E_1\) E 1 is a central product of n copies of dihedral groups of order 8, (iv) \(p=2\) p = 2 , \(m=1\) m = 1 , \(n>2\) n > 2 , and \(E \cong E_2\) E E 2 , where \(E_2\) E 2 is a central product of \(n-1\) n - 1 copies of dihedral groups of order 8 and a quaternion group. Additionally, if \(n=1\) n = 1 , then G is an \(\mathcal {A}\) A -group.