BULL. AUSTRAL. MATH. SOC. I6A76VOL.

BULL. AUSTRAL. MATH. SOC. I6A76
VOL. 9 (1973), 33-42.
Embedding near domains
J.A. Graves and J.J. Malone
A class of near rings which generalizes the class of integral
domains is defined. The definition of near domain is derived
from the desirability of embedding near domains in near fields.
The near domains presented here are shown to contain the D-rings
of Berman and Siverman.
1. Near domains
We take integral domain to mean a commutative ring having no divisors
of zero. Near rings with no zero divisors have been considered by Ligh and
Malone [8], Clay [3] and Ferrero [4]. Ligh and Malone studied the
properties of finite near rings having in one case no zero divisors and in
another a finite number of zero divisors . Their work was not an attempt to
generalize the concept of integral domain. Clay [3] called a near ring
without divisors of zero a near integral domain but as he stated his
definition was for the want of a better name. The main object of his note
was the statement of the conjecture that, except for certain trivial cases,
such a system having finite characteristic must have prime characteristic.
This conjecture was later disproved by Ferrero [4]. Thus the absence of
zero divisors does not enhance the structure of a near ring to the extent
one might expect.
THEOREM 1.1. Let R be a near ring satisfying the right
canoe I la tion law.
(i) For all a £ R , Oa = aO = 0 .
(ii) R has no (proper) zero divisors,
(iii) The left cancellation law holds in R .
Received 12 February 1973-
33
34 J.A. Graves and J . J . Ma I one
Proof. If a # 0 and Oa = b * 0 , then b = bb or Ob = Obb so
that 0 = Ob and 0 = Ocz . If ab = 0 , b t 0 , then ab = Ob and
a = 0 . If ab = aa , a t 0 , then a(fc-e) = 0 and b = a . //
Ore has shown in [7 2] that, given a non-commutative ring having no
proper divisors of zero, a necessary and sufficient condition for the ring
to have a constructible division ring of quotients is that each pair of
non-zero elements has a left (or right) common multiple.
DEFINITION 1.2. A near ring' R is said to satisfy the left (right)
Ore condition if for all a t 0 , H 0 ( S , there exist s t 0 ,
t # 0 € R such that sa = tb (as = bt) .
DEFINITION 1.3. A (left) near domain is a (left) near ring D
satisfying the left Ore condition and the right cancellation law.
The usual proof that a finite integral domain is a field depends,
essentially, only on right cancellation and may be used to establish:
THEOREM 1.4. If R is a finite near ring for which the right
cancellation law holds* then R is a near field.
It can be shown that finite cannot be omitted from the hypothesis of
Theorem l.U. Let G be an additively written free group on two generators
x and y and for each non-negative integer n define T : G •*• G by
h(x, y)T = h{nx, ny) , for a l l h(x, y) € G . Let R be the near ring
generated additively by the T . McQuarrie [9] shows that R is a
distributively generated near ring with identity and Graves [5] shows that
R has the right cancellation property but satisfies neither the right nor
the left Ore condition.
By Theorem l.U, right cancellation implies the left Ore condition
(when R is finite). The near ring given as 2.5, 26) in [2] shows that
the converse does not hold.
THEOREM . 1 . 5 . A near domain R satisfying the descending chain
condition on principal R-subgroups is a near field.
Proof. Li gh [7] has shown that a near ring satisfying the descending
chain condition on principal i?-subgroups and having no zero divisors must
contain a left identity and moreover, if the left identity is unique, then
if is a near field. We have shown right cancellation implies no zero
Embedding near domains 35
divisors. Hence an application of Ligh's result yields e € R such that
er = r , for all r (. R . If a * 0 € i? , we have for each x € R ,
xea = xa which implies xe = x . Hence e is the unique identity and, by
Ligh's result, R is a near field. //
2. Near rings of quotients
In this section we show that a near domain may be embedded in a near
field and deduce some of the consequences of this embedding. Maxson [ H ]
has defined near rings of quotients and stated conditions for a near ring
to have a near ring of quotients. We generalize to the case of near rings
of quotients with respect to a multiplicative set.
DEFINITION 2.1. Let R be a near ring and S a multiplicative set
in fl . We say R satisfies the left Ore condition with respect to S if
for each (s, r) € S x R there exists (s., r ) € S x R such that
s.r = r s .
DEFINITION 2.2. Let S be a multiplicative set in a near ring R .
A near ring R^ is called a near ring of left quotients of R with
respect to S if
( i ) Rg has an identity 1 ,
( i i ) there exists an embedding (monomorphism) $ : R "* RQ ,
( i i i ) for each s (. S , $(s) is a unit in Rg ,
(iv) every q t R^ can be expressed as q = [4>(s)]~ [^Cr)] ,
{8, r) € S x R .
THEOREM 2.3. Let S t P be a multiplicative set of (both left and
right) cancellable elements in a (left) near ring R . Then a near ring of
left quotients of R with respect to S exists if and only if R
satisfies the left Ore condition with respect to S .
Proof. Suppose Ro ' exists. Then by the definition of Rc there
exists $ : R •* Rs embedding R into Rs . For each (s, r) € S x R ,
the product [$(r) ][$(s) ]~ in Rs is expressible as
36 J.A. Graves and J .J . Malone
[•(rOn-Ms)]"1 = [*(s1)]~1[*(r1)] , for some [a^ rj I S * R . But then
[$(s )] [*(r)] = [$(r ) ] [ * ( s ) ] implies s r = r s since $ is a monomorphism.
To show the converse we construct R = 0 , for if v € R , $(r) = er/e = 0/e - eO/e implies
er = eO and so r = 0 . Thus 4> is a monomorphism embedding i? into
*5 •
For all s (. S , $(

ผลลัพธ์ (ไทย) 1:

วัว โทน นี้ คณิตศาสตร์ SOC. I6A76ฉบับ 9 (1973), 33-42ฝังใกล้กับโดเมนเจเอสุสานและ J.J. มาโลนชั้นใกล้วงแหวนซึ่ง generalizes ชั้นตั้งมีกำหนดโดเมน ความหมายของโดเมนที่ใกล้จะมาจากปรารถนาของการฝังใกล้กับโดเมนในเขตใกล้แสดงโดเมนใกล้แสดงนี่มี D-วงแหวนของ Berman และ Siverman1 โดเมนใกล้เราจะตั้งให้แหวนสลับมีหารไม่มีความหมาย โดเมนศูนย์ การพิจารณา โดยแแหวนใกล้กับหารไม่เป็นศูนย์ และมาโลน [8], ดิน [3] และรอ [4] แและมาโลนศึกษาการคุณสมบัติของมีจำกัด ใกล้วงแหวนที่มีในกรณีหนึ่งหารไม่เป็นศูนย์ และในอีกศูนย์หารจำนวนจำกัด การทำงานไม่ใช่ความพยายามทั่วไปแนวคิดของโดเมนที่ตั้ง เรียกว่าวงแหวนใกล้ดิน [3]โดยไม่ต้องหารศูนย์โดตั้งใกล้แต่ตามเขาของเขานิยามได้สำหรับต้องชื่อดีกว่า วัตถุประสงค์หลักของหมายเหตุของเขาเป็นคำสั่งของข้อความคาดการณ์นั้น ยกเว้นบางกรณีเล็ก ๆ น้อย ๆระบบดังกล่าวมีลักษณะที่แน่นอนต้องมีลักษณะสำคัญข้อความคาดการณ์นี้ถูกภายหลังดำรง โดยรอ [4] ดังนั้นการขาดงานของศูนย์หารเสริมโครงสร้างของวงแหวนใกล้ขอบเขตหนึ่งอาจคาดหวังทฤษฎีบทที่ 1.1 ให้ R เป็นแหวนใกล้ตรงด้านขวาพายเรือแคนูฉันลากฎหมายทางการค้า(i) สำหรับทั้งหมด£ R, Oa =อ่าว = 0(ii) R (เฉพาะ) ไม่มีศูนย์หาร(iii) กฎหมายยกเลิกซ้ายถือใน Rได้รับ 12 1973 กุมภาพันธ์-33หลุมฝังศพของเจเอ 34 และ J เจ Ma ผมหนึ่งหลักฐาน ถ้า#0 และ Oa = b * 0 แล้ว b =บีบีหรือ Ob = Obb ดังนั้นที่ 0 = Ob และ 0 = Ocz ถ้า ab = 0, b t 0 แล้ว ab = Ob และมี = 0 ถ้า ab = aa, t 0 แล้ว a(fc-e) = 0 และ b =การ //แร่ได้แสดงใน [7 2] ว่า ให้แหวนไม่สลับมีไม่มีหารที่เหมาะสมของศูนย์ เงื่อนไขจำเป็น และเพียงพอสำหรับวงแหวนมีแหวนแผนกสร้างได้ของ quotients ว่าแต่ละคู่องค์ประกอบที่ไม่ใช่ศูนย์มีหลายทั่วไปไปทางซ้าย (หรือขวา)นิยาม 1.2 วงแหวนใกล้ ' R กล่าวว่า ความพึงพอใจด้านซ้าย (ขวา)แร่ เงื่อนไขถ้าสำหรับ t ทั้งหมดเป็น 0, H 0 (S มี s t 0t #0 เช่น R € sa ที่ = tb (ตาม =บาท)นิยาม 1.3 (ซ้าย) ใกล้กับโดเมนคือ (ซ้าย) ใกล้วงแหวน Dความพึงพอใจสภาพแร่ซ้ายและขวาการยกเลิกกฎหมายขึ้นอยู่กับหลักฐานปกติโดเมนตั้งจำกัดเขตหลัก เฉพาะบนขวาเลิก และอาจถูกใช้เพื่อสร้าง:ทฤษฎีบทที่ 1.4 ถ้า R มีจำกัดใกล้วงแหวนที่ด้านขวาการยกเลิกกฎหมายถือ * แล้ว R คือ เขตที่ใกล้สามารถแสดงจำกัดที่ไม่สามารถตัดออกจากสมมติฐานของทฤษฎีบท l.U. ให้ G เป็นกลุ่มฟรีการเขียนตรงบนทั้งสองx และ y และกำหนดสำหรับแต่ละจำนวนเต็มไม่เป็นลบ n T: G • * • G โดยh (x, y) T = h { nx, ny), สำหรับการ l l h (x, y) € G ให้ R เป็นวงแหวนใกล้สร้างขึ้นตรง โดย T McQuarrie [9] แสดงว่า R มีdistributively สร้างใกล้วงแหวนที่มีตัวตน และหลุมฝังศพ [5] แสดงให้เห็นว่าR มีคุณสมบัติขวายก แต่ขวาไม่ตอบสนอง หรือสภาพแร่ซ้ายโดยทฤษฎีบท l.U ขวายกหมายถึงแร่สภาพซ้าย(เมื่อ R คือมีจำกัด) วงแหวนใกล้เป็น 2.5, 26) [2] แสดงที่สนทนาไม่ได้ถือทฤษฎีบท 1 5 โดเมนใกล้ R พอโซ่เรียงเงื่อนไขในหลัก R-กลุ่มเป็นเขตใกล้หลักฐาน Li gh [7] ได้แสดงที่วงแหวนใกล้พอที่จากมากไปน้อยเชนเงื่อนไขหลักที่ฉันหรือไม่-กลุ่มย่อยและมีหารไม่เป็นศูนย์ประกอบด้วยตัวซ้าย และนอกจาก นี้ ถ้าตัวซ้ายไม่ซ้ำกัน แล้วถ้าเป็นเขตใกล้ เราได้แสดงขวายกเลิกหมายถึงการไม่มีศูนย์ฝังใกล้โดเมน 35หาร ดังนั้น การประยุกต์ผลของแผลผลิต e € R ซึ่งเอ้อ = r, r ทั้งหมด ( R ถ้ามี * 0 € ฉัน ต้องการสำหรับแต่ละ x € Rxea = xa ถึง xe = x ดังนั้น e เป็นเอกลักษณ์เฉพาะ และ โดยผลของแ R คือ เขตที่ใกล้ //2. ใกล้วงแหวน quotientsในส่วนนี้ เราแสดงว่า โดเมนที่ใกล้อยู่ในใกล้ฟิลด์ และ deduce บางส่วนของผลกระทบของการนี้ฝัง Maxson [H]มีกำหนดใกล้วงแหวนของ quotients และระบุเงื่อนไขสำหรับแหวนใกล้มีของ quotients แหวนใกล้ เราทั่วไปตัวเรือนของแหวนใกล้ของ quotients เกี่ยวกับชุดคูณนิยาม 2.1 ให้ R เป็นแหวนใกล้และ S ชุดคูณในชั้น เราบอกว่า R ตรงสภาพแร่ซ้ายเกี่ยวกับ S ถ้าสำหรับแต่ละ (s, r) € S x R มีอยู่ (s., r) € S x R ซึ่งs.r = r sนิยาม 2.2 ให้ S เป็นชุดคูณในแหวนใกล้ Rใกล้วงแหวน R ^ เรียกว่าวงแหวนใกล้ของ quotients ซ้ายของอาร์เคารพ S ถ้า(i) Rg มีรหัสประจำตัว 1(ฉันฉัน) มี$ (monomorphism) การฝัง: R " * แป้น rq อดีต(ฉันฉันฉัน) สำหรับแต่ละ s ( S, $(s) เป็นหน่วยใน Rg(iv) ทุก t q R ^ แสดงเป็น q = [4 > (s)] ~ [^Cr)],{8, r) € S x Rทฤษฎีบทที่ 2.3 ให้ S t P สามารถตั้งคูณของ (ทั้งด้านซ้าย และชิ้น (ซ้าย) ใกล้วงแหวน R ขวา) แล้วใกล้ของแหวนquotients ซ้ายของ R กับ S อยู่ และถ้า Rตอบสนองสภาพแร่ซ้ายเกี่ยวกับ Sหลักฐาน สมมติว่า Ro ' ที่มีอยู่ แล้วตามนิยามของ Rc มีมี$: R • * Rs ฝัง R ไป Rs สำหรับแต่ละ (s, r) € S x Rผลิตภัณฑ์ [$(r)] [$] ~ อาร์เอสคือ expressible เป็นหลุมฝังศพของเจเอ 36 และ J เจ มาโลน[•(rOn-Ms)] " 1 = [* (s1)]~1[*(r1)], สำหรับบาง [การ ^ rj ฉัน S * R แต่แล้ว[$(s )] [* (r)] = [$(r)] [* (s)] หมายถึง s r = r s $เป็น การ monomorphismแสดงการสนทนาเราสร้าง R < โดยการกำหนดตัวเทียบเท่าความสัมพันธ์ " V1 บน S * R และไบนารีการดำเนินการเพิ่มและการคูณoo ชุดของคลาสที่สมมูล (S * / ?) /^ . ในการพิสูจน์ส่วนหนึ่งของการทฤษฎีบท มีรายละเอียดมากมายการจะตรวจสอบและไม่ใช่ทั้งหมดเหล่านี้ดำเนินการตรวจสอบจะได้รับ อย่างไรก็ตาม หลายภาพต่าง ๆ ทั่วไปจะนำเสนอเทคนิคของหลักฐานถ้า [a, x), (d, y) t S * R ที่เรากำหนด (c, x) ^ {d, y) ถ้ามีอยู่ (s, r) € S x R ที่ให้ = rd หมายถึง sx =ลี่ บริการที่แม้ว่า r จะไม่มีใน S ดังนั้น = rd ที่ s แบบและ dองค์ประกอบของ S หมายถึงการผลิตภัณฑ์ rd £ S และกองกำลังของ r เป็น จากคำจำกัดความ สามารถตั้งข้อสังเกตว่า ถ้า(e, x) ^ { y d ), แล้วสำหรับทุก [^, ไข้หวัดใหญ่) € R x R มี =โฆษณาหมายถึงตั้งแต่ความสัมพันธ์ ^ เป็นความสัมพันธ์สมมูล เราสามารถพิจารณาการชุดของคลาสที่สมมูล (Sxi) / ^ = S R ที่เราแสดงระดับชั้นประกอบด้วย (a, x) ด้วย x/a และเป็นไปตามภาคเรียนx/a = y/d และถ้า {a, x) ^ (d, y)กำหนด + (บวก) Rs โดย x/a + y/d = {sx+ry)/sc = (sx + ลี่) /rdที่ (e, r) 5 ยูโร x R ตรงนั้น = rd 6 Sเราสังเกตคำจำกัดความเป็นอิสระของตัวเลือก (s, r) โดยสมมติ (s, rO ตรง s.e = r.d และแสดงให้เห็นว่า[s x+r y)/s1a = (sx + ลี่) /ea คือ, [s ^ o, s ^ r ^) ^ (se, sx + ลี่) ปล่อยให้(s_, r_) เป็นดังกล่าวที่ sos ° ~ rp8 c " T n e n S2s ฉัน = r2S s d n ผม n c e8 o = r ^ d, = rd ดังนั้น เรามี s ^ r d = s2s / c = r2s c = r2r ^ ซึ่งหมายถึงs2rx = r2r ดังนั้น s ^ ^ ^ ^ ^ ^ 2 2กล่าวคืออยู่อาจเทียบเท่าที่จำเป็นตอนนี้ นอกจากนี้ยังได้กำหนดไว้ในความรู้สึกของการเป็นอิสระของฝังใกล้โดเมน 37เลือกตัวแทนสำหรับการเรียนเทียบเท่า ให้เช่า(c, x) " * > (e 1, x ') d n (d, y) ^ ฉัน d ', y ') เรา s h o wx / o + y / d = x ' / e ' + y 'ฉันจะ d' b y c h o o s ฉัน g n (s, r) n d (s 1, r ') s u c h t h tดังนั้น = rd และ s'c' = r มี ' เขียน x/a + y/d = {sx+ry) /so = (sx + ลี่) /rdและ s'/ e1 + y' Id' ('x' s + r 'y') = a/s '.' = (s'x'+ r 'y') / r จะ ' จากนั้น ค้นหา(s ^, r.) ที่ s ^ c = r.s'c' = s rd = r r จะ ' ไหน s sx = r s'x'และ s.ry = r ^ 'y' เพื่อให้เรามี s (sx + iy) = r (r + s 'i' ' ฉัน / ') ซึ่งผลผลิต (se, sx + ลี่) ^ (s'e1, s'x '+ r' j /')ใด ๆ e Z S, 0/e เป็น identity ขวาสารเติมแต่งสำหรับ / ? " และ-x c เป็น ตัวผกผันการบวกเหมาะสมสำหรับ x / o €ฉัน? cนอกจากนี้สามารถแสดงเป็นเชื่อมโยง เราตอนนี้มี (/ ? e > + Jเป็นกลุ่ม และ เนื่องจากในระถูกกำหนดในแง่ของการเพิ่มของ R, [Rs, +) จะเป็นถ้า และถ้า (ฉันหรือไม่, +) จะเป็นให้ x / o, f £ y/d ? <, กำหนด• (การคูณ) R ~ โดยx / c • y/d =ลี่ให้ (s, r) £ S x ฉัน ตรงเช่น = rdการคูณนี้เป็นอิสระจากการเลือก (s, r) และยังเลือกตัวแทนของความอิสระห้องเรียนสำหรับ e ใด ๆ £ S, e/e = 1 € ? _ตอนนี้ คูณเป็นเชื่อมโยง สำหรับให้ x / c, y/d, z/e €ฉัน? < และคำนวณ { x/o'y/d) • z/e =•ลี่ให้ z/e = r.z/s ดังนั้นที่ sx = rd และs ^ ลี่ =อีกครั้ง ยัง x / o • (y/d'z/e) = x / c • r ^ z/s ^ = rj- ^ z/s.o ที่Spjy = r-e และ s.x = r -> s2d ดูผลิตภัณฑ์เหล่านี้เท่ากับเราค้นหา (s ^, r ^) ที่ s^s.so = r s a ไหน Bis ^ s = rltr > 3 n d 'ใช้ equalities ข้าง s, s ^ rd = e, s ศรี = * s_x = r, r s d ซึ่งหมายถึง su S l r = r ^ r ^ เพิ่มเติม s ^ e = s ^ s ^ = r ^ 8 ^ = rl * r3r2eซึ่งหมายถึง s ^ r. = r, r r ~ ดังนั้น s, r s = r, r r 2 ที่บอกว่า ที่ต้องการมีความเสมอภาคหลุมฝังศพของเจเอ 38 และ J เจ Ma ผมหนึ่งความจริงที่เหลือแจกแจงการคูณมากกว่านี้ใน Roต่อจากคุณสมบัติการแจกแจงด้านซ้ายใน Rจุดนี้ เราได้แสดง (/ ? ", +, •} เป็นซ้ายใกล้วงแหวนด้วยรหัสประจำตัว แสดง Rc เป็นแหวนใกล้ของ quotients ซ้ายของอาร์เคารพ S ต้องตรวจเหลือสามการกำหนดคุณสมบัติของการวงแหวนที่ใกล้ของ quotients ด้านซ้าย: R •* Rg be defined by r •* er/e where 3 6 S . Then * is'>: R •* Rg be defined by r •* er/e where 3 6 S . '>ให้: R • * Rg กำหนด โดย r • * เอ้อ/e 3 6 S แล้ว * เป็นกำหนดไว้อย่างดีเพราะ เอ้อ/e = dv/d สำหรับ e ทั้งหมด d £ S สำหรับ r, r € R§ [r-J + *(r2) = ev- ^ l & + er2/e = [er^er) le = e [r + r ^ เลอ = $(r + r) และ^(r^) • $(r " 2J =เอ้อ. / e •เอ้อ ^ เลอ = rerJse = ser r /se =เอ้อ ^ cje = $(r r2)ที่ (s, r) เป็น ser =อีกครั้ง ดังนั้น$เป็น morphism มีวงแหวนใกล้เพิ่มเติม เคอร์เนล 4 > = 0 ถ้า v € R, $(r) = เอ้อ/e = 0/e - eO/e หมายถึงเอ้อ = eO และดังนั้น r = 0 ดังนั้น 4 > มี monomorphism ฝังฉัน ลงใน* 5 •สำหรับ s ทั้งหมด ( S , $(

ผลลัพธ์ (ไทย) 2:

วัว. AUSTRAL คณิตศาสตร์. SOC I6A76
VOL 9 (1973), 33-42.
ฝังอยู่ใกล้กับโดเมน
J.A. เกรฟส์และเจเจมาโลน
ชั้นซึ่งอยู่ใกล้กับแหวนซึ่ง generalizes ระดับของการหนึ่ง
โดเมนถูกกำหนด ความหมายของโดเมนที่อยู่ใกล้กับที่ได้มา
จากความปรารถนาของการฝังใกล้กับโดเมนในเขตใกล้.
ใกล้โดเมนที่นำเสนอในที่นี้จะแสดงให้เห็นว่ามี D-แหวน
ของ Berman และ Siverman.
1 ซึ่งอยู่ใกล้กับโดเมนที่
เราใช้โดเมนหนึ่งหมายถึงการสับเปลี่ยนแหวนที่มีตัวหารไม่
เป็นศูนย์ ซึ่งอยู่ใกล้กับแหวนที่ไม่มีตัวหารเป็นศูนย์ได้รับการพิจารณาโดย Ligh และ
มาโลน [8] ดิน [3] และ Ferrero [4] Ligh และมาโลนศึกษา
คุณสมบัติของแหวนที่อยู่ใกล้ จำกัด มีในกรณีหนึ่งไม่มีตัวหารศูนย์และใน
อีกจำนวน จำกัด ของศูนย์หาร งานของพวกเขาก็ไม่ได้เป็นความพยายามที่จะ
คุยแนวคิดของโดเมนการหนึ่ง ดิน [3] ที่เรียกว่าแหวนที่อยู่ใกล้
โดยไม่ต้องหารของศูนย์โดเมนหนึ่งที่อยู่ใกล้ แต่ในขณะที่เขากล่าวของเขา
ความหมายก็เพื่อต้องการชื่อที่ดีกว่า วัตถุหลักของบันทึกของเขา
เป็นคำสั่งของการคาดเดาที่ยกเว้นสำหรับกรณีเล็ก ๆ น้อย ๆ บางอย่าง
เช่นระบบที่มีลักษณะ จำกัด จะต้องมีลักษณะที่สำคัญ.
การคาดเดานี้ได้รับการพิสูจน์ในภายหลังโดย Ferrero [4] ดังนั้นกรณีที่ไม่มี
ศูนย์หารไม่ได้เสริมสร้างโครงสร้างของแหวนที่อยู่ใกล้ในขอบเขต
หนึ่งอาจคาดหวัง.
ทฤษฎีบท 1.1 ให้ R เป็นแหวนที่อยู่ใกล้กับความพึงพอใจที่ถูกต้อง
พายเรือแคนูฉันกฎหมายการลา.
(i) สำหรับทุก£ R, Oa = AO = 0.
(ii) R ไม่มี (ที่เหมาะสม) ศูนย์หาร,
(iii) กฎหมายยกเลิกซ้ายถือ ใน R.
รับ 12 กุมภาพันธ์ 1973-
33
34 JA เกรฟส์และเจ J Ma ฉันหนึ่ง
หลักฐาน ถ้า # 0 และ OA = b * 0, B = BB แล้วหรืออบ = Obb เพื่อ
ที่ 0 = Ob และ 0 = OCZ หาก AB = 0 บาท 0 แล้ว AB = Ob และ
A = 0 หาก AB = AA, ที่ 0 แล้ว (FC-E) = 0 และ B = a //
แร่ได้แสดงให้เห็นใน [7 2] ว่าได้รับแหวนที่ไม่ใช่การสับเปลี่ยนไม่มี
ตัวหารที่เหมาะสมของศูนย์เป็นเงื่อนไขที่จำเป็นและเพียงพอสำหรับแหวน
ที่จะมีส่วนแหวนของ constructible บวกลบคูณหารคือแต่ละคู่ของ
องค์ประกอบที่ไม่ใช่ศูนย์ มีซ้าย (หรือขวา) ร่วมกันหลาย.
นิยาม 1.2 ใกแหวน 'R บอกว่าจะตอบสนองความซ้าย (ขวา)
สภาพแร่ถ้าทั้งหมดที่ 0, H 0 (S มีอยู่ ST 0,
T # 0 € R ดังกล่าวว่า SA = TB (เป็น = BT).
นิยาม 1.3 ก. (ซ้าย) ใกล้โดเมนเป็น (ซ้าย) ใกล้วงแหวน D
พอใจสภาพแร่ซ้ายและกฎหมายยกเลิกขวา.
หลักฐานปกติว่าโดเมนหนึ่ง จำกัด มีเขตข้อมูลขึ้นอยู่กับ
หลักเพียงเกี่ยวกับการยกเลิกที่เหมาะสมและอาจถูกใช้เพื่อ สร้าง:
ทฤษฎีบท 1.4 ถ้า R เป็นแหวนที่อยู่ใกล้ จำกัด ซึ่งถูกต้อง.
กฎหมายยกเลิกถือ * แล้ว R เป็นข้อมูลที่อยู่ใกล้.
ก็สามารถที่จะแสดงให้เห็นว่าแน่นอนไม่สามารถตัดออกจากสมมติฐานของ
ทฤษฎีบท Lu ให้ g เป็นลายลักษณ์อักษร additively กลุ่มฟรี สองเครื่องปั่นไฟ
x และ y และสำหรับแต่ละจำนวนเต็มไม่เป็นลบ n กำหนด T: G • * • G โดย
h (x, y) T = H {NX, NY) สำหรับ Allh (x, y) € G ให้ R เป็นแหวนที่อยู่ใกล้
ที่เกิด additively โดย T McQuarrie [9] แสดงให้เห็นว่า R คือ
สร้าง distributively ใกล้วงแหวนกับตัวตนและเกรฟส์ [5] แสดงให้เห็นว่า
R มีสิทธิในทรัพย์สินยกเลิก แต่ตอบสนองทั้งทางขวาหรือ
สภาพแร่ซ้าย.
โดยทฤษฎีบท Lu, การยกเลิกสิทธิหมายถึงสภาพแร่ซ้าย
(เมื่อ R คือ จำกัด ) แหวนที่อยู่ใกล้ได้รับเป็น 2.5, 26) ใน [2] แสดงให้เห็นว่า
การสนทนาไม่ได้ถือ.
ทฤษฎีบท 1 5 R โดเมนซึ่งอยู่ใกล้กับความพึงพอใจของห่วงโซ่ Descending
สภาพเงินต้น R-กลุ่มย่อยเป็นเขตที่อยู่ใกล้.
หลักฐาน GH ลี่ [7] ได้แสดงให้เห็นว่าแหวนอยู่ใกล้กับความพึงพอใจของการ Descending
สภาพโซ่เงินต้น I? -subgroups และไม่มีตัวหารเป็นศูนย์ต้อง
มีตัวตนด้านซ้ายและนอกจากนี้หากตัวตนด้านซ้ายเป็นที่ไม่ซ้ำกันแล้ว
ถ้าเป็นข้อมูลที่อยู่ใกล้ เราได้แสดงให้เห็นการยกเลิกสิทธิหมายถึงไม่มีศูนย์
ฝังอยู่ใกล้กับโดเมน 35
ตัวหาร ด้วยเหตุนี้การประยุกต์ใช้ Ligh ของผลอัตราผลตอบแทน E € R ดังกล่าวว่า
เอ้อ = R สำหรับ R ทั้งหมด (. r. ถ้า * 0 € I? เรามีสำหรับแต่ละ x € R,
xea = XA ซึ่งหมายถึง XE = x. ดังนั้น E เป็นเอกลักษณ์และโดย
ผล Ligh ของ R เป็นข้อมูลที่อยู่ใกล้. //
2. ใกล้วงแหวนของบวกลบคูณหาร
ในส่วนนี้เราแสดงให้เห็นว่าโดเมนที่อยู่ใกล้อาจจะฝังตัวอยู่ในที่อยู่ใกล้กับ
สนามและได้ข้อสรุปบางส่วนของผลกระทบของการฝังนี้ Maxson [h]
ได้กำหนดที่อยู่ใกล้วงแหวนของบวกลบคูณหารและระบุเงื่อนไขสำหรับแหวนที่อยู่ใกล้
ที่จะมีการเรียกเข้าใกล้บวกลบคูณหาร. เราคุยกับกรณีของแหวนใกล้
ของบวกลบคูณหารด้วยความเคารพต่อชุดคูณ.
นิยาม 2.1. ให้ R เป็นที่อยู่ใกล้ แหวนและ S ชุดคูณ
ในฟลอริด้า. เรากล่าว R ตอบสนองสภาพแร่ซ้ายที่เกี่ยวกับ S ถ้า
สำหรับแต่ละ (S, R) € S x R มีอยู่ (เอส., R) € S x R ดังกล่าวว่า
SR = อาร์เอส .
นิยาม 2.2. ให้ S เป็นชุดคูณในแหวนที่อยู่ใกล้กับ r.
แหวนใกล้ R ^ เรียกว่าแหวนใกล้บวกลบคูณหารด้านซ้ายของ R กับ
ความเคารพ S ถ้า
(i) Rg มีตัวตนที่ 1,
(ii) มีอยู่ ฝัง (monomorphism) $: R "* RQ,
(iii) สำหรับแต่ละ s ( S, $ (s) เป็นหน่วยงานใน Rg ที่
(iv) ทุก QT R ^ สามารถแสดงเป็น q = [4> (s)] ~ [^ Cr)]
{8 R) € S x r.
ทฤษฎีบท 2.3 Let S T P จะเป็นชุดของการคูณ (ทั้งด้านซ้ายและ
ขวา) องค์ประกอบที่ยกเลิกใน (ซ้าย) ใกล้วงแหวน R แล้วแหวนใกล้
บวกลบคูณหารด้านซ้ายของ R ด้วยความเคารพ s อยู่และถ้าหาก R
ตอบสนองสภาพแร่ซ้ายที่เกี่ยวกับ S.
หลักฐาน สมมติว่า Ro 'อยู่ แล้วตามด้วยคำนิยามของ Rc มี
อยู่ $: R • * อาร์เอสฝังเข้าไปในอาร์เอสอาร์ สำหรับแต่ละ (S, R) € S x R,
สินค้า [$ (R)] [$ (s)] ~ ในอาร์เอสเป็นแสดงออกเป็น
36 JA เกรฟส์และเจ .J มาโลน
[• (RON-MS)] "1 = [* (S1)] ~ 1 [* (R1)] สำหรับบาง [A ^ RJ IS * r. แต่แล้ว
[$ (s)] [* (R) ] = [$ (R)] [* (s)] หมายถึง SR = RS ตั้งแต่ $ เป็น monomorphism ได้.
เพื่อแสดงการสนทนาที่เราสร้าง R <โดยการกำหนดความเท่าเทียม
ความสัมพันธ์ "V1 เมื่อ S * R และการดำเนินงานไบนารีบวกและการคูณ
OO ชุดชั้นเรียนเท่าเทียมกัน (S * /?) / ^ ในการพิสูจน์ส่วนหนึ่งของนี้
ทฤษฎีบทมีรายละเอียดมากได้รับการยืนยันและไม่ทั้งหมดของเหล่านี้
การตรวจสอบจะได้รับ อย่างไรก็ตามหลายภาพประกอบของทั่วไป
เทคนิคการพิสูจน์จะนำเสนอ.
หาก [a, x), (d, y) T S * R เรากำหนด (C, X) ^ {d, y) ถ้ามี
อยู่ (S, R) S € x R ดังกล่าวว่าดังนั้น = RD นัย SX = Ry Hote ว่า
แม้ว่า R อาจไม่อยู่ใน S ดังนั้น = RD ที่ S, A และ D มี
องค์ประกอบของ S หมายถึงผลิตภัณฑ์ RD £ S r และกองกำลังที่จะ
บอกเลิก จากนิยามก็สามารถจะตั้งข้อสังเกตว่าถ้า
(E, X) ^ {d, y) แล้วทุก [A ^ ไข้หวัด) € R x R, AA = โฆษณาหมายถึง
ตั้งแต่ความสัมพันธ์ ^ คือเท่าเทียมกันความสัมพันธ์เรา สามารถพิจารณา
ชุดชั้นสมมูล (SXI?) / ^ = ​​R s ที่เราแสดงชั้นเรียน
ที่มี (A, x) โดย x / และความเท่าเทียมกันของการเรียนจะถูกกำหนดโดย
x / A = Y / D และถ้าหาก {หนึ่ง x) ^ (D, y).
กำหนด + (เพิ่มเติม) ในอาร์เอสโดย / RD x / A + Y / D = {SX + Ry) / SC = (SX + Ry)
ที่ (E, R) € 5 x R = ความพึงพอใจดังนั้น RD 6 S.
เราสังเกตความหมายมีความเป็นอิสระในการเลือกของ (S, R) โดย
สมมติ (s ,, RO ตอบสนอง SE = RD และแสดงให้เห็นว่า
[s x + Ry) / S1A = (SX + Ry) / EA, ที่อยู่, [s ^ o, s ^ ^ R) ^ (SE, SX + Ry) Let
(S_, R_) เป็นเช่นนั้น SOS ° ~ RP8 C "T nen S2S i = r2S andsince
8 o = R ^ d ดังนั้น = Rd, เรามี s ^ RD s =
2
s - IC = r
2
SC = R2R ^ ซึ่งหมายถึง
s2rx = R2R. ดังนั้น, s ^ ^ ^ ^ ^ ^ 2 2
หมายความเท่าเทียมที่จำเป็น.
ตอนนี้นอกจากนี้ยังกำหนดไว้อย่างดีในความรู้สึกของการเป็นอิสระจาก
การฝังใกล้กับโดเมนที่ 37
ทางเลือกของผู้แทนเพื่อความเท่าเทียมกัน เรียน. สำหรับอนุญาต
(C, x) "*> (E 1 x ') และ (d, y) ^ ID' Y ') เราแสดง
X / O + Y / D x = '/ E' + Y 'ฉัน D' bychoosing (S, R) และ (s 1, R ') suchthat
ดังนั้น = RD และ s'c' = r'd 'เพื่อ เขียน x / A + Y / D = {SX + Ry) / ดังนั้น = (SX + Ry) / RD
และ s '/ E1 + Y' Id '= (s' x '+ r' Y ') / s' a . ' = (s'x '+ r'y') / r'd ' แล้วหา
(s ^ r.) เช่นที่ s ^ c = r.s'c '= s RD = R r'd' s ไหน SX = R s'x '
และ s.ry = R ^' Y ', เพื่อให้เรามี s (SX + IY) = R (s 'i' + R 'I /') ซึ่ง
ผลตอบแทนถัวเฉลี่ย (SE, SX + Ry) ^ (s'e1, s'x '+ r'j /').
สำหรับท่านใด E ZS, 0 / E เป็นสารเติมแต่ง ตัวตนที่เหมาะสมสำหรับ /? "และ
-x / C เป็นตรงกันข้ามที่เหมาะสมสำหรับ x / o € I? c.
ตั้งแต่นอกจากนี้สามารถแสดงให้เห็นถึงการเชื่อมโยงตอนนี้เรามี (/? E> + J
เป็นกลุ่มและตั้งแต่ นอกจากนี้บน Ra ถูกกำหนดไว้ในแง่ของการเพิ่ม
ของ R, [อาร์เอส, +) เป็นศาสนาคริสต์และถ้าหาก (i ?, +) เป็นศาสนาคริสต์.
ให้ x / o, y / D £ F? < •กําหนด (คูณ) บน R ~ โดย
x / C • Y / D = Ry / เพื่อที่ (S, R) £ S Xi? ตอบสนองความ EX = ถ.
คูณนี้มีความเป็นอิสระในการเลือกของ (S, R) และ
ยังมีอิสระในการเลือกผู้แทนของความเท่าเทียมกันใน
ชั้นเรียน.
สำหรับท่านใด E £ S, E / E = 1 €? _.
ตอนนี้คูณ เชื่อมโยง; สำหรับให้ X / C, Y / D, Z / ​​E € I? <และ
คำนวณ {x / o'y / D) • z / E = Ry / เพื่อ• z / E = RZ / s เพื่อที่ SX = RD และ
s ^ = Ry อีกครั้ง นอกจากนี้ X / O • (y / d 'z / E) = x / C • R ^ z / s = ^ ^ rj- z / เพื่อที่
Spjy = r- E และ SX = r-> S2D จะเห็นว่าผลิตภัณฑ์เหล่านี้มีค่าเท่ากันเรา
พบ (s ^ ^ R) เช่นที่ s ^ s.so = R s ที่มาจากไหน B ฉัน
s ^ s = RLT
R> 3 และ '
ใช้ equalities ข้างต้น, S, s ^ RD = E, S = Si * s_x = R, RSD ซึ่ง
หมายถึง Su S LR = R ^ ^ R นอกจาก s ^ E = s ^ ^ s = R ^ ^ = 8 RL * r3r2e
ซึ่งหมายถึง s ^ R = R, RR ~ ดังนั้น S, RS = R, RR 2 ที่บอกว่าที่ต้องการ
ความเสมอภาคถือ.
38 เกรฟส์และเจเจ J Ma ฉันหนึ่ง
ความจริงที่ว่าคูณที่เหลือจำหน่ายมากกว่านอกจากนี้ใน Ro
ดังนี้จากซ้ายจำหน่ายทรัพย์สินใน R.
ณ จุดนี้เราได้แสดงให้เห็น (/? "+ •} เป็นซ้ายใกล้กับแหวนที่มี
ตัวตน. ในการแสดง Rc คือ แหวนใกล้บวกลบคูณหารด้านซ้ายของ R กับ
ความเคารพ S เราจะต้องตรวจสอบที่เหลืออีกสามการกำหนดคุณสมบัติของ
แหวนใกล้บวกลบคูณหารซ้าย.
ให้: R • * Rg ถูกกำหนดโดย R • * ER / E ที่ 3 6 S แล้ว * มีการ
กำหนดไว้อย่างดีเพราะ ER / E = DV / D สำหรับทุก E, D £ S สำหรับ R, R € R,
§ [RJ + * (R2) = ev- ^ L & + ER2 / E = [ER ^ ER) le = E [r + R ^ le = $ (R + R) และ
^ ( R ^) • $ (R "2J = er./e • ER ^ = Le rerJse = ser R / SE = ^ เอ้อ CJE = $ (R R2)
ที่ (s, R) ตอบสนองความ ser = อีกครั้ง. ดังนั้น $ เป็น ใกล้ฟิซึ่มส์แหวน.
นอกจากเคอร์เนล 4> = 0 ถ้า V € R, $ (R) = ER / E = 0 / E - EO / E หมายถึง
. เอ้อ = EO และอื่น r = 0 ดังนั้น 4> เป็น monomorphism ฝัง I? เข้า
* 5 •
สำหรับทุกอย่าง. (S, $ (