Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math

Topic: Quasi-fields
Replies: 38   Last Post: Jul 24, 2011 7:21 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
William Elliot

Posts: 1,948
Registered: 5/30/08
Re: Quasi-fields
Posted: Jul 18, 2011 8:13 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On Mon, 18 Jul 2011, William Elliot wrote:
> On Mon, 18 Jul 2011, David Hartley wrote:
>>>>>>>
>>>>>>>> In Dauben's biography of Abraham Robinson (page 103 of the
>>>>>>>> first printing) a quasi-field is said to be a commutative
>>>>>>>> field with distribution
>>>>>>>>
>>>>>>>> a(b + c) = ab + ac (1)
>>>>>>>>
>>>>>>>> replaced by
>>>>>>>> a(b_1 + b_2 + ... + b_n) = ab_1 + ab_2 + ... + ab_n. (2)

>>>
>>>>> Thus, in a quasi-field, the law x*0 = 0 holds iff the
>>>>> distributive law holds.
>>>>>

>>> Define as usual for n in N, na = sum(j=1,n) a.
>>>
>>> a0 = a * n0 = n(a0); (n-1)(a0) = 0
>>>
>>> Thus quasi distributivity (QD).
>>> a(b + c) = a(b + c + (n-2)0) = ab + ac + (n-2)(a0) = ab + ac - a0
>>>
>>> Does (-1)a = -a hold in a quasi field?

>>
>> It requires proof. It does hold for n=3:
>>
>> a*b = a*(b + b + -b)
>> = a*b + a*b + a*(-b)
>>
>> so a*b + a*(-b) = 0, a*(-b) = -(a*b)
>>

Using QD
a0 = a(1 - 1) = a1 + a(-1) - a0
a(-1) = a0 + a0 - a

If n = 3:
a0 = a(0 + 0 + 0) = a0 + a0 + a0
a0 + a0 = 0
a(-1) = -a

> In general for n = 2k + 1:
>
> a0 = a(kb + k(-b) + 0) = k(ab) + k(a(-b) + a0
>
> k(a(-b)) = -k(ab)
>

>> But that's no help for n even.
>
> For n = 2k:
> a0 = a(kb + k(-b)) = k(ab) + k(a(-b))
>
> k(a(-b)) = a0 - k(ab)
>
> Maybe a0 is an infinitesimal.
>

>>> Assume it does.
>>> a0 = a(1 - 1) = a1 + a(-1) - a0 = a - a - a0
>>> a0 + a0 = 0
>>> a0 = a * n0 = n(a0)
>>>
>>> If n is even, then a0 = 0 and we've a field.


Misc.
(-1)0 = 0*0 + 0*0
(1 + 1)a = a1 + a1 - a0 = a + a - a0
(1 + 1)0 = -(0*0)

>


Date Subject Author
7/17/11
Read Quasi-fields
Frederick Williams
7/17/11
Read Re: Quasi-fields
tommyrjensen@gmail.com
7/17/11
Read Re: Quasi-fields
G. A. Edgar
7/17/11
Read Re: Quasi-fields
Frederick Williams
7/17/11
Read Re: Quasi-fields
quasi
7/17/11
Read Re: Quasi-fields
quasi
7/18/11
Read Re: Quasi-fields
William Elliot
7/18/11
Read Re: Quasi-fields
David Hartley
7/18/11
Read Re: Quasi-fields
William Elliot
7/18/11
Read Re: Quasi-fields
William Elliot
7/17/11
Read Re: Quasi-fields
David C. Ullrich
7/17/11
Read Re: Quasi-fields
Frederick Williams
7/18/11
Read Re: Quasi-fields
Transfer Principle
7/18/11
Read Re: Quasi-fields
tommyrjensen@gmail.com
7/18/11
Read Re: Quasi-fields
tommyrjensen@gmail.com
7/18/11
Read Re: Quasi-fields
G. A. Edgar
7/17/11
Read Re: Quasi-fields
William Elliot
7/17/11
Read Re: Quasi-fields
Timothy Murphy
7/17/11
Read Re: Quasi-fields
Frederick Williams
7/17/11
Read Re: Quasi-fields
quasi
7/21/11
Read Re: Quasi-fields
Frederick Williams
7/17/11
Read Re: Quasi-fields
Frederick Williams
7/17/11
Read Re: Quasi-fields
Bill Dubuque
7/18/11
Read Re: Quasi-fields
Frederick Williams
7/20/11
Read Re: Quasi-fields
Gerry Myerson
7/21/11
Read Re: Quasi-fields
Frederick Williams
7/21/11
Read Re: Quasi-fields
quasi
7/21/11
Read Re: Quasi-fields
Frederick Williams
7/21/11
Read Re: Quasi-fields
Gerry Myerson
7/22/11
Read Re: Quasi-fields
Butch Malahide
7/24/11
Read Re: Quasi-fields
Gerry Myerson
7/22/11
Read Re: Quasi-fields
Frederick Williams
7/24/11
Read Re: Quasi-fields
Gerry Myerson
7/21/11
Read Re: Quasi-fields
Gerry Myerson
7/17/11
Read Re: Quasi-fields
DonMack
7/21/11
Read Re: Quasi-fields
Frederick Williams
7/21/11
Read Re: Quasi-fields
Timothy Murphy
7/21/11
Read Re: Quasi-fields
Bill Dubuque
7/21/11
Read Re: Quasi-fields
Tommy Jensen

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.