Showing 1–32 of 32 results for author: Kunen, K

Loops with universal and semi-universal flexibility

Authors: Riley Britten, Michael Kinyon, Kenneth Kunen, J. D. Phillips

Abstract: We study loops which are universal (that is, isotopically invariant) with respect to the property of flexibility ($xy\cdot x = x\cdot yx$). We also weaken this to semi-universality, that is, loops in which every left and right isotope is flexible, but not necessarily every isotope. One of our main results is that universally flexible, inverse property loops are Moufang loops. On the other hand, se… ▽ More We study loops which are universal (that is, isotopically invariant) with respect to the property of flexibility ($xy\cdot x = x\cdot yx$). We also weaken this to semi-universality, that is, loops in which every left and right isotope is flexible, but not necessarily every isotope. One of our main results is that universally flexible, inverse property loops are Moufang loops. On the other hand, semi-universally flexible, inverse property loops are diassociative. We also examine the relationship between universally flexible loops and middle Bol loops. The paper concludes with some open problems. △ Less

Submitted 10 December, 2023; originally announced December 2023.

Comments: 13pp

MSC Class: 20N05

Seven characterizations of non-meager P-filters

Authors: Kenneth Kunen, Andrea Medini, Lyubomyr Zdomskyy

Abstract: We give several topological/combinatorial conditions that, for a filter on $ω$, are equivalent to being a non-meager $\mathsf{P}$-filter. In particular, we show that a filter is countable dense homogeneous if and only if it is a non-meager $\mathsf{P}$-filter. Here, we identify a filter with a subspace of $2^ω$ through characteristic functions. Along the way, we generalize to non-meager… ▽ More We give several topological/combinatorial conditions that, for a filter on $ω$, are equivalent to being a non-meager $\mathsf{P}$-filter. In particular, we show that a filter is countable dense homogeneous if and only if it is a non-meager $\mathsf{P}$-filter. Here, we identify a filter with a subspace of $2^ω$ through characteristic functions. Along the way, we generalize to non-meager $\mathsf{P}$-filters a result of Miller about $\mathsf{P}$-points, and we employ and give a new proof of results of Marciszewski. We also employ a theorem of Hernández-Gutiérrez and Hrušák, and answer two questions that they posed. Our result also resolves several issues raised by Medini and Milovich, and proves false one "theorem" of theirs. Furthermore, we show that the statement "Every non-meager filter contains a non-meager $\mathsf{P}$-subfilter" is independent of $\mathsf{ZFC}$ (more precisely, it is a consequence of $\mathfrak{u}<\mathfrak{g}$ and its negation is a consequence of $\Diamond$). It follows from results of Hrušák and van Mill that, under $\mathfrak{u}<\mathfrak{g}$, a filter has less than $\mathfrak{c}$ types of countable dense subsets if and only if it is a non-meager $\mathsf{P}$-filter. In particular, under $\mathfrak{u}<\mathfrak{g}$, there exists an ultrafilter with $\mathfrak{c}$ types of countable dense subsets. We also show that such an ultrafilter exists under $\mathsf{MA(countable)}$. △ Less

Submitted 3 October, 2014; v1 submitted 7 November, 2013; originally announced November 2013.

Comments: 17 pages

Irredundant Sets in Atomic Boolean Algebras

Authors: Kenneth Kunen

Abstract: Assuming GCH, we construct an atomic boolean algebra whose pi-weight is strictly less than the least size of a maximal irredundant family. Assuming GCH, we construct an atomic boolean algebra whose pi-weight is strictly less than the least size of a maximal irredundant family. △ Less

Submitted 29 October, 2014; v1 submitted 12 July, 2013; originally announced July 2013.

Comments: This version corrects some errors in the original arXiv version

MSC Class: 06E05; 03E35; 03E17

The structure of automorphic loops

Authors: Michael Kinyon, Ken Kunen, J. D. Phillips, Petr Vojtechovsky

