Showing 1–17 of 17 results for author: Mimouni, A

The reverse mathematics of the pigeonhole hierarchy

Authors: Quentin Le Houérou, Ludovic Levy Patey, Ahmed Mimouni

Abstract: The infinite pigeonhole principle for $k$ colors ($\mathsf{RT}_k$) states, for every $k$-partition $A_0 \sqcup \dots \sqcup A_{k-1} = \mathbb{N}$, the existence of an infinite subset~$H \subseteq A_i$ for some~$i < k$. This seemingly trivial combinatorial principle constitutes the basis of Ramsey's theory, and plays a very important role in computability and proof theory. In this article, we study… ▽ More The infinite pigeonhole principle for $k$ colors ($\mathsf{RT}_k$) states, for every $k$-partition $A_0 \sqcup \dots \sqcup A_{k-1} = \mathbb{N}$, the existence of an infinite subset~$H \subseteq A_i$ for some~$i < k$. This seemingly trivial combinatorial principle constitutes the basis of Ramsey's theory, and plays a very important role in computability and proof theory. In this article, we study the infinite pigeonhole principle at various levels of the arithmetical hierarchy from both a computability-theoretic and reverse mathematical viewpoint. We prove that this hierarchy is strict over~$\mathsf{RCA}_0$ using an elaborate iterated jump control construction, and study its first-order consequences. This is part of a large meta-mathematical program studying the computational content of combinatorial theorems. △ Less

Submitted 1 July, 2024; originally announced July 2024.

MSC Class: 03B30; 03F30; 05D10; 03D80 ACM Class: F.4.1

The weakness of the Erdős-Moser theorem under arithmetic reductions

Authors: Ludovic Levy Patey, Ahmed Mimouni

Abstract: The Erdős-Moser theorem $(\mathsf{EM})$ says that every infinite tournament admits an infinite transitive subtournament. We study the computational behavior of the Erdős-Moser theorem with respect to the arithmetic hierarchy, and prove that $Δ^0_n$ instances of $\mathsf{EM}$ admit low${}_{n+1}$ solutions for every $n \geq 1$, and that if a set $B$ is not arithmetical, then every instance of… ▽ More The Erdős-Moser theorem $(\mathsf{EM})$ says that every infinite tournament admits an infinite transitive subtournament. We study the computational behavior of the Erdős-Moser theorem with respect to the arithmetic hierarchy, and prove that $Δ^0_n$ instances of $\mathsf{EM}$ admit low${}_{n+1}$ solutions for every $n \geq 1$, and that if a set $B$ is not arithmetical, then every instance of $\mathsf{EM}$ admits a solution relative to which $B$ is still not arithmetical. We also provide a level-wise refinement of this theorem. These results are part of a larger program of computational study of combinatorial theorems in Reverse Mathematics. △ Less

Submitted 27 October, 2023; originally announced October 2023.

MSC Class: 03B30

Ideal Containment in Commutative Rings

Authors: Abdeslam Mimouni

Abstract: Let $R$ be a commutative ring with identity. An ideal $I$ of $R$ is said to be a big ideal (resp. an upper big ideal) if whenever $J\subsetneqq I$ (resp. $I\subsetneqq J$), $J^{n}\subsetneqq I^{n}$ (resp. $I^{n}\subsetneqq J^{n}$) for every $n\geq 1$; and $R$ itself is a big ideal ring provided that every ideal of $R$ is a big ideal. In this paper we study the notions of big ideals, upper big idea… ▽ More Let $R$ be a commutative ring with identity. An ideal $I$ of $R$ is said to be a big ideal (resp. an upper big ideal) if whenever $J\subsetneqq I$ (resp. $I\subsetneqq J$), $J^{n}\subsetneqq I^{n}$ (resp. $I^{n}\subsetneqq J^{n}$) for every $n\geq 1$; and $R$ itself is a big ideal ring provided that every ideal of $R$ is a big ideal. In this paper we study the notions of big ideals, upper big ideals and big ideal rings in different contexts of commutative rings such us integrally closed domains, pullbacks and trivial ring extensions etc. We show that the notions of big and upper big ideals are completely different. The notion of big ideal is correlated to the notion of basic ideal and the notion of upper big ideal is correlated to the notion of $\mathcal{C}$-ideals. We give a new characterization of Prüfer domains via big ideal domains and we characterize some particular cases of pullback rings that are big ideal domains. Also we give some classes of big and upper big ideals in rings with zero-divisors via trivial ring extensions. △ Less

