Subnormal subgroups in division rings with generalized power central group identities. (Q267040): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
Let \(D\) be an associative division ring with centre \(F\), and let \(D^*\) and \(F^*\) be the multiplicative groups of \(D\) and \(F\), respectively. The paper under review shows that if the field \(F\) is uncountable or \(D\) is finite-dimensional as an algebra over \(F\), then \(F^*\) includes every subnormal subgroup of \(D^*\), which satisfies a nontrivial generalized power central group identity. This proves Herstein's conjecture in the special case where \(D\) is finite-dimensional over \(F\) (and, more generally, when \(D\) is a locally PI division ring). \textit{I. N. Herstein}'s conjecture [posed in Isr. J. Math. 31, 180-188 (1978; Zbl 0394.16015)] states that every element \(a\in D^*\) satisfying the condition that \((axa^{-1}x^{-1})^{n(x)}\in F^*\), for all \(x\in D^*\) must be central, i.e. \(a\in F^*\). The conjecture has been proved, under the extra hypothesis that \(F\) is uncountable, by \textit{I. N. Herstein} (in zero characteristic), and by \textit{K. Chiba}, for an arbitrary characteristic [see Bull. Aust. Math. Soc. 49, No. 1, 85-90 (1994; Zbl 0801.16017); Rend. Circ. Mat. Palermo, II. Ser. 29, 485-489 (1980; Zbl 0474.16011), respectively]. As shown in the paper under review, the conclusion of Herstein's conjecture holds, for \(D\) locally PI, if \(a\) satisfies its condition when \(x\) runs across a noncentral subnormal subgroup \(N\) of \(D^*\). | |||
Property / review text: Let \(D\) be an associative division ring with centre \(F\), and let \(D^*\) and \(F^*\) be the multiplicative groups of \(D\) and \(F\), respectively. The paper under review shows that if the field \(F\) is uncountable or \(D\) is finite-dimensional as an algebra over \(F\), then \(F^*\) includes every subnormal subgroup of \(D^*\), which satisfies a nontrivial generalized power central group identity. This proves Herstein's conjecture in the special case where \(D\) is finite-dimensional over \(F\) (and, more generally, when \(D\) is a locally PI division ring). \textit{I. N. Herstein}'s conjecture [posed in Isr. J. Math. 31, 180-188 (1978; Zbl 0394.16015)] states that every element \(a\in D^*\) satisfying the condition that \((axa^{-1}x^{-1})^{n(x)}\in F^*\), for all \(x\in D^*\) must be central, i.e. \(a\in F^*\). The conjecture has been proved, under the extra hypothesis that \(F\) is uncountable, by \textit{I. N. Herstein} (in zero characteristic), and by \textit{K. Chiba}, for an arbitrary characteristic [see Bull. Aust. Math. Soc. 49, No. 1, 85-90 (1994; Zbl 0801.16017); Rend. Circ. Mat. Palermo, II. Ser. 29, 485-489 (1980; Zbl 0474.16011), respectively]. As shown in the paper under review, the conclusion of Herstein's conjecture holds, for \(D\) locally PI, if \(a\) satisfies its condition when \(x\) runs across a noncentral subnormal subgroup \(N\) of \(D^*\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Ivan D. Chipchakov / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16U60 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16K40 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16R50 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20E15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16K20 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6566378 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
multiplicative groups of division rings | |||
Property / zbMATH Keywords: multiplicative groups of division rings / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
subnormal subgroups | |||
Property / zbMATH Keywords: subnormal subgroups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
power central identities | |||
Property / zbMATH Keywords: power central identities / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
generalized group identities | |||
Property / zbMATH Keywords: generalized group identities / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Herstein conjecture | |||
Property / zbMATH Keywords: Herstein conjecture / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
locally PI division rings | |||
Property / zbMATH Keywords: locally PI division rings / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
finite-dimensional division rings | |||
Property / zbMATH Keywords: finite-dimensional division rings / rank | |||
Normal rank |
Revision as of 15:41, 27 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Subnormal subgroups in division rings with generalized power central group identities. |
scientific article |
Statements
Subnormal subgroups in division rings with generalized power central group identities. (English)
0 references
7 April 2016
0 references
Let \(D\) be an associative division ring with centre \(F\), and let \(D^*\) and \(F^*\) be the multiplicative groups of \(D\) and \(F\), respectively. The paper under review shows that if the field \(F\) is uncountable or \(D\) is finite-dimensional as an algebra over \(F\), then \(F^*\) includes every subnormal subgroup of \(D^*\), which satisfies a nontrivial generalized power central group identity. This proves Herstein's conjecture in the special case where \(D\) is finite-dimensional over \(F\) (and, more generally, when \(D\) is a locally PI division ring). \textit{I. N. Herstein}'s conjecture [posed in Isr. J. Math. 31, 180-188 (1978; Zbl 0394.16015)] states that every element \(a\in D^*\) satisfying the condition that \((axa^{-1}x^{-1})^{n(x)}\in F^*\), for all \(x\in D^*\) must be central, i.e. \(a\in F^*\). The conjecture has been proved, under the extra hypothesis that \(F\) is uncountable, by \textit{I. N. Herstein} (in zero characteristic), and by \textit{K. Chiba}, for an arbitrary characteristic [see Bull. Aust. Math. Soc. 49, No. 1, 85-90 (1994; Zbl 0801.16017); Rend. Circ. Mat. Palermo, II. Ser. 29, 485-489 (1980; Zbl 0474.16011), respectively]. As shown in the paper under review, the conclusion of Herstein's conjecture holds, for \(D\) locally PI, if \(a\) satisfies its condition when \(x\) runs across a noncentral subnormal subgroup \(N\) of \(D^*\).
0 references
multiplicative groups of division rings
0 references
subnormal subgroups
0 references
power central identities
0 references
generalized group identities
0 references
Herstein conjecture
0 references
locally PI division rings
0 references
finite-dimensional division rings
0 references