doc. RNDr. Miroslav Korbelář, Ph.D.

We study additively idempotent congruence-simple semirings with a bi-absorbing element. We characterize a subclass of these semirings in terms of semimodules of a special type (o-characteristic semimodules). We show that o-characteristic semimodules are uniquely determined. We also generalize a result by Jezek and Kepka on simple semirings of endomorphisms of semilattices.

We prove that every ring is a proper homomorphic image of some subdirectly irreducible ring. We also show that a finite ring R does not need to be isomorphic to the factor of a subdirectly irreducible ring by its monolith as well as R does not need to be a homomorphic image of a finite subdirectly irreducible ring. We provide an analogous characterization also for varieties of rings with unity, for the quasiregular rings, for the rings with involution and for their subvarieties of commutative rings.

Let (S,+, .) be a semiring generated by one element. Let us denote this element by w is an element of S and let g(x) is an element of x . N[x] be a polynomial. It has been proved that if g(x) contains at least two different monomials, then the elements of the form g(w) may possibly be contained in any countable commutative semigroup. In particular, divisibility of such elements does not imply their torsion. Let, on the other hand, g(x) consist of a single monomial (i.e. g(x) = kx(n), where k, n is an element of N). We show that in this case, the divisibility of g(w) by infinitely many primes implies that g(w) generates a group within (S, +). Further, an element a is an element of S is called an m-fraction of an element z is an element of S if m is an element of N and z = m . a. We prove that "almost every" m-fraction of w(n) can be expressed as f(w) for some polynomial f is an element of x . N[x] of degree at most n.

We prove that a commutative parasemifield S is additively idempotent, provided that it is finitely generated as a semiring. Consequently, every proper commutative semifield T that is finitely generated as a semiring is either additively constant or additively idempotent. As part of the proof, we use the classification of finitely generated lattice-ordered groups to prove that a certain monoid associated to the parasemifield S has a distinguished geometrical property called prismality.

It is conjectured that (additive) divisibility is equivalent to (additive) idempotency in a finitely generated commutative semiring S. In this paper we extend this conjecture to weaker forms of these properties-torsion and almost-divisibility (an element a is an element of S is called almost-divisible in S if there is b is an element of Nsuch that b is divisible in S by infinitely many primes). We show that a one-generated semiring is almost-divisible if and only if it is torsion. In the case of a free commutative semiring F(X) we characterize those elements f is an element of F(X) such that for every epimorphism pi of F(X) torsion and almost-divisibility of pi(f) are equivalent in pi (F(X)).