On the nontrivial solvability of systems of homogeneous linear equations over $\mathbb {Z}$ in ZFC

Jan Šaroch

Displaying similar documents to “On the nontrivial solvability of systems of homogeneous linear equations over $ℤ$ in ZFC”

On the solvability of systems of linear equations over the ring $ℤ$ of integers

Horst Herrlich, Eleftherios Tachtsis (2017)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We investigate the question whether a system ${(E_{i})}_{i \in I}$ of homogeneous linear equations over $ℤ$ is non-trivially solvable in $ℤ$ provided that each subsystem ${(E_{j})}_{j \in J}$ with $| J | \leq c$ is non-trivially solvable in $ℤ$ where $c$ is a fixed cardinal number such that $c < | I |$ . Among other results, we establish the following. (a) The answer is ‘No’ in the finite case (i.e., $I$ being finite). (b) The answer is ‘No’ in the denumerable case (i.e., $| I | = ℵ_{0}$ and $c$ a natural number). (c) The answer in case that $I$ is uncountable and $c \leq ℵ_{0}$ is ‘No...

Spaces with property $(D C (ω_{1}))$

Wei-Feng Xuan, Wei-Xue Shi (2017)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We prove that if $X$ is a first countable space with property $(D C (ω_{1}))$ and with a $G_{δ}$ -diagonal then the cardinality of $X$ is at most $𝔠$ . We also show that if $X$ is a first countable, DCCC, normal space then the extent of $X$ is at most $𝔠$ .

On non-normality points, Tychonoff products and Suslin number

Sergei Logunov (2022)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let a space $X$ be Tychonoff product $\prod_{α < τ} X_{α}$ of $τ$ -many Tychonoff nonsingle point spaces $X_{α}$ . Let Suslin number of $X$ be strictly less than the cofinality of $τ$ . Then we show that every point of remainder is a non-normality point of its Čech–Stone compactification $β X$ . In particular, this is true if $X$ is either $R^{τ}$ or $ω^{τ}$ and a cardinal $τ$ is infinite and not countably cofinal.

Continuous images of Lindelöf $p$ -groups, $σ$ -compact groups, and related results

Aleksander V. Arhangel'skii (2019)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

It is shown that there exists a $σ$ -compact topological group which cannot be represented as a continuous image of a Lindelöf $p$ -group, see Example 2.8. This result is based on an inequality for the cardinality of continuous images of Lindelöf $p$ -groups (Theorem 2.1). A closely related result is Corollary 4.4: if a space $Y$ is a continuous image of a Lindelöf $p$ -group, then there exists a covering $γ$ of $Y$ by dyadic compacta such that $| γ | \leq 2^{ω}$ . We also show that if a homogeneous compact space $Y$ is...

On hereditary normality of $ω^{*}$ , Kunen points and character $ω_{1}$

Sergei Logunov (2021)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We show that $ω^{*} ∖ {p}$ is not normal, if $p$ is a limit point of some countable subset of $ω^{*}$ , consisting of points of character $ω_{1}$ . Moreover, such a point $p$ is a Kunen point and a super Kunen point.

Moser's Inequality for a class of integral operators

Finbarr Holland, David Walsh (1995)

Studia Mathematica

Similarity:

Let 1 < p < ∞, q = p/(p-1) and for $f \in L^{p} (0, \infty)$ define $F (x) = (1 / x) ʃ_{0}^{x} f (t) d t$ , x > 0. Moser’s Inequality states that there is a constant $C_{p}$ such that $s u p_{a \leq 1} s u p_{f \in B_{p}} ʃ_{0}^{\infty} e x p [a x^{q} {| F (x) |}^{q} - x] d x = C_{p}$ where $B_{p}$ is the unit ball of $L^{p}$ . Moreover, the value a = 1 is sharp. We observe that $F = K_{1}$ f where the integral operator $K_{1}$ has a simple kernel K. We consider the question of for what kernels K(t,x), 0 ≤ t, x < ∞, this result can be extended, and proceed to discuss this when K is non-negative and homogeneous of degree -1. A sufficient condition on K is found for...

$C^{*}$ -points vs $P$ -points and $P^{♭}$ -points

Jorge Martinez, Warren Wm. McGovern (2022)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