Abstract: Automorphic loops are loops in which all inner mappings are automorphisms. This variety of loops includes, for instance, groups and commutative Moufang loops. We study uniquely 2-divisible automorphic loops, particularly automorphic loops of odd order, from the point of view of the associated Bruck loops (motivated by Glauberman's work on uniquely 2-divisible Moufang loops) and the associated Li… ▽ More Automorphic loops are loops in which all inner mappings are automorphisms. This variety of loops includes, for instance, groups and commutative Moufang loops. We study uniquely 2-divisible automorphic loops, particularly automorphic loops of odd order, from the point of view of the associated Bruck loops (motivated by Glauberman's work on uniquely 2-divisible Moufang loops) and the associated Lie rings (motivated by a construction of Wright). We prove that every automorphic loop $Q$ of odd order is solvable, contains an element of order $p$ for every prime $p$ dividing $|Q|$, and $|S|$ divides $|Q|$ for every subloop $S$ of $Q$. There are no finite simple nonassociative commutative automorphic loops, and there are no finite simple nonassociative automorphic loops of order less than 2500. We show that if $Q$ is a finite simple nonassociative automorphic loop then the socle of the multiplication group of $Q$ is not regular. The existence of a finite simple nonassociative automorphic loop remains open. Let $p$ be an odd prime. Automorphic loops of order $p$ or $p^2$ are groups, but there exist nonassociative automorphic loops of order $p^3$, some with trivial nucleus (center) and of exponent $p$. We construct nonassociative "dihedral" automorphic loops of order $2n$ for every $n>2$, and show that there are precisely $p-2$ nonassociative automorphic loops of order $2p$, all of them dihedral. △ Less

Submitted 5 October, 2012; originally announced October 2012.

Comments: 27 pages

MSC Class: 20N05

Homeomorphisms with Small Twist

Authors: Kenneth Kunen

Abstract: We extend Baumgartner's result on isomorphisms of aleph_1 dense subsets of the reals R in two ways: First, the function can be made to be absolutely continuous. Second, one can replace R by R^n. We extend Baumgartner's result on isomorphisms of aleph_1 dense subsets of the reals R in two ways: First, the function can be made to be absolutely continuous. Second, one can replace R by R^n. △ Less

Submitted 26 February, 2012; originally announced February 2012.

Comments: 31 pages

MSC Class: 03E35

Transfinite Sequences of Continuous and Baire Class 1 Functions

Authors: Márton Elekes, Kenneth Kunen

Abstract: The set of continuous or Baire class 1 functions defined on a metric space $X$ is endowed with the natural pointwise partial order. We investigate how the possible lengths of well-ordered monotone sequences (with respect to this order) depend on the space $X$. The set of continuous or Baire class 1 functions defined on a metric space $X$ is endowed with the natural pointwise partial order. We investigate how the possible lengths of well-ordered monotone sequences (with respect to this order) depend on the space $X$. △ Less

Submitted 24 September, 2011; originally announced September 2011.

MSC Class: Primary 26A21; Secondary 03E17; 54C30

Journal ref: Proc. Amer. Math. Soc. 131 (2003), no. 8, 2453-2457

Continuous Maps on Aronszajn Trees

Authors: Kenneth Kunen, Jean A. Larson, Juris Steprāns

Abstract: Assuming Jenson's principle diamond: Whenever B is a totally imperfect set of real numbers, there is special Aronszajn tree with no continuous order preserving map into B. Assuming Jenson's principle diamond: Whenever B is a totally imperfect set of real numbers, there is special Aronszajn tree with no continuous order preserving map into B. △ Less

Submitted 27 August, 2010; originally announced August 2010.

Comments: 6 pages

MSC Class: 03E35; 54F05

Forcing Differentiable Functions

Authors: Kenneth Kunen

Abstract: In various models of set theory, we consider covering Aleph_1 x Aleph_1 rectangles by countably many smooth curves, and we study differentiable isomorphisms between Aleph_1-dense sets of reals. In various models of set theory, we consider covering Aleph_1 x Aleph_1 rectangles by countably many smooth curves, and we study differentiable isomorphisms between Aleph_1-dense sets of reals. △ Less

Submitted 28 May, 2010; v1 submitted 18 December, 2009; originally announced December 2009.

Comments: 20 pages. This version corrects some errors in the original version

MSC Class: 03E35

Arcs in the Plane

Authors: Joan E. Hart, Kenneth Kunen

Abstract: Assuming PFA, every uncountable subset E of the plane meets some C^1 arc in an uncountable set. This is not provable from MA(aleph_1), although in the case that E is analytic, this is a ZFC result. The result is false in ZFC for C^2 arcs, and the counter-example is a perfect set. Assuming PFA, every uncountable subset E of the plane meets some C^1 arc in an uncountable set. This is not provable from MA(aleph_1), although in the case that E is analytic, this is a ZFC result. The result is false in ZFC for C^2 arcs, and the counter-example is a perfect set. △ Less

