in Set Theory & Algebra retagged by
5,252 views
17 votes
17 votes

Consider the ordering relation $x\mid y \subseteq N \times N$ over natural numbers $N$ such that $x \mid y$ if there exists $z \in N$ such that $x ∙ z = y$. A set is called lattice if every finite subset has a least upper bound and greatest lower bound. It is called a complete lattice if every subset has a least upper bound and greatest lower bound. Then,

  1. $\mid$ is an equivalence relation.
  2. Every subset of $N$ has an upper bound under $|$.
  3. $\mid$ is a total order.
  4. $(N, \mid)$ is a complete lattice.
  5. $(N, \mid)$ is a lattice but not a complete lattice.
in Set Theory & Algebra retagged by
5.3k views

4 Comments

It's nothing but ( Dn,| ) // Lattice under divisibility relation.

Partial order relation : Yes

Need not be complete lattice.

5
5
edited by

@Deepakk Poonia (Dee) 

Lattice as per que is for " Every subset" , but it has different definition in K.H Rosen.

Are they different and if yes , then which one to be considered ? 

0
0

@Mk Utkarsh 

will u help me in this ?

1. Every subset can have a common element which they divide. ( lcm) 

2. Every element have element that devides i.e "1"       ( gcd)

then why not complete order ? And i too dont understood the argument about inclusion and exclusion of "0" make difference, how ?

 

( or is it due to unboundedness ?)

0
0
Why do we  say that just because 0 is included
its a complete lattice . I agree every infinite subset will have a
a upper bound if 0 is included.But that doesnt mean that they will have lowest upper bound. Why isnt this possibility being proved when we say something is a complete lattice?
0
0

5 Answers

0 votes
0 votes

IT takes million of words to write a story but one picture to say it all

A complete lattice has every subset as a lattice

example

Set of all transitive relations on a set {1,2}

Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true