<p>Quasi MV-algebras are a generalization of MV-algebras and they are motivated by the investigation of the structure of quantum logical gates. In the first part, we present relationships between ideals, weak ideals, congruences, and perfectness within MV-algebras and quasi MV-algebras, respectively. To achieve this goal, we provide a comprehensive characterization of congruence relations of a quasi MV-algebra <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\({\mathcal {A}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation> concerning the congruence relations of its MV-algebra of regular elements of <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\({\mathcal {A}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation>, along with specific equivalence relations concerning the complement of the set of regular elements. In the second part, we concentrate on perfect quasi MV-algebras. We present their representation by symmetric quasi <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℓ</mi> </math></EquationSource> </InlineEquation>-groups, a special kind of quasi <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℓ</mi> </math></EquationSource> </InlineEquation>-groups. Moreover, we establish a categorical equivalence of the category of perfect quasi MV-algebras, the category of <i>n</i>-perfect quasi MV-algebras, and the category of symmetric quasi <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℓ</mi> </math></EquationSource> </InlineEquation>-groups.</p>

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

Some Results on Quasi MV-Algebras and Perfect Quasi MV-Algebras

  • Anatolij Dvurečenskij,
  • Omid Zahiri

摘要

Quasi MV-algebras are a generalization of MV-algebras and they are motivated by the investigation of the structure of quantum logical gates. In the first part, we present relationships between ideals, weak ideals, congruences, and perfectness within MV-algebras and quasi MV-algebras, respectively. To achieve this goal, we provide a comprehensive characterization of congruence relations of a quasi MV-algebra \({\mathcal {A}}\) A concerning the congruence relations of its MV-algebra of regular elements of \({\mathcal {A}}\) A , along with specific equivalence relations concerning the complement of the set of regular elements. In the second part, we concentrate on perfect quasi MV-algebras. We present their representation by symmetric quasi \(\ell \) -groups, a special kind of quasi \(\ell \) -groups. Moreover, we establish a categorical equivalence of the category of perfect quasi MV-algebras, the category of n-perfect quasi MV-algebras, and the category of symmetric quasi \(\ell \) -groups.