Submitted 15 June, 2009; originally announced June 2009.

Comments: 14 pages

MSC Class: 03E50; 03E65; 53A04

Locally Connected HL Compacta

Authors: Kenneth Kunen

Abstract: It is consistent with MA plus not CH that there is a locally connected hereditarily Lindelof compact space which is not metrizable. It is consistent with MA plus not CH that there is a locally connected hereditarily Lindelof compact space which is not metrizable. △ Less

Submitted 20 August, 2008; originally announced August 2008.

Comments: 8 pages

MSC Class: 54D30; 03E35

Aronszajn Compacta

Authors: Joan E. Hart, Kenneth Kunen

Abstract: We consider a class of compacta X such that the maps from X onto metric compacta define an Aronszajn tree of closed subsets of X. We consider a class of compacta X such that the maps from X onto metric compacta define an Aronszajn tree of closed subsets of X. △ Less

Submitted 27 June, 2008; originally announced June 2008.

Comments: 15 pages

MSC Class: 54D30

Gregory Trees, The Continuum, And Martin's Axiom

Authors: Kenneth Kunen, Dilip Raghavan

Abstract: We continue the investigation of Gregory trees and the Cantor Tree Property carried out by Hart and Kunen. We produce models of MA with the Continuum arbitrarily large in which there are Gregory trees, and in which there are no Gregory trees. We continue the investigation of Gregory trees and the Cantor Tree Property carried out by Hart and Kunen. We produce models of MA with the Continuum arbitrarily large in which there are Gregory trees, and in which there are no Gregory trees. △ Less

Submitted 10 June, 2008; originally announced June 2008.

One Dimensional Locally Connected S-spaces

Authors: Joan E. Hart Kenneth Kunen

Abstract: We construct, assuming Jensen's principle diamond, a one-dimensional locally connected hereditarily separable continuum without convergent sequences. The construction is an inverse limit in omega_1 steps, and is patterned after the original Fedorchuk construction of a compact S-space. To make it one-dimensional, each space in the inverse limit is a copy of the Menger sponge. We construct, assuming Jensen's principle diamond, a one-dimensional locally connected hereditarily separable continuum without convergent sequences. The construction is an inverse limit in omega_1 steps, and is patterned after the original Fedorchuk construction of a compact S-space. To make it one-dimensional, each space in the inverse limit is a copy of the Menger sponge. △ Less

Submitted 4 October, 2007; originally announced October 2007.

Comments: 13 pages

MSC Class: 54D05; 54D65

Dissipated Compacta

Authors: Kenneth Kunen

Abstract: The dissipated spaces form a class of compacta which contains both the scattered compacta and the compact LOTSes (linearly ordered topological spaces), and a number of theorems true for these latter two classes are true more generally for the dissipated spaces. For example, every regular Borel measure on a dissipated space is separable. A product of two compact LOTSes is usually not dissipated… ▽ More The dissipated spaces form a class of compacta which contains both the scattered compacta and the compact LOTSes (linearly ordered topological spaces), and a number of theorems true for these latter two classes are true more generally for the dissipated spaces. For example, every regular Borel measure on a dissipated space is separable. A product of two compact LOTSes is usually not dissipated, but it may satisfy a weakening of that property. In fact, the degree of dissipation of a space can be used to distinguish topologically a product of n LOTSes from a product of m LOTSes. △ Less

Submitted 14 March, 2007; originally announced March 2007.

Comments: 34 pages

MSC Class: 54D30; 54F05

First Countable Continua and Proper Forcing

Authors: Joan E. Hart, Kenneth Kunen

Abstract: Assuming the Continuum Hypothesis, there is a compact first countable connected space of weight aleph_1 with no totally disconnected perfect subsets. Each such space, however, may be destroyed by some proper forcing order which does not add reals. Assuming the Continuum Hypothesis, there is a compact first countable connected space of weight aleph_1 with no totally disconnected perfect subsets. Each such space, however, may be destroyed by some proper forcing order which does not add reals. △ Less

Submitted 1 August, 2006; originally announced August 2006.

MSC Class: 54D05; 03E35

Ordered Spaces, Metric Preimages, and Function Algebras