Submitted 9 March, 2022; v1 submitted 1 November, 2021; originally announced November 2021.

Comments: 13 pages

Finitely Star Regular Domains

Authors: A. Mimouni

Abstract: Let $R$ be an integral domain, $Star(R)$ the set of all star operations on $R$ and $StarFC(R)$ the set of all star operations of finite type on $R$. Then $R$ is said to be star regular if $|Star(T)|\leq |Star(R)|$ for every overring $T$ of $R$. In this paper we introduce the notion of finitely star regular domain as an integral domain $R$ such that $|StarFC(T)|\leq |StarFC(R)|$ for each overring… ▽ More Let $R$ be an integral domain, $Star(R)$ the set of all star operations on $R$ and $StarFC(R)$ the set of all star operations of finite type on $R$. Then $R$ is said to be star regular if $|Star(T)|\leq |Star(R)|$ for every overring $T$ of $R$. In this paper we introduce the notion of finitely star regular domain as an integral domain $R$ such that $|StarFC(T)|\leq |StarFC(R)|$ for each overring $T$ of $R$. First, we show that the notions of star regular and finitely star regular domains are completely different and do not imply each other. Next, we extend/generalize well-known results on star regularity in Noetherian and Prüfer contexts to finitely star regularity. Also we handle the finite star regular domains issued from classical pullback constructions to construct finitely star regular domains that are not star regular and enriches the literature with a such class of domains. △ Less

Submitted 1 September, 2021; originally announced September 2021.

Comments: 12 pages

On t-reductions of ideals in pullbacks

Authors: S. Kabbaj, A. Kadri, A. Mimouni

Abstract: This paper investigates t-reductions of ideals in pullback constructions. Section 2 examines the correlation between the notions of reduction and t-reduction in pseudo-valuation domains. Section 3 solves an open problem on whether the finite t-basic and v-basic ideal properties are distinct. We prove that these two notions coincide in any arbitrary domain. Section 4 features the main result, which… ▽ More This paper investigates t-reductions of ideals in pullback constructions. Section 2 examines the correlation between the notions of reduction and t-reduction in pseudo-valuation domains. Section 3 solves an open problem on whether the finite t-basic and v-basic ideal properties are distinct. We prove that these two notions coincide in any arbitrary domain. Section 4 features the main result, which establishes the transfer of the finite t-basic ideal property to pullbacks in line with Fontana-Gabelli's result on PvMDs and Gabelli-Houston's result on v-domains. This allows us to enrich the literature with new families of examples, which put the class of domains subject to the finite t-basic ideal property strictly between the two classes of v-domains and integrally closed domains. △ Less

Submitted 22 July, 2016; originally announced July 2016.

Comments: 12 pages. New York Journal of Mathematics 2016

MSC Class: 13A15; 13A18; 13F05; 13G05; 13C20

Journal ref: New York Journal of Mathematics 22 (2016) 875-889

Integral domains with Boolean t-Class semigroup

Authors: S. Kabbaj, A. Mimouni

Abstract: The t-class semigroup of an integral domain is the semigroup of the isomorphy classes of the t-ideals with the operation induced by t-multiplication. This paper investigates integral domains with Boolean t-class semigroup with an emphasis on the GCD and stability conditions. The main results establish t-analogues for well-known results on Prufer domains and Bezout domains of finite character. The t-class semigroup of an integral domain is the semigroup of the isomorphy classes of the t-ideals with the operation induced by t-multiplication. This paper investigates integral domains with Boolean t-class semigroup with an emphasis on the GCD and stability conditions. The main results establish t-analogues for well-known results on Prufer domains and Bezout domains of finite character. △ Less

Submitted 28 January, 2016; originally announced January 2016.

Comments: 8 pages

MSC Class: 13C20; 13F05; 11R65; 11R29; 20M14

Journal ref: Arabian Journal of Mathematics (Springer) 1 (1) (2012) 89-95

On Armendariz-like properties in Amalgamated algebras along ideals

Authors: N. Mahdou, A. Mimouni, M. elOuarrachi

