Introduction
Abstract
En
A characterization of v-irreducible elements and of strongly v-irriducible elements of a distributive lattice was given by D.Drake and W.J.Thorn in (1).Among other things in (1)it was proven that an element is v-irreducible if one can identify , by means of a lattice isomorphism f, with a sublattice of the power set of a suitable set X, in such a way that is the closure in of an element is the minimum element in ,with respect to the set inclusion, including x). As is well-known an element of a distributive lattice is v-irreducible iff it is v-prime.This property is exploited is an essential manner in (1).Now then in our paper we took this property as a starting point for a characterization cf v-prime and of strongly v-prime elements of any partially ordered set (in particular of any lattice).Here,on the analogy of some characterization of v-prime elements and of strongly v-prime elements of a lattice, an element c of a partially ordered set(shortly "poset" ) is said v-prime if the subset is v-directed, i.e. or for every (for every(Error rendering LaTeX formula))there exists such that for every ); moreover c is said strongly v-prime if or has maxium element.Then we prove than an element is v-prime in if we can identify by means of an order isomorphism f,with a set (but not necessarily a lattice) of sets of the type of (1) in such a way that is the closure in of a element of ;moreover we prove that c is strongly v-prime in if for all function f of the above type the set is the closure in of an element of .
It
D.Drake e W.J.Thorn hanno in (1)una caratterizzazione degli elementi v-irriducibili e degli elementi fortemente v-irriducubili di un reticolo distributivo .tra l'altro in (1)è stato provato che un elemento è irriducibile se e solo se si può identificare ,tramite un isomorfismo reticolare f,con un sottoreticolo del reticolo delle parti di un opportuno insieme X in tal modo che è la chiusura di di un certo elemento (cioè è il più piccolo elemento di ,rispetto all'inclusione insiemistica, cui appartiene x).Come è ben noto un elemento di un reticolo distributivo è v-irriducibile se e solo se esso è v-primo.Questa propietà è usata in maniera essenziale in (1).In questo lavoro noi prendiamo lo spunto da questa propietà per dare una caratterizzazione degli elementi v-primi e degli elementi fortemente v-primi di un qualsiasi insieme parzialmente ordinato(in particolare di qualsiasi reticolo ). Precisiamo che quì, in analogia con una caratterizzazione degli elementi v-primi e degli elementi fortemente v-primi di un reticolo,un elemto c di un insieme parzialmente ordinato ( è detto v-primo se il sottoinsieme è v-diretto, cioè oppure per ogni per ogni(Error rendering LaTeX formula))esiste tale che e ( per ogni );inoltre c è detto fortemente v-primo se oppure è dotato di massimo.Allora noi proviamo che un elemento è v-primo in se e solo se possiamo identificare , tramite un isomorfismo f rispetto all'ordinamento, con un insieme di insiemi(non necessariamente un reticolo di insiemi) del tipo (1) in modo tale che è la chiusura in ( di un elemento di );inoltre proviamo che c è fortemente v-primo in se e solo se per ogni isomorfismo f del tipo su menzionato l'insieme è la chiusura in di un punto di .
A characterization of v-irreducible elements and of strongly v-irriducible elements of a distributive lattice was given by D.Drake and W.J.Thorn in (1).Among other things in (1)it was proven that an element is v-irreducible if one can identify , by means of a lattice isomorphism f, with a sublattice of the power set of a suitable set X, in such a way that is the closure in of an element is the minimum element in ,with respect to the set inclusion, including x). As is well-known an element of a distributive lattice is v-irreducible iff it is v-prime.This property is exploited is an essential manner in (1).Now then in our paper we took this property as a starting point for a characterization cf v-prime and of strongly v-prime elements of any partially ordered set (in particular of any lattice).Here,on the analogy of some characterization of v-prime elements and of strongly v-prime elements of a lattice, an element c of a partially ordered set(shortly "poset" ) is said v-prime if the subset is v-directed, i.e. or for every (for every(Error rendering LaTeX formula))there exists such that for every ); moreover c is said strongly v-prime if or has maxium element.Then we prove than an element is v-prime in if we can identify by means of an order isomorphism f,with a set (but not necessarily a lattice) of sets of the type of (1) in such a way that is the closure in of a element of ;moreover we prove that c is strongly v-prime in if for all function f of the above type the set is the closure in of an element of .
It
D.Drake e W.J.Thorn hanno in (1)una caratterizzazione degli elementi v-irriducibili e degli elementi fortemente v-irriducubili di un reticolo distributivo .tra l'altro in (1)è stato provato che un elemento è irriducibile se e solo se si può identificare ,tramite un isomorfismo reticolare f,con un sottoreticolo del reticolo delle parti di un opportuno insieme X in tal modo che è la chiusura di di un certo elemento (cioè è il più piccolo elemento di ,rispetto all'inclusione insiemistica, cui appartiene x).Come è ben noto un elemento di un reticolo distributivo è v-irriducibile se e solo se esso è v-primo.Questa propietà è usata in maniera essenziale in (1).In questo lavoro noi prendiamo lo spunto da questa propietà per dare una caratterizzazione degli elementi v-primi e degli elementi fortemente v-primi di un qualsiasi insieme parzialmente ordinato(in particolare di qualsiasi reticolo ). Precisiamo che quì, in analogia con una caratterizzazione degli elementi v-primi e degli elementi fortemente v-primi di un reticolo,un elemto c di un insieme parzialmente ordinato ( è detto v-primo se il sottoinsieme è v-diretto, cioè oppure per ogni per ogni(Error rendering LaTeX formula))esiste tale che e ( per ogni );inoltre c è detto fortemente v-primo se oppure è dotato di massimo.Allora noi proviamo che un elemento è v-primo in se e solo se possiamo identificare , tramite un isomorfismo f rispetto all'ordinamento, con un insieme di insiemi(non necessariamente un reticolo di insiemi) del tipo (1) in modo tale che è la chiusura in ( di un elemento di );inoltre proviamo che c è fortemente v-primo in se e solo se per ogni isomorfismo f del tipo su menzionato l'insieme è la chiusura in di un punto di .
DOI Code:
§
Full Text: PDF