Authors: Kenneth Kunen

Abstract: We consider the Complex Stone-Weierstrass Property (CSWP), which is the complex version of the Stone-Weierstrass Theorem. If X is a compact subspace of a product of three linearly ordered spaces, then X has the CSWP if and only if X has no subspace homeomorphic to the Cantor set. In addition, every finite power of the double arrow space has the CSWP. These results are proved using some results a… ▽ More We consider the Complex Stone-Weierstrass Property (CSWP), which is the complex version of the Stone-Weierstrass Theorem. If X is a compact subspace of a product of three linearly ordered spaces, then X has the CSWP if and only if X has no subspace homeomorphic to the Cantor set. In addition, every finite power of the double arrow space has the CSWP. These results are proved using some results about those compact Hausdorff spaces which have scattered-to-one maps onto compact metric spaces. △ Less

Submitted 21 March, 2007; v1 submitted 23 December, 2005; originally announced December 2005.

Comments: 30 pages. This version uses the author's paper Dissipated Compacta (math.GN/0703429) to simplify and strengthen the results in the previous version

MSC Class: 54C40; 46J10

Power-associative, conjugacy closed loops

Authors: Michael K. Kinyon, Kenneth Kunen

Abstract: We study conjugacy closed loops (CC-loops) and power-associative CC-loops (PACC-loops). If $Q$ is a PACC-loop with nucleus $N$, then $Q/N$ is an abelian group of exponent 12; if in addition $Q$ is finite, then $|Q|$ is divisible by 16 or by 27. There are eight nonassociative PACC-loops of order 16, three of which are not extra loops. There are eight nonassociative PACC-loops of order 27, four of… ▽ More We study conjugacy closed loops (CC-loops) and power-associative CC-loops (PACC-loops). If $Q$ is a PACC-loop with nucleus $N$, then $Q/N$ is an abelian group of exponent 12; if in addition $Q$ is finite, then $|Q|$ is divisible by 16 or by 27. There are eight nonassociative PACC-loops of order 16, three of which are not extra loops. There are eight nonassociative PACC-loops of order 27, four of which have the automorphic inverse property. We also study some special elements in loops, such as Moufang elements, weak inverse property (WIP) elements, and extra elements. In a CC-loop, the set of WIP and the set of extra elements are normal subloops. For each $c$ in a PACC-loop, $c^3$ is WIP, $c^6$ is extra, and $c^{12} \in N$. △ Less

Submitted 13 January, 2006; v1 submitted 13 July, 2005; originally announced July 2005.

Comments: 31 pages, 12pt amsart; v.3: further revisions after second round of refereeing

MSC Class: 20N05

Journal ref: J. Algebra 304 (2006), 679-711

Inverse Limits and Function Algebras

Authors: Joan E. Hart, Kenneth Kunen

Abstract: Assuming Jensen's principle diamond, there is a compact Hausdorff space X which is hereditarily Lindelof, hereditarily separable, and connected, such that no closed subspace of X is both perfect and totally disconnected. The Proper Forcing Axiom implies that there is no such space. The diamond example also fails to satisfy the CSWP (the complex version of the Stone-Weierstrass Theorem). This spa… ▽ More Assuming Jensen's principle diamond, there is a compact Hausdorff space X which is hereditarily Lindelof, hereditarily separable, and connected, such that no closed subspace of X is both perfect and totally disconnected. The Proper Forcing Axiom implies that there is no such space. The diamond example also fails to satisfy the CSWP (the complex version of the Stone-Weierstrass Theorem). This space cannot contain the two earlier examples of failure of the CSWP, which were totally disconnected -- specifically, the Cantor set (W. Rudin) and beta N (Hoffman and Singer). △ Less

Submitted 11 April, 2005; originally announced April 2005.

Comments: 16 pages

MSC Class: 54D05; 46J10

Characterizing Subgroups of Compact Abelian Groups

Authors: Dikran Dikranjan, Kenneth Kunen

Abstract: We prove that every countable subgroup of a compact metrizable abelian group has a characterizing set. As an application, we answer several questions on maximally almost periodic (MAP) groups and give a characterization of the class of (necessarily MAP) abelian topological groups whose Bohr topology has countable pseudocharacter. We prove that every countable subgroup of a compact metrizable abelian group has a characterizing set. As an application, we answer several questions on maximally almost periodic (MAP) groups and give a characterization of the class of (necessarily MAP) abelian topological groups whose Bohr topology has countable pseudocharacter. △ Less

