background image

21.19. IDENTITY STAROIDS AND MULTIFUNCOIDS

373

GR ID

Strd

a

[

a

]

= GR

a

a

Strd

.

L ∈

GR ID

Strd

a

[

a

]

⇔ ∀

i

a

:

L

i

w

a

⇔ ∀

i

a

:

L

i

6

a

⇔ L ∈

GR

a

a

Strd

.

Corollary

1884

.

a

a

Strd

isn’t an atom when

a

is a nontrivial ultrafilter.

Corollary

1885

.

Staroidal product of an infinite indexed family of ultrafilters

may be non-atomic.

Proposition

1886

.

id

Strd

a

[

n

]

is determined by the value of

id

Strd

a

[

n

]

(for every

element

a

of a filtrator (

A

,

Z

) over a complete lattice

Z

). Moreover id

Strd

a

[

n

]

=

id

Strd

a

[

n

]

.

Proof.

Use general properties of upgrading and downgrading (proposi-

tion

1650

).

Proposition

1887

.

ID

Strd

a

[

n

]

is determined by the value of

ID

Strd

a

[

n

]

, moreover

ID

Strd

a

[

n

]

=

ID

Strd

a

[

n

]

(for filter

a

on a primary filtrator over a meet semilattice with

greatest element).

Proof.

L ∈

ID

Strd

a

[

n

]

up

L ⊆

ID

Strd

a

[

n

]

up

L ⊆

ID

Strd

a

[

n

]

L

up

L

:

L

ID

Strd

a

[

n

]

⇔ ∀

L

up

L

:

l

i

n

L

i

u

a

6

=

F

[

i

n

up

L

i

∪ {

a

}

has finite intersection property

(lemma)

⇔ L ∈

GR ID

Strd

a

[

n

]

.

Proposition

1888

.

id

Strd

a

[

n

]

v

ID

Strd

a

[

n

]

for every filter

a

and an index set

n

.

Proof.

id

Strd

a

[

n

]

=

id

Strd

a

[

n

]

v

ID

Strd

a

[

n

]

.

Proposition

1889

.

id

Strd

a

[

a

]

@

ID

Strd

a

[

a

]

for every nontrivial ultrafilter

a

.

Proof.

Suppose id

Strd

a

[

a

]

=

ID

Strd

a

[

a

]

. Then ID

Strd

a

[

a

]

=

ID

Strd

a

[

a

]

=

id

Strd

a

[

a

]

what

contradicts to the above.

Obvious

1890

.

L ∈

GR ID

Strd

a

[

n

]

a

u

d

i

n

L

i

6

=

if

a

is an element of a

complete lattice.

Obvious

1891

.

L ∈

GR ID

Strd

a

[

n

]

⇔ ∀

i

n

:

L

i

w

a

⇔ ∀

i

n

:

L

i

6

a

if

a

is an

ultrafilter on

A

.

21.19.6. Identity staroids on principal filters.

For principal filter

A

(where

A

is a set) the above definitions coincide with

n

-ary identity relation, as

formulated in the following propositions:

Proposition

1892

.

Strd

id

A

[

n

]

= id

Strd

A

[

n

]

.

Proof.

L

GR

Strd

id

A

[

n

]

Y

L

6

id

A

[

n

]

⇔ ∃

t

A

i

n

:

t

L

i

\

i

n

L

i

A

6

=

∅ ⇔

L

GR id

Strd

A

[

n

]

.

Thus

Strd

id

A

[

n

]

= id

Strd

A

[

n

]

.

Corollary

1893

.

id

Strd

A

[

n

]

is a principal staroid.