Abstract:In this paper, we consider the lattice Subf S of full subsemigroups of an inverse semigroup S. Our first main theorem states that for any inverse semigroup S, Subf S is a subdirect product of the lattices of full subsemigroups of its principal factors, so that Subf S is distributive [meet semidistributive, join semidistributive, modular, semimodular] if and only if the lattice of full subsemigroups of each principal factor is. To examine such inverse semigroups, therefore, we need essentially only consider those which are 0-simple. For a 0-simple inverse semigroup S (not a group with zero), we show that in fact each of modularity, meet semidistributivity and join semidistributivity of Subf S is equivalent to distributivity of S, that is, S is the combinatorial Brandt semigroup with exactly two nonzero idempotents and two nonidempotents. About semimodularity, however, we concentrate only on the completely 0-simple case, that is, Brandt semigroups. For a Brandt semigroup S (not a group with zero), semimodularity of Subf S is equivalent to distributivity of Subf S. Finally, we characterize an inverse semigroup S for which Subf S is a chain.

The finite basis problem for endomorphism semirings of finite chains

The finite basis problem for additively idempotent semirings of order four, I

On the Endomorphism Ring of A Module with Relative Chain-Conditions

The additively idempotent semiring is nonfinitely based

Diameters of endomorphism monoids of chains

The ascending chain condition on principal right ideals for semigroup constructions

The additively idempotent semiring $S_7^0$ is nonfinitely based

An analytic criterion for the local finiteness of a countable semigroup

Ends of semigroups

Linear independence over naturally-ordered semirings with applications to dimension arguments in extremal combinatorics

Rarity of the infinite chains in the tree of numerical semigroups

Distinguished elements in semiring extensions

Finite models for positive combinatorial and exponential algebra

Surjectively rigid chains

On the finite separability of finitely generated commutative rings

Semigroup algorithmic problems in metabelian groups

On the semigroup of injective monoid endomorphisms of the monoid $\boldsymbol{B}_ω^{\mathscr{F}^3}$ with a three element family $\mathscr{F}^3$ of inductive nonempty subsets of $ω$

A note on idempotent semirings

An ultimately periodic chain in the integral Lie ring of partitions

The Lattice of Full Subsemigroups of an Inverse Semigroup

Almost Auerbach, Markushevich and Schauder bases in Hilbert and Banach spaces