Submitted 16 December, 2004; originally announced December 2004.

Comments: 12 pages

MSC Class: 54H11

Limits in compact abelian groups

Authors: Joan E. Hart, Kenneth Kunen

Abstract: Let X be compact abelian group and G its dual (a discrete group). If B is an infinite subset of G, let C_B be the set of all x in X such that <phi(x) : phi \in B> converges to 1. If F is a free filter on G, let D_F be the union of all the C_B for B in F. The sets C_B and D_F are subgroups of X. C_B always has Haar measure 0, while the measure of D_F depends on F. We show that there is a filter F… ▽ More Let X be compact abelian group and G its dual (a discrete group). If B is an infinite subset of G, let C_B be the set of all x in X such that <phi(x) : phi \in B> converges to 1. If F is a free filter on G, let D_F be the union of all the C_B for B in F. The sets C_B and D_F are subgroups of X. C_B always has Haar measure 0, while the measure of D_F depends on F. We show that there is a filter F such that D_F has measure 0 but is not contained in any C_B. This generalizes previous results for the special case where X is the circle group. △ Less

Submitted 9 August, 2004; originally announced August 2004.

Comments: 14 pages

MSC Class: 54H11; 22C05

Compact Scattered Spaces in Forcing Extensions

Authors: Kenneth Kunen

Abstract: We consider the cardinal sequences of compact scattered spaces in models where CH is false. We describe a number of models where the continuum is aleph_2 in which no such space can have aleph_2 countable levels. We consider the cardinal sequences of compact scattered spaces in models where CH is false. We describe a number of models where the continuum is aleph_2 in which no such space can have aleph_2 countable levels. △ Less

Submitted 3 August, 2004; originally announced August 2004.

Comments: 6 pages

MSC Class: 54G12

The structure of extra loops

Authors: Michael K. Kinyon, Kenneth Kunen

Abstract: The Sylow theorems hold for finite extra loops, as does P. Hall's theorem for finite solvable extra loops. Every finite nonassociative extra loop $Q$ has a nontrivial center, $Z(Q)$. Furthermore, $Q/Z(Q)$ is a group whenever $|Q| < 512$. Loop extensions are used to construct an infinite nonassociative extra loop with a trivial center and a nonassociative extra loop $Q$ of order 512 such that… ▽ More The Sylow theorems hold for finite extra loops, as does P. Hall's theorem for finite solvable extra loops. Every finite nonassociative extra loop $Q$ has a nontrivial center, $Z(Q)$. Furthermore, $Q/Z(Q)$ is a group whenever $|Q| < 512$. Loop extensions are used to construct an infinite nonassociative extra loop with a trivial center and a nonassociative extra loop $Q$ of order 512 such that $Q/Z(Q)$ is nonassociative. There are exactly 16 nonassociative extra loops of order $16p$ for each odd prime $p$. △ Less

Submitted 8 July, 2004; v1 submitted 14 April, 2004; originally announced April 2004.

Comments: 18 pages, AMS-LaTeX; v.3: minor corrections suggested by referee

MSC Class: 20N05

Journal ref: Quasigroups and Related Systems 12 (2004), 39-60

Small Locally Compact Linearly Lindelof Spaces

Authors: Kenneth Kunen

Abstract: There is a locally compact Hausdorff space of weight aleph_omega which is linearly Lindelof and not Lindelof. This improves an earlier result, which produced such a space of weight beth_omega. There is a locally compact Hausdorff space of weight aleph_omega which is linearly Lindelof and not Lindelof. This improves an earlier result, which produced such a space of weight beth_omega. △ Less

Submitted 4 February, 2004; originally announced February 2004.

Comments: 6 pages

MSC Class: 54D20; 54D80

Complex Function Algebras and Removable Spaces

Authors: Joan E. Hart, Kenneth Kunen

