简答题

在格L中如果有a∧（b∨c）=（a∧b）∨（a∧c）成立，证明有a∨（b∧c）=（a∨b）∧（a∨c）成立。

设I是格L的非空子集，如果满足下述条件，则称I为L的理想： 证明I是L的子格。

问答题

设I是格L的非空子集，如果满足下述条件，则称I为L的理想：

证明I是L的子格。

设G=〈Z5，⊕〉，令G上所有自同构构成的群为AutG，给出AutG的运算表并画出它的子群格L的哈斯图，说明这...

问答题设G=〈Z₅，⊕〉，令G上所有自同构构成的群为AutG，给出AutG的运算表并画出它的子群格L的哈斯图，说明这个格是否为分配格、有补格、布尔格。

设R为实数集，，其中K0=K2=0，K1=K3=-1，K4=-2，令S={At∣t=0，1，2，3，4}，画出...

问答题

设R为实数集，，其中K₀=K₂=0，K₁=K₃=-1，K₄=-2，令S={A_t∣t=0，1，2，3，4}，画出偏序集〈S，⊆〉的哈斯图并求它的极大、极小、最大、最小元，说明该偏序集构成什么格？