From phma@oltronics.net Sat Jul 08 03:10:19 2000
Return-Path: <phma@oltronics.net>
Received: (qmail 24279 invoked from network); 8 Jul 2000 10:10:18 -0000
Received: from unknown (10.1.10.142) by m2.onelist.org with QMQP; 8 Jul 2000 10:10:18 -0000
Received: from unknown (HELO mail.oltronics.net) (204.213.85.8) by mta1 with SMTP; 8 Jul 2000 10:10:18 -0000
Received: from neofelis (root@localhost) by mail.oltronics.net (8.9.3/8.9.3) with SMTP id GAA31490 for <lojban@egroups.com>; Sat, 8 Jul 2000 06:10:15 -0400
X-BlackMail: 207.15.133.34, neofelis, <phma@oltronics.net>, 207.15.133.34
X-Authenticated-Timestamp: 06:10:16(EDT) on July 08, 2000
To: <lojban@egroups.com>
Subject: Re: [lojban] 2 maths questions
Date: Sat, 8 Jul 2000 05:48:26 -0400
X-Mailer: KMail [version 1.0.28]
Content-Type: text/plain
References: <Pine.BSI.3.95.1000706204737.625A-100000@locke.ccil.org> <010701bfe898$95cd5c80$5408fd80@resnet.cornell.edu>
In-Reply-To: <010701bfe898$95cd5c80$5408fd80@resnet.cornell.edu>
MIME-Version: 1.0
Message-Id: <00070806100701.08867@neofelis>
Content-Transfer-Encoding: 8bit
From: Pierre Abbat <phma@oltronics.net>

>I'm surprised there isn't already a lujvo for "prime number". How about:
>
>ralnamcu (ralju+namcu) x1 is a prime number of mathematical field x2 by
>convention x3

Primes are found in integral domains, not fields. In a field, every nonzero
number has an inverse, which means you can find two other numbers which
multiply to it (as long as the characteristic of the field isn't 2 or 3).

What is "by convention x3" for?

Speaking of domains, what should we call the mathematical terms group, ring,
domain, body, and field? "Body" (corps, Körper) is a term used in French and
German for a division ring, and usually is used instead of "field".

phma

