From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/287 Path: news.gmane.org!not-for-mail From: categories Newsgroups: gmane.science.mathematics.categories Subject: Re: finiteness Date: Fri, 24 Jan 1997 10:55:32 -0400 (AST) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: ger.gmane.org 1241016871 25038 80.91.229.2 (29 Apr 2009 14:54:31 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 14:54:31 +0000 (UTC) To: categories Original-X-From: cat-dist Fri Jan 24 10:55:39 1997 Original-Received: by mailserv.mta.ca; id AA24353; Fri, 24 Jan 1997 10:55:32 -0400 Original-Lines: 24 Xref: news.gmane.org gmane.science.mathematics.categories:287 Archived-At: Date: Fri, 24 Jan 1997 10:54:59 +0000 From: Steve Vickers >From: carboni@vmimat.mat.unimi.it > >... L consists of those ideals T : N---->Omega such that for all n >Tn = Inf{Tm | m > n}. I understand this as saying that n is in the ideal iff every greater m is in the ideal (but I think the inequality m > n has to be non-strict to make sense of this). Hence it's really a filter of N. If that's correct, then my suggestion was wrong. L would be not Idl N, but Idl(N^op). That makes sense regarding dimensions, for if a real vector space is finitely presented using an mxn matrix A (presenting R^n/Im A) then its dimension is n-rank(A), so if rank(A) is in Idl(N), the dimension should be in Idl(N^op). (By the way, what's a full reference for the "Perugia Notes"?) Steve.