Next Article in Journal
The Maximal Complexity of Quasiperiodic Infinite Words
Previous Article in Journal
On Turing Machines Deciding According to the Shortest Computations
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On the Monoid of Unital Endomorphisms of a Boolean Ring

by
Bana Al Subaiei
1,*,† and
Noômen Jarboui
2,†
1
Department of Mathematics and Statistics, College of Science, King Faisal University, P.O. Box 400, Al-Ahsa 31982, Saudi Arabia
2
Département de Mathématiques, Faculté des Sciences de Sfax, Université de Sfax, P.O. Box 1171, Route de Soukra, Sfax 3038, Tunisia
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Axioms 2021, 10(4), 305; https://doi.org/10.3390/axioms10040305
Submission received: 10 October 2021 / Revised: 6 November 2021 / Accepted: 12 November 2021 / Published: 14 November 2021

Abstract

:
Let X be a nonempty set and P ( X ) the power set of X. The aim of this paper is to provide an explicit description of the monoid End 1 P ( X ) ( P ( X ) ) of unital ring endomorphisms of the Boolean ring P ( X ) and the automorphism group Aut ( P ( X ) ) when X is finite. Among other facts, it is shown that if X has cardinality n 1 , then End 1 P ( X ) ( P ( X ) ) T n o p , where T n is the full transformation monoid on the set X and Aut ( P ( X ) ) S n .

1. Introduction

In mathematics, endomorphisms, and especially automorphisms of algebraic structures, play an important role. In fact, many fundamental results have been demonstrated by analyzing the automorphism group of a given structure. For instance, Galois identified solvable (univariate) polynomials f in the field of rational numbers via the structure of the automorphism group of the splitting field of f. We mention also that automorphisms have played an important role in computer science, especially in the understanding of the complexity of several algebraic problems. Perhaps the most important structure in computer science is that of finite rings (see [1,2]).
Considerable attention has been paid over the years to the study of the endomorphism semigroup and the automorphism group of some mathematical structures. For example, in [3] (Theorem 3.1), Maxson has proved that if B = i = 1 n B i , B i = K , K being a rigid ring (that is, K 2 ( 0 ) and End ( K ) = { 0 , id K } ), then the semigroup of endomorphisms of B is isomorphic to the semigroup of n × n column monomial ( 0 , 1 ) -matrices and the semigroup of unital endomorphisms of B is isomorphic to the semigroup of n × n strictly column monomial ( 0 , 1 ) -matrices. This result applies, of course, easily to finite Boolean rings since any finite Boolean ring is isomorphic to i = 1 n Z 2 for some positive integer n, where Z 2 is the ring of integers modulo 2. Schreier [4] and Mal’cev [5] have described all automorphisms of End ( X ) , where X is a set, and Gluskin [6] has described the automorphisms of End ( V ) , where V is a vector space. More examples are provided by, among others, Formanek [7], Levi [8,9], Liber [10], Magill [11], Mashevitzky and Schein [12], Schein [13], Sullivan [14], and Sutov [15]. Recently, the subject has attracted renewed attention owing to its links with universal algebraic geometry (see, for instance, [16]). Note also that in [17], Araujo and Konieczny have provided a theoretical description of the automorphism group of any semigroup.
The aim of this paper is to provide an explicit description of the semigroup of unital endomorphisms and the group of automorphisms of a finite Boolean ring. It is well known from the work of M. H. Stone [18] that B P ( Ω ) for an appropriate set Ω . For this reason, we focus on the power set ring. Our work is motivated on one hand by [3,6,7,8,11,17,19,20,21,22,23,24], where the authors have studied some questions related to the semigroup of endomorphisms of some rings, especially Boolean rings, and on the other hand by the importance of finding automorphisms of some semigroups and some (finite) rings, as explained above.
For any unital ring , we let 0 and 1 , denote, respectively, its additive identity and its multiplicative identity. If Ω is a set, we let T Ω denote the full transformation monoid of the set Ω and Sym ( Ω ) the symmetric group of Ω (that is, the group of all bijections from Ω to itself). We let | Ω | denote the cardinal number of the set Ω . If | Ω | = n , then we write T Ω = T n and Sym ( Ω ) = S n . We let T Ω * = { f * f T Ω } and Sym * ( Ω ) = { f * f Sym ( Ω ) } , where f * : P ( Ω ) P ( Ω ) is the mapping defined by f * ( A ) = f 1 ( A ) for any A P ( Ω ) . If G is a group, we let End ( G ) denote the monoid (under composition) of endomorphisms of the group G. Let End ( ) denote the monoid (under composition) of endomorphisms of a (unital) ring and End 1 ( ) the submonoid of unital ring endomorphisms. More precisely, End 1 ( ) : = { φ End ( ) φ ( 1 ) = 1 } . Note that if is a nonzero unital ring, then the trivial endomorphism is not in End 1 ( ) .
The titular result of this paper is Theorem 1, which states that X is a finite nonempty set if and only if End 1 P ( X ) ( P ( X ) ) = T X * . As a consequence, we show in Corollary 1 that Aut ( P ( X ) ) = Sym * ( X ) in the event that X is a finite nonempty set. Corollary 3 recovers [22] (Theorem C). In fact, we prove that if X is a finite nonempty set, then the monoids End 1 P ( X ) ( P ( X ) ) and T X o p (resp., the groups Aut ( P ( X ) ) and Sym ( X ) ) are isomorphic. In particular, if | X | = n 1 , then End 1 P ( X ) ( P ( X ) ) T n o p and Aut ( P ( X ) ) S n . We derive from [3] (Theorem 4.1) that every finite semigroup S is isomorphic to T Ω * for some (finite) set Ω (see Corollary 4). We emphasize that the proofs presented here are elementary. Moreover, it is the hope of the authors that the proof techniques used here can be applied to other classes of rings.
All rings considered in this paper are assumed to be commutative and unital. Any undefined terminology is standard as in [25,26].

