<p>On an arbitrary meet-semilattice <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11083_2025_9696_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="91" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{S}=(S,\wedge ,0)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold">S</mi> <mo>=</mo> <mo stretchy="false">(</mo> <mi>S</mi> <mo>,</mo> <mo>∧</mo> <mo>,</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> with 0 we define an orthogonality relation and investigate the lattice <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11083_2025_9696_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\,\mathrm{{\textbf {Cl}}}\,}}({\textbf {S}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mspace width="0.166667em" /> <mi mathvariant="bold">Cl</mi> <mspace width="0.166667em" /> </mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">S</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> of all subsets of <i>S</i> closed under this orthogonality. We show that if <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11083_2025_9696_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{S}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">S</mi> </math></EquationSource> </InlineEquation> is atomic then <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11083_2025_9696_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\,\mathrm{{\textbf {Cl}}}\,}}(\textbf{S})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mspace width="0.166667em" /> <mi mathvariant="bold">Cl</mi> <mspace width="0.166667em" /> </mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">S</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is a complete atomic Boolean algebra. If <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11083_2025_9696_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{S}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">S</mi> </math></EquationSource> </InlineEquation> is a pseudocomplemented lattice, this orthogonality relation can be defined by means of the pseudocomplementation. Finally, we show that if <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11083_2025_9696_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{S}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">S</mi> </math></EquationSource> </InlineEquation> is a complete pseudocomplemented lattice then <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11083_2025_9696_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\,\mathrm{{\textbf {Cl}}}\,}}(\textbf{S})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mspace width="0.166667em" /> <mi mathvariant="bold">Cl</mi> <mspace width="0.166667em" /> </mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">S</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is a complete Boolean algebra. For pseudocomplemented posets a similar result holds if the subset of pseudocomplements forms a complete lattice satisfying a certain compatibility condition.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Induced Orthogonality in Semilattices with 0 and in Pseudocomplemented Lattices and Posets

  • Ivan Chajda,
  • Miroslav Kolařík,
  • Helmut Länger

摘要

On an arbitrary meet-semilattice \(\textbf{S}=(S,\wedge ,0)\) S = ( S , , 0 ) with 0 we define an orthogonality relation and investigate the lattice \({{\,\mathrm{{\textbf {Cl}}}\,}}({\textbf {S}})\) Cl ( S ) of all subsets of S closed under this orthogonality. We show that if \(\textbf{S}\) S is atomic then \({{\,\mathrm{{\textbf {Cl}}}\,}}(\textbf{S})\) Cl ( S ) is a complete atomic Boolean algebra. If \(\textbf{S}\) S is a pseudocomplemented lattice, this orthogonality relation can be defined by means of the pseudocomplementation. Finally, we show that if \(\textbf{S}\) S is a complete pseudocomplemented lattice then \({{\,\mathrm{{\textbf {Cl}}}\,}}(\textbf{S})\) Cl ( S ) is a complete Boolean algebra. For pseudocomplemented posets a similar result holds if the subset of pseudocomplements forms a complete lattice satisfying a certain compatibility condition.