English
Related papers

Related papers: On $\kappa$-homogeneous, but not $\kappa$-transiti…

200 papers

Let $\Omega$ be a set of cardinality $n$, $G$ a permutation group on $\Omega$, and $f:\Omega\to\Omega$ a map which is not a permutation. We say that $G$ \emph{synchronizes} $f$ if the transformation semigroup $\langle G,f\rangle$ contains a…

Group Theory · Mathematics 2018-05-16 João Araújo , Wolfram Bentz , Peter J. Cameron , Gordon Royle , Artur Schaefer

Given a good homology theory E and a topological space X, the E-homology of X is not just an E_{*}-module but also a comodule over the Hopf algebroid (E_{*}, E_{*}E). We establish a framework for studying the homological algebra of…

Algebraic Topology · Mathematics 2007-05-23 Mark Hovey

We show a new proof for the fact that when $\kappa$ and $\lambda$ are infinite cardinals satisfying $\lambda ^ \kappa = \lambda$, the cofinality of the set of all functions from $\lambda$ to $\kappa$ ordered by everywhere domination is…

Logic · Mathematics 2014-05-06 Dan Hathaway

Over a field of characteristic 0, every ring of invariants of a finite group is Cohen-Macaulay. This is not true for fields of positive characteristic. We consider permutation representations and their invariant rings over fields…

Commutative Algebra · Mathematics 2026-03-20 H. E. A. Campbell , David L. Wehlau

Motivated by recent results and questions of D. Raghavan and S. Shelah, we present ZFC theorems on the bounding and various almost disjointness numbers, as well as on reaping and dominating families on uncountable, regular cardinals. We…

Logic · Mathematics 2018-03-09 Vera Fischer , Daniel T. Soukup

It is shown that if T is stable unsuperstable, and aleph_1< lambda =cf(lambda)< 2^{aleph_0}, or 2^{aleph_0} < mu^+< lambda =cf(lambda)< mu^{aleph_0} then T has no universal model in cardinality lambda, and if e.g. aleph_omega < 2^{aleph_0}…

Logic · Mathematics 2016-09-06 Menachem Kojman , Saharon Shelah

If $\kappa$ is regular and $2^{<\kappa}\leq\kappa^+$, then the existence of a weakly presaturated ideal on $\kappa^+$ implies $\square^*_\kappa$. This partially answers a question of Foreman and Magidor about the approachability ideal on…

Logic · Mathematics 2020-10-01 Sean Cox , Monroe Eskew

We study unimodular transformations of conservative $L$-systems. Classes $\sM^Q$, $\sM^Q_\kappa$, $\sM^{-1,Q}_\kappa$ that are impedance functions of the corresponding $L$-systems are introduced. A unique unimodular transformation of a…

Spectral Theory · Mathematics 2016-08-31 Sergey Belyi , Konstantin Makarov , Eduard Tsekanovskii

Suppose $\kappa$ is $\lambda$-supercompact witnessed by an elementary embedding $j:V\rightarrow M$ with critical point $\kappa$, and further suppose that $F$ is a function from the class of regular cardinals to the class of cardinals…

Logic · Mathematics 2013-11-05 Brent Cody , Sy-David Friedman , Radek Honzik

For infinite cardinals $\kappa,\lambda$ let $C(\kappa,\lambda)$ denote the class of all compact Hausdorff spaces of weight $\kappa$ and size $\lambda$. So $C(\kappa,\lambda)=\emptyset$ if $\kappa>\lambda$ or $\lambda>2^\kappa$. If F is a…

General Topology · Mathematics 2025-12-17 Gerald Kuba

Take $G$ a locally compact second-countable group, and $H$ a subgroup of $G$. Choose $\mu$ a probability measure on $G$, such that the group spanned by its support is dense in $G$, and consider the Markov chain on the homogeneous space…

Dynamical Systems · Mathematics 2016-07-20 Caroline Bruère

Given a finite group G and a field F, a G-set X gives rise to an F[G]-permutation module F[X]. This defines a map from the Burnside ring of G to its representation ring over F. It is an old problem in representation theory, with…

Representation Theory · Mathematics 2019-02-06 Alex Bartel , Matthew Spencer

A classical theorem of Hechler asserts that the structure $\left(\omega^\omega,\le^*\right)$ is universal in the sense that for any $\sigma$-directed poset P with no maximal element, there is a ccc forcing extension in which…

Logic · Mathematics 2020-04-21 Gabriel Fernandes , Miguel Moreno , Assaf Rinot

We develop an extension of the usual theory of formal group laws where the base ring is not required to be commutative and where the formal variables need neither be central nor have to commute with each other. We show that this is the…

Algebraic Topology · Mathematics 2024-07-08 Christian Nassau

Let $G$ be a closed highly homogeneous subgroup of $S_{\infty}$ not involving circular orderings. We show that the closure of a conjugacy class from $G$ contains a conjugacy class which is comeagre in it. Furthermore, we show that the…

Logic · Mathematics 2025-04-23 Monika Drzewiecka , Aleksander Ivanov , Bartosz Mokry

Let kappa a regular uncountable cardinal and lambda a cardinal >kappa, and suppose lambda^{<kappa} is less than the covering number for category cov(M_{kappa,kappa}). Then (a) I_{kappa,lambda}^+ -->^kappa (I_{kappa, lambda}^+,omega +1)^2,…

Logic · Mathematics 2007-05-23 Pierre Matet , Saharon Shelah

This paper contributes to the characterization of a certain class of commutative Hopf algebroids. It is shown that a commutative flat Hopf algebroid with a non zero base ring and a nonempty character groupoid is geometrically transitive if…

Commutative Algebra · Mathematics 2018-01-03 Laiachi El Kaoutit

We continue [Sh:b, Ch XIII] and [Sh:410]. Let W be an inner model of ZFC. Let kappa be a cardinal in V. We say that kappa-covering holds between V and W iff for all X in V with X subseteq ON and V models |X|< kappa, there exists Y in W such…

Logic · Mathematics 2016-09-06 Saharon Shelah

Given a permutation group $G$, the derangement graph of $G$ is the Cayley graph with connection set the derangements of $G$. The group $G$ is said to be innately transitive if $G$ has a transitive minimal normal subgroup. Clearly, every…

Group Theory · Mathematics 2024-04-24 Marco Fusari , Andrea Previtali , Pablo Spiga

Given any $\lambda\leq\kappa$, we construct a symmetric extension in which there is a set $X$ such that $\aleph(X)=\lambda$ and $\aleph^*(X)=\kappa$. Consequently, we show that $\mathsf{ZF}+$"For all pairs of infinite cardinals…

Logic · Mathematics 2024-08-16 Asaf Karagila , Calliope Ryan-Smith