Abstract: Let $f: A\rightarrow B$ be a ring homomorphism and $J$ be an ideal of $B$. In this paper, we investigate the transfer of Armendariz-like properties to the amalgamation of $A$ with $B$ along $J$ with respect to $f$ (denoted by $A\bowtie^fJ)$ introduced and studied by D'Anna, Finocchiaro and Fontana in 2009. Our aim is to provide necessary and sufficient conditions for $A\bowtie^fJ,$ to be an Armend… ▽ More Let $f: A\rightarrow B$ be a ring homomorphism and $J$ be an ideal of $B$. In this paper, we investigate the transfer of Armendariz-like properties to the amalgamation of $A$ with $B$ along $J$ with respect to $f$ (denoted by $A\bowtie^fJ)$ introduced and studied by D'Anna, Finocchiaro and Fontana in 2009. Our aim is to provide necessary and sufficient conditions for $A\bowtie^fJ,$ to be an Armendariz ring, nil-Armendariz ring and weak Armendariz ring. △ Less

Submitted 3 November, 2015; originally announced November 2015.

Corregindium: Krull dimension, Overrings and Semistar operations of an integral Domain

Authors: Abdeslam Mimouni

Abstract: In this note we present a corregindium to our paper "Krull dimension, Overrings and Semistar operations of an integral Domain", Journal of Algebra, 321 (2009), 1497--1509. In this note we present a corregindium to our paper "Krull dimension, Overrings and Semistar operations of an integral Domain", Journal of Algebra, 321 (2009), 1497--1509. △ Less

Submitted 31 May, 2012; originally announced May 2012.

Journal ref: Journal of Algebra, 321 (2009), 1497--1509

Duals and Transforms of Ideals in PVMDs

Authors: A. BenObaid, A. Mimouni

Abstract: In this paper we study when the dual of a $t$-ideal in a $PVMD$ is a ring? and we treat the question when it coincides with its endomorphism ring. We also study particular classes of overrings of PVMDs. Specially, we investigate the Nagata transform and the endomorphism ring of ideals in PVMDs in an attempt to establish analogues for well-known results on overrings of Prüfer domains. In this paper we study when the dual of a $t$-ideal in a $PVMD$ is a ring? and we treat the question when it coincides with its endomorphism ring. We also study particular classes of overrings of PVMDs. Specially, we investigate the Nagata transform and the endomorphism ring of ideals in PVMDs in an attempt to establish analogues for well-known results on overrings of Prüfer domains. △ Less

Submitted 15 April, 2009; originally announced April 2009.

MSC Class: 13A15; 13A18; 13F05

Well-centered Overrings of a Commutative Ring in Pullbacks and Trivial Extensions

Authors: N. Mahdou, A. Mimouni

Abstract: Let $R$ be a commutative ring with identity and $T(R)$ its total quotient ring. We extend the notion of well-centered overring of an integral domain to an arbitrary commutative ring and we investigate the transfer of this property to different extensions of commutative rings in both integral and non-integral cases. Namely in pullbacks and trivial extensions. Our aim is to provide new classes of… ▽ More Let $R$ be a commutative ring with identity and $T(R)$ its total quotient ring. We extend the notion of well-centered overring of an integral domain to an arbitrary commutative ring and we investigate the transfer of this property to different extensions of commutative rings in both integral and non-integral cases. Namely in pullbacks and trivial extensions. Our aim is to provide new classes of commutative rings satisfying this property and to shed light on some open questions raised by Heinzer and Roitman in \cite{HR}. △ Less

Submitted 29 March, 2009; originally announced March 2009.

t-Class semigroups of Noetherian domains

Authors: S. Kabbaj, A. Mimouni

Abstract: The t-class semigroup of an integral domain is the semigroup of fractional t-ideals modulo its subsemigroup of nonzero principal ideals with the operation induced by ideal t-multiplication. This paper investigates ring-theoretic properties of a Noetherian domain that reflect reciprocally in the Clifford or Boolean property of its t-class semigroup. The t-class semigroup of an integral domain is the semigroup of fractional t-ideals modulo its subsemigroup of nonzero principal ideals with the operation induced by ideal t-multiplication. This paper investigates ring-theoretic properties of a Noetherian domain that reflect reciprocally in the Clifford or Boolean property of its t-class semigroup. △ Less

Submitted 28 November, 2008; originally announced November 2008.

Comments: 9 pages. To appear in Commutative Algebra and Applications, Walter de Gruyter, Berlin, Germany, 2009

MSC Class: 13C20; 13F05; 11R65; 11R29; 20M14

Journal ref: Commutative Algebra and its Applications, pages 283-290, 2009

