On a conjecture of I. N. Herstein (Q1063092): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q123132904, #quickstatements; #temporary_batch_1705061695205 |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Q1063091 / rank | |||
Property / author | |||
Property / author: Maurice J. Chacron / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Invariant subrings of a certain kind / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5331572 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 18:42, 14 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On a conjecture of I. N. Herstein |
scientific article |
Statements
On a conjecture of I. N. Herstein (English)
0 references
1985
0 references
A conjecture of I. N. Herstein is that there is a domain R with Jacobson radical J(R)\(\neq 0\) and a noncentral subring A of R invariant under conjugation by the (formal) units \(1+x\), for all \(x\in J(R)\), so that A does not contain a nonzero ideal of R [\textit{I. N. Herstein}, J. Algebra 60, 567-574 (1979; Zbl 0436.16014)]. In this paper the author presents a nice example which verifies this conjecture. It is an open question as to whether the conclusion of the conjecture holds if R is a prime ring with zero divisors. The example can be obtained by considering the twisted power series ring \(R=F[[ y;T]]\), where \(F=Q\ll x\gg\) is the field of (finite) Laurent series with rational coefficients, and T is the automorphism of F induced from \(T(x)=2x\). The invariant subring A of R consists of those elements in R whose first nonzero coefficient \(f_ M=\sum q_ ix^ i\) has its first nonzero coefficient \(q_ N\) satisfy \(N\geq 0\). The verification of the example involves viewing R and A as arising from certain valuations on the quotient division ring \(D=F\ll y;T\gg\) of R.
0 references
domain
0 references
Jacobson radical
0 references
noncentral subring
0 references
twisted power series ring
0 references
Laurent series with rational coefficients
0 references