<p>There are ten distinct two-element semirings up to isomorphism, denoted <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\( L_2, R_2, M_2, D_2, N_2, T_2, Z_2, W_2, Z_7 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>L</mi> <mn>2</mn> </msub> <mo>,</mo> <msub> <mi>R</mi> <mn>2</mn> </msub> <mo>,</mo> <msub> <mi>M</mi> <mn>2</mn> </msub> <mo>,</mo> <msub> <mi>D</mi> <mn>2</mn> </msub> <mo>,</mo> <msub> <mi>N</mi> <mn>2</mn> </msub> <mo>,</mo> <msub> <mi>T</mi> <mn>2</mn> </msub> <mo>,</mo> <msub> <mi>Z</mi> <mn>2</mn> </msub> <mo>,</mo> <msub> <mi>W</mi> <mn>2</mn> </msub> <mo>,</mo> <msub> <mi>Z</mi> <mn>7</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\( Z_8 \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>Z</mi> <mn>8</mn> </msub> </math></EquationSource> </InlineEquation> in Bashir and Kepka (2007). Among these, the multiplicative reductions of <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\( M_2, D_2, W_2 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>M</mi> <mn>2</mn> </msub> <mo>,</mo> <msub> <mi>D</mi> <mn>2</mn> </msub> <mo>,</mo> <msub> <mi>W</mi> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\( Z_8 \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>Z</mi> <mn>8</mn> </msub> </math></EquationSource> </InlineEquation> form semilattices, while the additive reductions of <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\( L_2, R_2, M_2, \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>L</mi> <mn>2</mn> </msub> <mo>,</mo> <msub> <mi>R</mi> <mn>2</mn> </msub> <mo>,</mo> <msub> <mi>M</mi> <mn>2</mn> </msub> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\( D_2, N_2 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>D</mi> <mn>2</mn> </msub> <mo>,</mo> <msub> <mi>N</mi> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\( T_2 \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation> are idempotent semilattices, commonly referred to as <i>idempotent semirings</i>. Vechtomov and Petrov (2015) studied the variety generated by <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\( M_2, D_2, W_2 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>M</mi> <mn>2</mn> </msub> <mo>,</mo> <msub> <mi>D</mi> <mn>2</mn> </msub> <mo>,</mo> <msub> <mi>W</mi> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\( Z_8 \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>Z</mi> <mn>8</mn> </msub> </math></EquationSource> </InlineEquation>, proving that it is finitely based, while Shao and Ren (2015) examined the variety generated by the six idempotent semirings, demonstrating that every subvariety of this variety is finitely based. This paper systematically investigates the variety generated by all ten two-element semirings. We prove that this variety contains exactly 480 subvarieties, each of which is finitely based.</p>

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

On the variety generated by all semirings of order two

  • Aifa Wang,
  • Lili Wang,
  • Peng Li,
  • Qingrui Yin

摘要

There are ten distinct two-element semirings up to isomorphism, denoted \( L_2, R_2, M_2, D_2, N_2, T_2, Z_2, W_2, Z_7 \) L 2 , R 2 , M 2 , D 2 , N 2 , T 2 , Z 2 , W 2 , Z 7 , and \( Z_8 \) Z 8 in Bashir and Kepka (2007). Among these, the multiplicative reductions of \( M_2, D_2, W_2 \) M 2 , D 2 , W 2 , and \( Z_8 \) Z 8 form semilattices, while the additive reductions of \( L_2, R_2, M_2, \) L 2 , R 2 , M 2 , \( D_2, N_2 \) D 2 , N 2 , and \( T_2 \) T 2 are idempotent semilattices, commonly referred to as idempotent semirings. Vechtomov and Petrov (2015) studied the variety generated by \( M_2, D_2, W_2 \) M 2 , D 2 , W 2 , and \( Z_8 \) Z 8 , proving that it is finitely based, while Shao and Ren (2015) examined the variety generated by the six idempotent semirings, demonstrating that every subvariety of this variety is finitely based. This paper systematically investigates the variety generated by all ten two-element semirings. We prove that this variety contains exactly 480 subvarieties, each of which is finitely based.