Abstract: The compact Hausdorff space X has the Complex Stone-Weierstrass Property (CSWP) iff it satisfies the complex version of the Stone-Weierstrass Theorem. W. Rudin showed that all scattered spaces have the CSWP. We describe some techniques for proving that certain non-scattered spaces have the CSWP. In particular, if X is the product of a compact ordered space and a compact scattered space, then X h… ▽ More The compact Hausdorff space X has the Complex Stone-Weierstrass Property (CSWP) iff it satisfies the complex version of the Stone-Weierstrass Theorem. W. Rudin showed that all scattered spaces have the CSWP. We describe some techniques for proving that certain non-scattered spaces have the CSWP. In particular, if X is the product of a compact ordered space and a compact scattered space, then X has the CSWP if and only if X does not contain a copy of the Cantor set. △ Less

Submitted 21 November, 2003; originally announced November 2003.

Comments: 24 pages

MSC Class: 54C35; 46J10

The Complex Stone-Weierstrass Property

Authors: Kenneth Kunen

Abstract: C(X) denotes the space of continuous complex-valued functions on the compact Hausdorff space X. X has the CSWP if every subalgebra of C(X) which separates points and contains the constant functions is dense in C(X). W. Rudin showed that all scattered X have the CSWP. We describe a class of non-scattered X with the CSWP; by another result of Rudin, such X cannot be metrizable. C(X) denotes the space of continuous complex-valued functions on the compact Hausdorff space X. X has the CSWP if every subalgebra of C(X) which separates points and contains the constant functions is dense in C(X). W. Rudin showed that all scattered X have the CSWP. We describe a class of non-scattered X with the CSWP; by another result of Rudin, such X cannot be metrizable. △ Less

Submitted 1 October, 2003; v1 submitted 5 May, 2003; originally announced May 2003.

Comments: 15 pages This version extends the main result of the previous version from separable compact ordered spaces to general compact ordered spaces

MSC Class: 54H13; 46J10

A Compact Homogeneous S-space

Authors: Ramiro de la Vega, Kenneth Kunen

Abstract: Under the continuum hypothesis, there is a compact homogeneous strong S-space. Under the continuum hypothesis, there is a compact homogeneous strong S-space. △ Less

Submitted 19 March, 2003; originally announced March 2003.

Comments: 6 pages

MSC Class: 54G20

Limits in Function Spaces and Compact Groups

Authors: Joan E. Hart, Kenneth Kunen

Abstract: If B is an infinite subset of omega and X is a topological group, let C^X_B be the set of all x in X such that <x^n : n in B> converges to 1. If F is a filter of infinite sets, let D^X_F be the union of all the C^X_B for B in F. The C^X_B and D^X_F are subgroups of X when X is abelian. In the circle group T, it is known that C^X_B always has measure 0. We show that there is a filter F such that… ▽ More If B is an infinite subset of omega and X is a topological group, let C^X_B be the set of all x in X such that <x^n : n in B> converges to 1. If F is a filter of infinite sets, let D^X_F be the union of all the C^X_B for B in F. The C^X_B and D^X_F are subgroups of X when X is abelian. In the circle group T, it is known that C^X_B always has measure 0. We show that there is a filter F such that D^T_F has measure 0 but is not contained in any C^X_B. There is another filter G such that D^X_G = T. We also describe the relationship between D^T_F and the D^X_F for arbitrary compact groups X. △ Less

Submitted 19 February, 2003; originally announced February 2003.

Comments: 16 pages

MSC Class: 54H11; 22C05

Diassociativity in Conjugacy Closed Loops

Authors: Michael K. Kinyon, Kenneth Kunen, J. D. Phillips

Abstract: Let $Q$ be a conjugacy closed loop, and $N(Q)$ its nucleus. Then $Z(N(Q))$ contains all associators of elements of $Q$. If in addition $Q$ is diassociative (i.e., an extra loop), then all these associators have order 2. If $Q$ is power-associative and $|Q|$ is finite and relatively prime to 6, then $Q$ is a group. If $Q$ is a finite non-associative extra loop, then $16 \mid |Q|$. Let $Q$ be a conjugacy closed loop, and $N(Q)$ its nucleus. Then $Z(N(Q))$ contains all associators of elements of $Q$. If in addition $Q$ is diassociative (i.e., an extra loop), then all these associators have order 2. If $Q$ is power-associative and $|Q|$ is finite and relatively prime to 6, then $Q$ is a group. If $Q$ is a finite non-associative extra loop, then $16 \mid |Q|$. △ Less

Submitted 20 September, 2002; originally announced September 2002.

Comments: 22 pages

MSC Class: 20N05

Journal ref: Communications in Algebra 32 (2004), 767-786

A Generalization of Moufang and Steiner Loops

