Jump to content

Search results

  • topology. Every Heyting algebra whose set of non-greatest elements has a greatest element (and forms another Heyting algebra) is subdirectly irreducible, whence...
    44 KB (6,243 words) - 23:11, 24 September 2024
  • subdirect decomposition property: Every MTL-algebra is a subdirect product of linearly ordered MTL-algebras. (A subdirect product is a subalgebra of the...
    23 KB (3,718 words) - 12:14, 18 October 2024
  • Thumbnail for Prüfer group
    subgroups). More is true: the Prüfer p-groups are subdirectly irreducible. An abelian group is subdirectly irreducible if and only if it is isomorphic to...
    8 KB (1,137 words) - 01:57, 7 December 2023
  • Thumbnail for Projective space
    formulation in terms of lattice theory. There is a bijective correspondence between projective spaces and geomodular lattices, namely, subdirectly irreducible...
    37 KB (5,670 words) - 12:20, 2 September 2024
  • Real closed ring (category Real algebraic geometry)
    commutative ring A that is a subring of a product of real closed fields, which is closed under continuous semi-algebraic functions defined over the integers...
    11 KB (1,604 words) - 12:13, 8 July 2021