Abstract <p> Quasi-topological algebras, i.e., universal algebras with a topology with respect to which all operations are separately continuous, are studied. A construction of the free quasi-topological universal algebra <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3088_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(F_\mathscr{V}(X)\)</EquationSource> </InlineEquation> of an arbitrary Tychonoff space <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3088_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(X\)</EquationSource> </InlineEquation> in a given full variety <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3088_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathscr{V}\)</EquationSource> </InlineEquation> of quasi-topological algebras is presented. It is proved that <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3088_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(F_\mathscr{V}(X)\)</EquationSource> </InlineEquation> has the inductive limit topology with respect to the natural decomposition into sets of polynomials of step <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3088_Article_IEq5.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\(\le n\)</EquationSource> </InlineEquation> for <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3088_Article_IEq6.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(n\in \omega\)</EquationSource> </InlineEquation>. Questions related to the separation axioms satisfied by quasi-topological algebras are also considered. It is proved that every Tychonoff space <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3088_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(X\)</EquationSource> </InlineEquation> with a separately continuous Mal’tsev operation is homeomorphic to a retract of a Tychonoff quasi-topological group. </p>

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

Free Universal Algebras with Separately Continuous Operations

  • A. A. Solonkov

摘要

Abstract

Quasi-topological algebras, i.e., universal algebras with a topology with respect to which all operations are separately continuous, are studied. A construction of the free quasi-topological universal algebra \(F_\mathscr{V}(X)\) of an arbitrary Tychonoff space \(X\) in a given full variety \(\mathscr{V}\) of quasi-topological algebras is presented. It is proved that \(F_\mathscr{V}(X)\) has the inductive limit topology with respect to the natural decomposition into sets of polynomials of step \(\le n\) for \(n\in \omega\) . Questions related to the separation axioms satisfied by quasi-topological algebras are also considered. It is proved that every Tychonoff space \(X\) with a separately continuous Mal’tsev operation is homeomorphic to a retract of a Tychonoff quasi-topological group.