2. Main Results

To avoid unnecessary repetition, let us define the notation for this paper. The data consist of a nonempty set X and the power set P ( X ) of X. Note that P ( X ) is the typical example of a Boolean ring, with the symmetric difference playing the role of addition and the intersection playing the role of multiplication. Thus, X is the multiplication identity of P ( X ) and ∅ is the addition identity. Recall that, by a Boolean ring, we mean a ring in which every element is idempotent. It is worth noting that every finite Boolean ring is isomorphic to a power set ring for some set Ω (cf. [18]).
Henceforth, we let G denote the additive group ( P ( X ) , ) and we let R denote the ring ( P ( X ) , , ) . So 1 R = X and 0 R = . For any f T X , we define a mapping f * T R by f * ( Y ) = f 1 ( Y ) for any Y R and we let T X * : = { f * f T X } , and Sym * ( X ) = { f * f Sym ( X ) } .
We start our investigation with the following result. However, first, one should recall that, given a semigroup ( S , · ) , one usually defines the opposite semigroup as ( S , · ) o p = ( S , ) , where x y = y · x for all x , y S .
Proposition 1.
The following statements hold true:
(1) T X * End 1 R ( R ) End ( R ) End ( G ) .
(2) The mapping ϱ : T X T X * defined by ϱ ( f ) = f * is bijective.
(3) The semigroups T X o p and T X * are isomorphic.
(4) Sym * ( X ) is a group isomorphic to Sym ( X ) .
(5) If φ End 1 R ( R ) and A R , then φ ( X \ A ) = X \ φ ( A ) .
Proof. 
(1) Let f * T X * and let A , B R . Then, we have clearly f * ( A + B ) = f * ( A ) + f * ( B ) , f * ( A B ) = f * ( A ) f * ( B ) , and f * ( 1 R ) = f 1 ( 1 R ) = 1 R . Thus, f * End 1 R ( R ) . This proves the inclusion relation T X * End 1 R ( R ) . The inclusion relations End 1 R ( R ) End ( R ) End ( G ) are trivial.
(2) Let f , g T X such that f * = g * . For any x X , we have f * ( { f ( x ) } ) = g * ( { f ( x ) } ) . Thus, f 1 ( { f ( x ) } ) = g 1 ( { f ( x ) } ) . As x f 1 ( { f ( x ) } ) , then x g 1 ( { f ( x ) } ) . Hence, g ( x ) = f ( x ) . This proves that f = g and so ϱ is injective. It is obvious that ϱ is onto by definition of T X * .
(3) It follows from assertion (2) that the mapping ϱ : T X o p T X * defined by ϱ ( f ) = f * is bijective. We claim that ϱ is a semigroup homomorphism. Indeed, the binary operation defined on T X o p is • such that f g = g f for any f , g T X . Thus, if f , g T X o p , then ϱ ( f g ) = ( f g ) * = ( g f ) * = f * g * = ϱ ( f ) ϱ ( g ) . This proves our claim. Hence, ϱ is an isomorphism of semigroups.
(4) Firstly, we verify that Sym * ( X ) is a group. More precisely, we show that Sym * ( X ) is a subgroup of Sym ( R ) . Note that i d X * = i d P ( X ) Sym * ( X ) . Moreover, one can easily check that for any f , g T X , we have ( f g ) * = g * f * . Thus, if f Sym ( X ) , then f * Sym ( R ) and ( f * ) 1 = ( f 1 ) * . Hence, Sym * ( X ) Sym ( R ) . Remark that if f * , g * Sym * ( X ) , then f * ( g * ) 1 = ( g 1 f ) * Sym * ( X ) . Therefore, Sym * ( X ) is a subgroup of Sym ( R ) and so Sym * ( X ) is a group. Now, let us consider the following mapping:
ρ : Sym ( X ) Sym * ( X ) f ( f 1 ) * .
We claim that ρ is a group isomorphism. Indeed, ϱ is onto by definition of Sym * ( X ) . Moreover, ρ is injective since ρ = ϱ Sym ( X ) and ϱ is injective by (2). Thus, ρ is a bijection. Now, let f , g Sym ( X ) ; then, ρ ( f g ) = ( ( f g ) 1 ) * = ( g 1 f 1 ) * = ( f 1 ) * ( g 1 ) * = ρ ( f ) ρ ( g ) . Thus, ρ is a group homomorphism and so ρ is a group isomorphism.
(5) Let φ End 1 R ( R ) and let A R . It is obvious that
= φ ( ) = φ ( A ( X \ A ) ) = φ ( A ) φ ( X \ A )
and
X = φ ( X ) = φ ( A ( X \ A ) ) = φ ( A ) φ ( X \ A ) .
Thus, φ ( X \ A ) = X \ φ ( A ) . This completes the proof. □
Now, we are in a position to establish the main result of this paper. However, first, one should recall from [25,27] that if R is a ring, then an ideal M of R is said to be maximal if M is a proper ideal of R (that is, M R ) and there are no other ideals contained between M and R. An ideal P of a commutative ring R is said to be prime if P R and for any a , b R such that a b P , then either a P or b P . It is well known that in a commutative ring with identity, any maximal ideal is prime. However, the converse is false. For instance, ( 0 ) is a prime ideal of the ring of integers Z , but not a maximal ideal. Another important fact that will be used in the proof of our next result is Krull’s Theorem, which states that in a commutative ring with identity, every proper ideal is contained in a maximal ideal (see [28]).
Theorem 1.
The following statements are equivalent:
(1) T X * = End 1 R ( R ) .
(2) X is finite.
(3) End ( R ) is finite.
(4) End 1 R ( R ) is finite.
In particular, if | X | = n , then | End 1 R ( R ) | = n n .
Proof. 
(1)⟹(2) Assume by way of contradiction that X is an infinite set. Then, Fin ( X ) : = { A P ( X ) | A | < } would be a proper ideal of R. Thus, there exists a maximal ideal M of R containing Fin ( X ) by virtue of Krull’s Theorem. Let us consider the following mapping:
θ M : R R A 0 R if A M 1 R if A M .
First claim: θ M End 1 R ( R ) .
For, let A , B R and consider the following cases:
Case 1: A M or B M .
In this case, A B M since M is an ideal of R. Thus, θ M ( A B ) = 0 R and either θ M ( A ) = 0 R or θ M ( B ) = 0 R . Hence, θ M ( A B ) = θ M ( A ) θ M ( B ) . On the other hand, it is not difficult to check that θ M ( A + B ) = θ M ( A ) + θ M ( B ) .
Case 2: A M and B M .
In this case, A B M since M is a prime ideal of R. Thus, θ M ( A B ) = 1 R and θ M ( A ) θ M ( B ) = 1 R . Consequently, θ M ( A B ) = θ M ( A ) θ M ( B ) . Now, we claim that A + B M . Indeed, assume the contrary. Then, as M is a prime ideal, it follows that A ( A + B ) M and B ( A + B ) M . Hence, A + A B M and A B + B M . Again, as M is a prime ideal, then ( A + A B ) ( A B + B ) M . However, ( A + A B ) ( A B + B ) = 4 A B = 0 R (this follows from the fact that x 2 = x and 2 x = 0 for any element x in R), a contradiction proving our claim. Thus, θ M ( A + B ) = 0 R , θ M ( A ) + θ M ( B ) = 1 R + 1 R = 2 1 R = 0 R . Therefore, θ M ( A + B ) = θ M ( A ) + θ M ( B ) .
It follows from the above discussion that θ M End ( R ) . Finally, note that θ M ( 1 R ) = 1 R since 1 R = X M . Therefore, θ M End 1 R ( R ) . This proves our first claim.
Second claim: θ M T X * .
Assume the contrary and let f T X such that θ M = f * . Pick an element x X (such an element exists because X ). As { f ( x ) } Fin ( X ) M , then θ M ( { f ( x ) } ) = 0 R . Thus, f 1 ( { f ( x ) } ) = 0 R = , which is impossible since x f 1 ( { f ( x ) } ) .
(2)⟹(3) As X is finite, then so is T R because | T R | = | R | | R | = 2 | X | 2 | X | . It follows that End ( R ) is also finite since End ( R ) T R .
(3)⟹(4) Trivial.
(4)⟹(1) Assume (4). Then, it follows from Proposition 1 (1) and (3) that T X is finite. Therefore, X is finite. In order to prove assertion (1), it is enough according to Proposition 1 (1) to show that End 1 R ( R ) T X * . To this end, let φ End 1 R ( R ) . For any x X , it is well known (and easy to show) that M x = P ( X \ { x } ) is a maximal ideal of R (in fact, R / M x P ( { x } ) Z 2 ). In particular, M x is a prime ideal of R. Thus, φ 1 ( M x ) is a prime ideal of R as the inverse image of a prime ideal by a ring homomorphism. However, as, in any Boolean ring, each prime ideal is maximal, it follows that φ 1 ( M x ) is a maximal ideal of R. We claim that there is a unique x * X such that φ 1 ( M x ) = M x * . Indeed, we have y X M y = ( 0 R ) . Thus, y X M y φ 1 ( M x ) . As X is finite, the last inclusion relation yields that M y φ 1 ( M x ) for some y X because φ 1 ( M x ) is a prime ideal of R. As M y is a maximal ideal of R and φ 1 ( M x ) R , then the inclusion relation M y φ 1 ( M x ) ensures that M y = φ 1 ( M x ) . Let x * = y . It remains to show the uniqueness of the element y = x * . Indeed, suppose that M x * = M z for some z x * . Then, { x * } M z = M x * = P ( X \ { x * } ) , the desired contradiction showing the uniqueness of the element x * . Thus, we have constructed a mapping f : X X defined by f ( x ) = x * , where x * is the unique element in X satisfying φ 1 ( M x ) = M x * . We claim that φ = f * . To this end, let A R . Then, we have:
x f * ( A ) f ( x ) A X \ A X \ { f ( x ) } X \ A P ( X \ { f ( x ) } ) = P ( X \ { x * } ) = M x * X \ A φ 1 ( M x ) φ ( X \ A ) M x = P ( X \ { x } ) X \ φ ( A ) X \ { x } ( see Proposition ( 5 ) ) { x } φ ( A ) x φ ( A ) .
It follows that f * ( A ) = φ ( A ) for any A R . Hence, φ = f * as claimed. Finally, if | X | = n , then | End 1 R ( R ) | = | T X * | = | T X | (the last equality follows from Proposition 1 (2)). As | T X | = n n , we readily obtain | End 1 R ( R ) | = n n . The proof is complete. □
Corollary 1.
If X is finite, then Aut ( R ) = Sym * ( X ) .
Proof. 
Note that Aut ( R ) = End 1 R ( R ) Sym ( R ) . However, End 1 R ( R ) = T X * by virtue of Theorem 1. Thus, Aut ( R ) = T X * Sym ( R ) = Sym * ( X ) , the desired conclusion completing the proof. □
Combining Proposition 1 and Theorem 1, we derive the following.
Corollary 2.
If either T X * = End ( R ) or T X * = End ( G ) , then X is finite.
Remark 1.
The converse of Corollary 2 does not hold in general. Indeed, let X be a (nonempty) finite set and let A be a proper subset of X. Consider the mapping φ : P ( X ) P ( X ) , defined by φ ( B ) = B A = B A for any B R . Clearly, φ End ( R ) (in particular, φ End ( G ) ) and φ ( X \ A ) = . However, φ T X * . Indeed, assume the contrary. Then, there exists f T X such that φ = f * . Thus, = φ ( X \ A ) = f 1 ( X \ A ) = X \ f 1 ( A ) = X \ φ ( A ) = X \ A , which is a contradiction.
Assertion (1) of the next corollary recovers [22] (Theorem C).
Corollary 3.
If X is finite, then the following statements hold true:
(1) The semigroups End 1 R ( R ) and T X o p are isomorphic.
(2) The groups Aut ( R ) and Sym ( X ) are isomorphic.
In particular, if | X | = n , then End 1 R ( R ) T n o p and Aut ( R ) S n .
Proof. 
(1) According to Theorem 1, we have End 1 R ( R ) = T X * . Moreover, T X * T X o p by Proposition 1. Thus, End 1 R ( R ) T X o p .
(2) By virtue of Corollary 1, we have Aut ( R ) = Sym * ( X ) . On the other hand, Proposition 1 ensures that Sym * ( X ) Sym ( X ) . Hence, Aut ( R ) Sym ( X ) . This completes the proof. □
We derive from [3] (Theorem 4.1) the following result.
Corollary 4.
Every finite semigroup S is isomorphic to T Ω * for some (finite) set Ω.
Proof. 
According to [3] (Theorem 4.1), S End 1 B ( B ) for some finite Boolean ring B. However, as is well known from the work of M. H. Stone [18], B P ( Ω ) for an appropriate set Ω . Thus, End 1 B ( B ) End 1 P ( Ω ) ( P ( Ω ) ) . By using Theorem 1, we obtain S T Ω * . This completes the proof. □