Authors: Michael K. Kinyon, Kenneth Kunen, J. D. Phillips

Abstract: We study a variety of loops, RIF, which arise naturally from considering inner mapping groups, and a somewhat larger variety, ARIF. All Steiner and Moufang loops are RIF, and all flexible C-loops are ARIF. We show that all ARIF loops are diassociative, thus generalizing Moufang's Theorem. We study a variety of loops, RIF, which arise naturally from considering inner mapping groups, and a somewhat larger variety, ARIF. All Steiner and Moufang loops are RIF, and all flexible C-loops are ARIF. We show that all ARIF loops are diassociative, thus generalizing Moufang's Theorem. △ Less

Submitted 22 November, 2001; v1 submitted 2 May, 2001; originally announced May 2001.

Comments: 19 pp., 1 fig., uses amsart.cls, pifont.sty; to appear in Algebra Universalis

MSC Class: 20N05

Journal ref: Algebra Universalis 48 (2002), no. 1, 81--101

Every diassociative A-loop is Moufang

Authors: Michael K. Kinyon, Kenneth Kunen, J. D. Phillips

Abstract: An A-loop is a loop in which every inner mapping is an automorphism. We settle a problem which had been open since 1956 by showing that every diassociative A-loop is Moufang. An A-loop is a loop in which every inner mapping is an automorphism. We settle a problem which had been open since 1956 by showing that every diassociative A-loop is Moufang. △ Less

Submitted 30 August, 2000; v1 submitted 31 July, 2000; originally announced July 2000.

Comments: 7 pages, to appear in Proc. Amer. Math. Soc. Version 2 includes additional remarks about the automated theorem prover OTTER

MSC Class: 20N05; 68T15

Journal ref: Proc. Amer. Math. Soc. 130 (2002) 619-624

Locally Constant Functions

Authors: Joan Hart, Kenneth Kunen

Abstract: Let X be a compact Hausdorff space and M a metric space. E_0(X,M) is the set of f in C(X,M) such that there is a dense set of points x in X with f constant on some neighborhood of x. We describe some general classes of X for which E_0(X,M) is all of C(X,M). These include beta N - N, any nowhere separable LOTS, and any X such that forcing with the open subsets of X does not add reals. In the case t… ▽ More Let X be a compact Hausdorff space and M a metric space. E_0(X,M) is the set of f in C(X,M) such that there is a dense set of points x in X with f constant on some neighborhood of x. We describe some general classes of X for which E_0(X,M) is all of C(X,M). These include beta N - N, any nowhere separable LOTS, and any X such that forcing with the open subsets of X does not add reals. In the case that M is a Banach space, we discuss the properties of E_0(X,M) as a normed linear space. We also build three first countable Eberlein compact spaces, F,G,H, with various E_0 properties: For all metric M: E_0(F,M) contains only the constant functions, and E_0(G,M) = C(G,M). If M is the Hilbert cube or any infinite dimensional Banach space, E_0(H,M) is not all of C(H,M), but E_0(H,M) = C(H,M) whenever M is a subset of RR^n for some finite n. △ Less

Submitted 7 May, 1995; originally announced May 1995.

Report number: Logic E-prints May 08, 1995

Properties of the Class of Measure Separable Compact Spaces

Authors: Mirna Džamonja, Kenneth Kunen

Abstract: We investigate properties of the class of compact spaces on which every regular Borel measure is separable. This class will be referred to as MS. We discuss some closure properties of MS, and show that some simply defined compact spaces, such as compact ordered spaces or compact scattered spaces, are in MS. Most of the basic theory for regular measures is true just in ZFC. On the other hand, t… ▽ More We investigate properties of the class of compact spaces on which every regular Borel measure is separable. This class will be referred to as MS. We discuss some closure properties of MS, and show that some simply defined compact spaces, such as compact ordered spaces or compact scattered spaces, are in MS. Most of the basic theory for regular measures is true just in ZFC. On the other hand, the existence of a compact ordered scattered space which carries a non-separable (non-regular) Borel measure is equivalent to the existence of a real-valued measurable cardinal less or equal to c. We show that not being in MS is preserved by all forcing extensions which do not collapse omega_1, while being in MS can be destroyed even by a ccc forcing. △ Less

Submitted 8 August, 1994; originally announced August 1994.

Report number: Logic E-prints August 09, 1994