Ratliff-Rush Closure of Ideals in Integral Domains

Authors: Abdeslam Mimouni

Abstract: This paper studies the Ratliff-Rush closure of ideals in integral domains. By definition, the Ratliff-Rush closure of an ideal $I$ of a domain $R$ is the ideal given by $\tilde{I}:=\bigcup(I^{n+1}:_{R}I^{n})$ and an ideal $I$ is said to be a Ratliff-Rush ideal if $\tilde{I}=I$. We completely characterize integrally closed domains in which every ideal is a Ratliff-Rush ideal and we give a complet… ▽ More This paper studies the Ratliff-Rush closure of ideals in integral domains. By definition, the Ratliff-Rush closure of an ideal $I$ of a domain $R$ is the ideal given by $\tilde{I}:=\bigcup(I^{n+1}:_{R}I^{n})$ and an ideal $I$ is said to be a Ratliff-Rush ideal if $\tilde{I}=I$. We completely characterize integrally closed domains in which every ideal is a Ratliff-Rush ideal and we give a complete description of the Ratliff-Rush closure of an ideal in a valuation domain. △ Less

Submitted 11 February, 2008; v1 submitted 29 May, 2007; originally announced May 2007.

Comments: 10 pages

MSC Class: 13A15; 13A18

Note on the star operations over polynomial rings

Authors: Abdeslam Mimouni

Abstract: This paper studies the notions of star and semistar operations over a polynomial ring. It aims at characterizing when every upper to zero in $R[X]$ is a $*$-maximal ideal and when a $*$-maximal ideal $Q$ of $R[X]$ is extended from $R$, that is, $Q=(Q\cap R)[X]$ with $Q\cap R\not =0$, for a given star operation of finite character $*$ on $R[X]$. We also answer negatively some questions raised by… ▽ More This paper studies the notions of star and semistar operations over a polynomial ring. It aims at characterizing when every upper to zero in $R[X]$ is a $*$-maximal ideal and when a $*$-maximal ideal $Q$ of $R[X]$ is extended from $R$, that is, $Q=(Q\cap R)[X]$ with $Q\cap R\not =0$, for a given star operation of finite character $*$ on $R[X]$. We also answer negatively some questions raised by Anderson-Clarke by constructing a Prüfer domain $R$ for which the $v$-operation is not stable. △ Less

Submitted 15 November, 2007; v1 submitted 6 February, 2007; originally announced February 2007.

Comments: 9 pages

MSC Class: 13A15; 13F20

On the Set of $t$-Linked Overrings of an integral domain

Authors: Abdeslam Mimouni

Abstract: et $R$ be an integral domain with quotient field $L$. An overring $T$ of $R$ is $t$-linked over $R$ if $I^{-1}=R$ implies that $(T:IT)=T$ for each finitely generated ideal $I$ of $R$. Let $O_{t}(R)$ denotes the set of all $t$-linked overrings of $R$ and $O(R)$ the set of all overrings of $R$. The purpose of this paper is to study some finiteness conditions on the set $O_{t}(R)$. Particularly, we… ▽ More et $R$ be an integral domain with quotient field $L$. An overring $T$ of $R$ is $t$-linked over $R$ if $I^{-1}=R$ implies that $(T:IT)=T$ for each finitely generated ideal $I$ of $R$. Let $O_{t}(R)$ denotes the set of all $t$-linked overrings of $R$ and $O(R)$ the set of all overrings of $R$. The purpose of this paper is to study some finiteness conditions on the set $O_{t}(R)$. Particularly, we prove that if $O_{t}(R)$ is finite, then so is $O(R)$ and $O_{t}(R)=O(R)$, and if each chain of $t$-linked overrings of $R$ is finite, then each chain of overrings of $R$ is finite. This yields that the $t$-linked approach is more efficient than the Gilmer's treatment in \cite{G1}. We also examine the finiteness conditions in some Noetherian-like settings such as Mori domain, quasicoherent Mori domain, Krull domain etc. We establish a connection between $O_{t}(R)$ and the set of all strongly divisorial ideals of $R$ and we conclude by a characterization of domains $R$ that are $t$-linked under all their overrings. △ Less

Submitted 15 November, 2007; v1 submitted 18 November, 2006; originally announced November 2006.

Comments: 14 pages

MSC Class: 13G05; 13F05 (Primary); 13B02; 13B22 (Secondary)

Constituent Groups of Clifford Semigroups Arising from t-Closure

Authors: S. Kabbaj, A. Mimouni

Abstract: The t-class semigroup of an integral domain R, denoted S_t(R), is the semigroup of fractional t-ideals modulo its subsemigroup of nonzero principal ideals with the operation induced by ideal t-multiplication. We recently proved that if R is a Krull-type domain, then S_t(R) is a Clifford semigroup. This paper aims to describe the idempotents of S_t(R) and the structure of their associated groups.… ▽ More The t-class semigroup of an integral domain R, denoted S_t(R), is the semigroup of fractional t-ideals modulo its subsemigroup of nonzero principal ideals with the operation induced by ideal t-multiplication. We recently proved that if R is a Krull-type domain, then S_t(R) is a Clifford semigroup. This paper aims to describe the idempotents of S_t(R) and the structure of their associated groups. We extend and recover well-known results on class semigroups of valuation domains and Prufer domains of finite character. △ Less

Submitted 6 December, 2008; v1 submitted 10 November, 2006; originally announced November 2006.

Comments: 13 pages. To appear in Journal of Algebra

MSC Class: 13C20; 13F05; 11R65; 11R29; 20M14

Journal ref: Journal of Algebra 321 (2009) 1443--1452

Class Semigroups of Integral Domains

Authors: S. Kabbaj, A. Mimouni

Abstract: This paper seeks ring-theoretic conditions of an integral domain R that reflect in the Clifford property or Boolean property of its class semigroup S(R), that is, the semigroup of the isomorphy classes of the nonzero (integral) ideals of R with the operation induced by multiplication. Precisely, in Section 3, we characterize integrally closed domains with Boolean class semigoup; in this case, S(… ▽ More This paper seeks ring-theoretic conditions of an integral domain R that reflect in the Clifford property or Boolean property of its class semigroup S(R), that is, the semigroup of the isomorphy classes of the nonzero (integral) ideals of R with the operation induced by multiplication. Precisely, in Section 3, we characterize integrally closed domains with Boolean class semigoup; in this case, S(R) identifies with the Boolean semigroup formed of all fractional overrings of R. In Section 4, we investigate Noetherian-like settings where the Clifford and Boolean properties of S(R) coincide with (Lipman and Sally-Vasconcelos) stability conditions; a main feature is that the Clifford property forces t-locally Noetherian domains to be one-dimensional Noetherian domains. Section 5 studies the transfer of the Clifford and Boolean properties to various pullback constructions. Our results lead to new families of integral domains with Clifford or Boolean class semigroup, moving therefore beyond the contexts of integrally closed domains or Noetherian domains. △ Less

Submitted 27 June, 2006; originally announced June 2006.

Comments: 19 pages

MSC Class: 13C20; 13F05; 13F30; 13A15; 13B22; 13G05; 20M14; 11R29

Journal ref: J. Algebra 264 (2) (2003) 620-640

t-Class Semigroups of Integral Domains

Authors: S. Kabbaj, A. Mimouni

Abstract: The t-class semigroup of an integral domain is the semigroup of the isomorphy classes of the t-ideals with the operation induced by ideal t-multiplication. This paper investigates ring-theoretic properties of an integral domain that reflect reciprocally in the Clifford or Boolean property of its t-class semigroup. Contexts (including Lipman and Sally-Vasconcelos stability) that suit best t-multi… ▽ More The t-class semigroup of an integral domain is the semigroup of the isomorphy classes of the t-ideals with the operation induced by ideal t-multiplication. This paper investigates ring-theoretic properties of an integral domain that reflect reciprocally in the Clifford or Boolean property of its t-class semigroup. Contexts (including Lipman and Sally-Vasconcelos stability) that suit best t-multiplication are studied in an attempt to generalize well-known developments on class semigroups. We prove that a Prufer v-multiplication domain (PVMD) is of Krull type (in the sense of Griffin) if and only if its t-class semigroup is Clifford. This extends Bazzoni and Salce's results on valuation domains and Prufer domains. We also characterize GCD domains with Boolean t-class semigroup, recovering thus recent results on Bezout domains. △ Less

Submitted 12 September, 2007; v1 submitted 25 June, 2006; originally announced June 2006.

Comments: Section 4 was removed. J. Reine Angew. Math. (to appear), 17 pages

MSC Class: 13C20; 13F05; 11R65; 11R29; 20M14

Journal ref: J. Reine Angew. Math. 612 (2007) 213-229