3. Conclusions

In this article, we have provided an explicit description of the monoid of unital endomorphisms of the finite Boolean ring R = ( P ( X ) , , ) . When X is finite, we have derived that Aut ( R ) = Sym * ( X ) . Moreover, among other facts, we have shown that End 1 R ( R ) T n o p and Aut ( R ) S n whenever X is finite with cardinality equal to n. Concerning the future plans for our work, we will consider the semigroups S 1 = ( P ( X ) , ) , S 2 = ( P ( X ) , ) and the group G = ( P ( X ) , ) . As one of the main tasks, we will perform further investigation of End ( S 1 ) , End ( S 2 ) , End ( G ) , Aut ( S 1 ) , Aut ( S 2 ) , and Aut ( G ) , where X is a finite set.

Author Contributions

The material is the result of the joint efforts of B.A.S. and N.J. All authors have read and agreed to the published version of the manuscript.

Funding

This research did not received any funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

All data required for this paper are included within this paper.

Acknowledgments

The authors would like to thank the anonymous referees for their careful reading and valuable suggestions, which improved the presentation of this paper.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Agrawal, M.; Saxena, N. Automorphism of finite rings and application to complexity of problems. In STACS; Lecture Notes in Computer Science, 3404; Springer: Berlin, Germany, 2005; pp. 1–17. [Google Scholar]
  2. Kayal, N.; Saxena, N. On the Ring Isomorphisms and Automorphisms Problems. Technical Report TR04-109. Electronic Colloquium on Computational Complexity. 2004. Available online: eccc.uni-trier.de/eccc-reports/2004/TR04-109/Paper.pdf (accessed on 12 June 2021).
  3. Maxson, C.J. (0,1)-matrices and semigroups of ring endomorphisms. Semigroup Forum 1972, 5, 160–166. [Google Scholar] [CrossRef]
  4. Schreier, I. Über Abbildungen einer abstrakten Menge Auf ihre Teilmengen. Fund. Math. 1936, 28, 261–264. [Google Scholar] [CrossRef]
  5. Mal’cev, A.I. Symmetric grouppoids. Mat. Sbornik N.S. 1952, 31, 136–151. (In Russian) [Google Scholar]
  6. Gluskin, L.M. Semigroups and ring endomorphisms of linear spaces I’. Amer. Math. Soc. Transl. 1965, 45, 105–137. [Google Scholar]
  7. Formanek, E. A question of B. Plotkin about the semigroup of endomorphisms of a free group. Proc. Amer. Math. Soc. 2002, 130, 935–937. [Google Scholar] [CrossRef]
  8. Levi, I. Automorphisms of normal transformation semigroups. Proc. Edinb. Math. Soc. 1985, 28, 185–205. [Google Scholar] [CrossRef] [Green Version]
  9. Levi, I. Automorphisms of normal partial transformation semigroups. Glasg. Math. J. 1987, 29, 149–157. [Google Scholar] [CrossRef] [Green Version]
  10. Liber, A.E. On symmetric generalized groups. Mat. Sbornik N.S. 1953, 33, 531–544. (In Russian) [Google Scholar]
  11. Magill, K.D., Jr. Semigroup structures for families of functions, I. Some homomorphism theorems. J. Aust. Math. Soc. 1967, 7, 81–94. [Google Scholar] [CrossRef] [Green Version]
  12. Mashevitzky, G.; Schein, B.M. Automorphisms of the endomorphism semigroup of a free monoid or a free semigroup. Proc. Amer. Math. Soc. 2003, 131, 1655–1660. [Google Scholar] [CrossRef]
  13. Schein, B.M. Ordered sets, semilattices, distributive lattices and Boolean algebras with homomorphic endomorphism semigroups. Fund. Math. 1970, 68, 31–50. [Google Scholar] [CrossRef] [Green Version]
  14. Sullivan, R.P. Automorphisms of transformation semigroups. J. Aust. Math. Soc. 1975, 20, 77–84. [Google Scholar] [CrossRef] [Green Version]
  15. Sutov, E.G. Homomorphisms of the semigroup of all partial transformations. Izv. Vyss. Ucebn. Zaved. Mat. 1961, 3, 177–184. (In Russian) [Google Scholar]
  16. Rips, E. Preface [Special issue on papers from the Conference in Honor of the 80th Birthday of Professor Boris I. Plotkin]. Int. J. Algebra Comput. 2007, 17, v–vii. [Google Scholar]
  17. Araujo, J.; Konieczny, J. General theorems on automorphisms of semigroups and their applications. J. Aust. Math. Soc. 2008, 87, 1–17. [Google Scholar] [CrossRef] [Green Version]
  18. Stone, M.H. The theory of representations for Boolean algebras. Trans. Amer. Math. Soc. 1936, 40, 37–111. [Google Scholar]
  19. Levitzki, J. On automorphisms of certain rings. Ann. Math. 1935, 36, 984–992. [Google Scholar] [CrossRef]
  20. Magill, K.D., Jr. The semigroup of endomorphisms of a Boolean ring. J. Austral. Math. Soc. 1970, 11, 411–416. [Google Scholar] [CrossRef]
  21. Maxson, C.J. On semigroups of Boolean ring endomorphisms. Semigroup Forum 1972, 4, 78–82. [Google Scholar] [CrossRef]
  22. Maxson, C.J. On endomorphisms and partial transformations. Semigroup Forum 1972, 5, 77–80. [Google Scholar] [CrossRef]
  23. Maxson, C.J. Endomorphism semigroups of finite subset algebras. Discrete Math. 1974, 10, 133–144. [Google Scholar] [CrossRef] [Green Version]
  24. Rickart, C.E. One-to-one mappings of rings and lattices. Bull. Amer. Math. Soc. 1948, 54, 758–764. [Google Scholar] [CrossRef] [Green Version]
  25. Lang, S. Algebra; Addison-Wesley: Boston, MA, USA, 1993. [Google Scholar]
  26. McCoy, N.H. Rings and Ideals; MAA Carus Monograph No. 8; MAA: Washington, DC, USA, 1948. [Google Scholar]
  27. Dummit, D.S.; Foote, R.M. Abstract Algebra, 3rd ed.; John Wiley and Sons: Hoboken, NJ, USA, 2004. [Google Scholar]
  28. Krull, W. Ideal theorie in Ringen ohne Endlickeitsbedingungen. Math. Ann. 1929, 101, 729–744. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Al Subaiei, B.; Jarboui, N. On the Monoid of Unital Endomorphisms of a Boolean Ring. Axioms 2021, 10, 305. https://doi.org/10.3390/axioms10040305

AMA Style

Al Subaiei B, Jarboui N. On the Monoid of Unital Endomorphisms of a Boolean Ring. Axioms. 2021; 10(4):305. https://doi.org/10.3390/axioms10040305

Chicago/Turabian Style

Al Subaiei, Bana, and Noômen Jarboui. 2021. "On the Monoid of Unital Endomorphisms of a Boolean Ring" Axioms 10, no. 4: 305. https://doi.org/10.3390/axioms10040305

APA Style

Al Subaiei, B., & Jarboui, N. (2021). On the Monoid of Unital Endomorphisms of a Boolean Ring. Axioms, 10(4), 305. https://doi.org/10.3390/axioms10040305

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop