Strong GE-filters and GE-ideals of bordered GE-algebras (Q2038553)

Summary: The notion of strong GE-filters and GE-ideals (generated) is introduced, and the related properties are investigated. The intersection of strong GE-filters (resp., GE-ideals) is proved to be a strong GE-filter (resp., GE-ideal), and the union of strong GE-filters (resp., GE-ideals) is generally not a strong GE-filters (resp., GE-ideal) by example. Conditions for a subset of a bordered GE-algebra to be a strong GE-filter are provided, and a characterization of a strong GE-filter is considered. In order to do so, irreducible GE-filter is defined first and its properties are examined. Conditions for a GE-filter to be irreducible are discussed. Given a GE-filter, and a subset in a bordered GE-algebra, the existence of an irreducible GE-filter, which contains the given GE-filter and is disjoint to the given subset, is considered. Conditions under which any subset of a bordered GE-algebra can be a GE-ideal are provided, and GE-ideal that is generated from a subset in a bordered GE-algebra is discussed. Also, what element it is formed into is stated. Finally, the smallest GE-ideal which contains a given GE-ideal and an element in a bordered GE-algebra is established.