相关论文: Many subalgebras of $\mathcal{P}(\omega)/\mathit{f…

The monadic theory of $(\mathbb R,\le)$ with quantification restricted to Borel sets is decidable. The Boolean combinations of $F_\sigma$ sets form an elementary substructure of the Borel sets. Under determinacy hypotheses, the proof…

Let $f,g\in Z[X]$ be monic polynomials of degree $n$ and let $C,D\in M_n(Z)$ be the corresponding companion matrices. We find necessary and sufficient conditions for the subalgebra $Z< C,D>$ to be a sublattice of finite index in the full…

We describe the set of maximal orders in a 2-by-2 matrix algebra over a non-commutative local division algebra B containing a given suborder, for certain important families of such suborders, including rings of integers of division…

We show how an effect algebra $\mathcal{X}$ can be regarded as a category, where the morphisms $x \rightarrow y$ are the elements $f$ such that $x \leq f \leq y$. This gives an embedding $\mathbf{EA} \rightarrow \mathbf{Cat}$. The interval…

A compact topological space X is spectral if it is sober (i.e., every irreducible closed set is the closure of a unique singleton) and the compact open subsets of X form a basis of the topology of X, closed under finite intersections.…

Let $\Omega$ be a complex manifold, and let $X\subset \Omega$ be an open submanifold whose closure $\bar X$ is a (not necessarily compact) submanifold with smooth boundary. Let $G$ be a complex Lie group, $\Pi$ be a differentiable principal…

Approximable algebras were defined by Chen in his proof of the Fujita theorem in the arithmetic context. These were shown to not be necessarily subalgebras of section rings of big line bundles in a previous prepreint of the author. Here, we…

Let $\mathbb{F}$ be an algebraically closed field of characteristic $p>3$, and $\ggg$ the $p$-dimensional Witt algebra over $\mathbb{F}$. Let $\N$ be the nilpotent cone of $\ggg$. Explicit description of $\N$ is given, so that the conjugacy…

Using Ohkawa's theorem that the collection of Bousfield classes is a set, we perform a number of constructions with Bousfield classes. In particular, we describe a greatest lower bound operator; we also note that a certain subset DL of the…

Suppose $\alpha$ is a nonzero cardinal number, $\mathcal I$ is an ideal on arc connected topological space $X$, and ${\mathfrak P}_{\mathcal I}^\alpha(X)$ is the subgroup of $\pi_1(X)$ (the first fundamental group of $X$) generated by…

Our main result is that any topological algebra based on a Boolean space is the extended Stone dual space of a certain associated Boolean algebra with additional operations. A particular case of this result is that the profinite completion…

We consider a complete biharmonic immersed submanifold $M$ in an Euclidean space $\mathbb{E}^N$. Assume that the immersion is proper, that is, the preimage of every compact set in $\mathbb{E}^N$ is also compact in $M$. Then, we prove that…

Let $\mathbf{A}$ be a finite simple non-abelian Mal'cev algebra (e.g. a group, loop, ring). We investigate the Boolean power $\mathbf{D}$ of $\mathbf{A}$ by the countable atomless Boolean algebra $\mathbf{B}$ filtered at some idempotents…

The algebraic extension $\boldsymbol{B}_{\mathbb{Z}}^{\mathscr{F}}$ of the extended bicyclic semigroup for an arbitrary $\omega$-closed family $\mathscr{F}$ subsets of $\omega$ is introduced. It is proven that…

We classify the solvable subalgebras, semisimple subalgebras, and Levi decomposable subalgebras of $\mathfrak{so}(4,\mathbb{C})$, up to inner automorphism. By Levi's Theorem, this is a full classification of the subalgebras of…

We prove that for every singular cardinal mu of cofinality omega, the complete Boolean algebra compP_mu(mu) contains as a complete subalgebra an isomorphic copy of the collapse algebra Comp Col(omega_1,mu^{aleph_0}). Consequently, adding a…

Let $\boldsymbol{B}_{\omega}^{\mathscr{F}}$ be the bicyclic semigroup extension for the family $\mathscr{F}$ of ${\omega}$-closed subsets of $\omega$ which is introduced in \cite{Gutik-Mykhalenych=2020}. We study topologizations of the…

Let B(kappa, lambda) be the subalgebra of P(kappa) generated by [kappa]^{<= lambda}. It is shown that if B is any homomorphic image of B(kappa, lambda) then either |B|< 2^lambda or |B|=|B|^lambda, moreover if X is the Stone space of B then…

For a completely regular space $X$ and a non-vanishing self-adjoint closed subalgebra $H$ of $C_B(X)$ which separates points from closed sets in $X$ we construct the Gelfand spectrum $\mathfrak{sp}(H)$ of $H$ as an open subspace of the…

A subalgebra $A$ of the algebra $B(\mathcal{H})$ of bounded linear operators on a separable Hilbert space $\mathcal{H}$ is said to be catalytic if every transitive subalgebra $\mathcal{T}\subset B(\mathcal{H})$ containing it is strongly…