In a Tychonoff space $X$ , the point $p \in X$ is called a $C^{*}$ -point if every real-valued continuous function on $C ∖ {p}$ can be extended continuously to $p$ . Every point in an extremally disconnected space is a $C^{*}$ -point. A classic example is the space $𝐖^{*} = ω_{1} + 1$ consisting of the countable ordinals together with $ω_{1}$ . The point $ω_{1}$ is known to be a $C^{*}$ -point as well as a $P$ -point. We supply a characterization of $C^{*}$ -points in totally ordered spaces. The remainder of our time is aimed at studying when a point in a product space...

On solvability of finite groups with some $s s$ -supplemented subgroups

Jiakuan Lu, Yanyan Qiu (2015)

Czechoslovak Mathematical Journal

Similarity:

A subgroup $H$ of a finite group $G$ is said to be $s s$ -supplemented in $G$ if there exists a subgroup $K$ of $G$ such that $G = H K$ and $H \cap K$ is $s$ -permutable in $K$ . In this paper, we first give an example to show that the conjecture in A. A. Heliel’s paper (2014) has negative solutions. Next, we prove that a finite group $G$ is solvable if every subgroup of odd prime order of $G$ is $s s$ -supplemented in $G$ , and that $G$ is solvable if and only if every Sylow subgroup of odd order of $G$ is $s s$ -supplemented in $G$ . These results...

Coloring Cantor sets and resolvability of pseudocompact spaces

István Juhász, Lajos Soukup, Zoltán Szentmiklóssy (2018)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let us denote by $Φ (λ, μ)$ the statement that $𝔹 (λ) = D {(λ)}^{ω}$ , i.e. the Baire space of weight $λ$ , has a coloring with $μ$ colors such that every homeomorphic copy of the Cantor set $ℂ$ in $𝔹 (λ)$ picks up all the $μ$ colors. We call a space $X$ $π$ -regular if it is Hausdorff and for every nonempty open set $U$ in $X$ there is a nonempty open set $V$ such that $\bar{V} \subset U$ . We recall that a space $X$ is called feebly compact if every locally finite collection of open sets in $X$ is finite. A Tychonov space is pseudocompact if and...

Generalized versions of Ilmanen lemma: Insertion of $C^{1, ω}$ or $C_{loc}^{1, ω}$ functions

Václav Kryštof (2018)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We prove that for a normed linear space $X$ , if $f_{1} : X \to ℝ$ is continuous and semiconvex with modulus $ω$ , $f_{2} : X \to ℝ$ is continuous and semiconcave with modulus $ω$ and $f_{1} \leq f_{2}$ , then there exists $f \in C^{1, ω} (X)$ such that $f_{1} \leq f \leq f_{2}$ . Using this result we prove a generalization of Ilmanen lemma (which deals with the case $ω (t) = t$ ) to the case of an arbitrary nontrivial modulus $ω$ . This generalization (where a $C_{l o c}^{1, ω}$ function is inserted) gives a positive answer to a problem formulated by A. Fathi and M. Zavidovique in 2010.

$𝒞^{k}$ -regularity for the $\bar{\partial}$ -equation with a support condition

Shaban Khidr, Osama Abdelkader (2017)

Czechoslovak Mathematical Journal

Similarity:

Let $D$ be a $𝒞^{d}$ $q$ -convex intersection, $d \geq 2$ , $0 \leq q \leq n - 1$ , in a complex manifold $X$ of complex dimension $n$ , $n \geq 2$ , and let $E$ be a holomorphic vector bundle of rank $N$ over $X$ . In this paper, $𝒞^{k}$ -estimates, $k = 2, 3, \dots, \infty$ , for solutions to the $\bar{\partial}$ -equation with small loss of smoothness are obtained for $E$ -valued $(0, s)$ -forms on $D$ when $n - q \leq s \leq n$ . In addition, we solve the $\bar{\partial}$ -equation with a support condition in $𝒞^{k}$ -spaces. More precisely, we prove that for a $\bar{\partial}$ -closed form $f$ in $𝒞_{0, q}^{k} (X ∖ D, E)$ , $1 \leq q \leq n - 2$ , $n \geq 3$ , with compact support and for $ε$ with $0 < ε < 1$ there...

Displaying similar documents to “On the nontrivial solvability of systems of homogeneous linear equations over ℤ in ZFC”

Displaying similar documents to “On the nontrivial solvability of systems of homogeneous linear equations over $ℤ$ in ZFC”