English
Related papers

Related papers: Forcing a Boolean Algebra with predesigned automor…

200 papers

We prove that order convergence on a Boolean algebra turns it into a compact convergence space if and only if this Boolean algebra is complete and atomic. We also show that on an Archimedean vector lattice, order intervals are compact with…

General Topology · Mathematics 2024-03-07 Antonio Avilés , Eugene Bilokopytov , Vladimir G. Troitsky

We characterize the groups isomorphic to full automorphism groups of ordered abelian groups. The result will follow from classical theorems on ordered groups adding an argument from proofs used to realize rings as endomorphism rings of…

Logic · Mathematics 2007-05-23 Rüdiger Göbel , Saharon Shelah

We prove in ZFC that for mu >= aleph_2 there is a sigma --ideal I on mu and a Boolean sigma --subalgebra B of the family of subsets of mu which includes I such that the natural homomorphism from B onto B/I cannot be lifted.

Logic · Mathematics 2016-09-07 Saharon Shelah

The process of replacing an arbitrary Boolean function by a bijective one, a fundamental tool in reversible computing and in cryptography, is interpreted algebraically as a particular instance of a certain group homomorphism from the X-fold…

Category Theory · Mathematics 2022-08-25 Laurent Poinsot , Hans-E Porst

If H is a quasi-Hopf algebra and B is a right H-comodule algebra such that there exists v:H\to B a morphism of right H-comodule algebras, we prove that there exists a left H-module algebra A such that B\simeq A# H. The main difference…

Quantum Algebra · Mathematics 2007-05-23 Florin Panaite , Freddy Van Oystaeyen

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…

Logic in Computer Science · Computer Science 2025-10-08 Lorenzo Perticone , Robin Adams

A projective manifold $M$ is algebraically hyperbolic if there exists a positive constant $A$ such that the degree of any curve of genus $g$ on $M$ is bounded from above by $A(g-1)$. A classical result is that Kobayashi hyperbolicity…

Algebraic Geometry · Mathematics 2021-09-20 Fedor Bogomolov , Ljudmila Kamenova , Misha Verbitsky

We give elementary proofs of the following two theorems on automorphisms of a finite group G: (1) An automorphism of G is inner if and only if it extends to an automorphism of every finite group containing G. (2) There exists a finite…

Group Theory · Mathematics 2024-05-07 Benjamin Sambale

Let $H$ be a quasitriangular quasi-Hopf algebra, we construct a braided group $\underline{H}$ in the quasiassociative category of left $H$-modules. Conversely, given any braided group $B$ in this category, we construct a quasi-Hopf algebra…

Quantum Algebra · Mathematics 2009-03-25 J Klim

We establish a correspondence between automorphisms and derivations on certain algebras of generalised power series. In particular, we describe a Lie algebra of derivations on a field $k(\!(G)\!)$ of generalised power series, exploiting our…

Rings and Algebras · Mathematics 2025-09-23 Vincent Bagayoko , Lothar Sebastian Krapp , Salma Kuhlmann , Daniel Panazzolo , Michele Serra

We like to build Abelian groups (or R-modules) which on the one hand are quite free, say $\aleph_{\omega + 1}$-free, and on the other hand, are complicated in suitable sense. We choose as our test problem having no non-trivial homomorphism…

Logic · Mathematics 2019-01-29 Saharon Shelah

For a positive integer $n$, with $n \geq 4$, let $R_{n}$ be a free (nilpotent of class 2)-by-abelian and abelian-by-(nilpotent of class 2) Lie algebra of rank $n$. We show that the subgroup of Aut$(R_{n})$ generated by the tame…

Group Theory · Mathematics 2022-12-13 C. E. Kofinas , A. I. Papistas

A theorem of Cantat and Urech says that an analog of the classical Tits alternative holds for the group of birational automorphisms of a compact complex Kaehler surface. We established in our previous paper the following Tits-type…

Algebraic Geometry · Mathematics 2023-04-24 Ivan Arzhantsev , Mikhail Zaidenberg

We study various forms of amalgamation for Boolean algebras with operations. We will also have the occasion to weaken the Boolean structure dealing with MV and BL algebras with operators.

Logic · Mathematics 2013-04-08 Tarek Sayed Ahmed

Let $\L (f) = K[x][y; f\frac{d}{dx} ]$ be an Ore extension of a polynomial algebra $K[x]$ over a field $K$ of characteristic zero where $f\in K[x]$. For a given polynomial $f$, the automorphism group of the algebra $\L (f) $ is explicitly…

Rings and Algebras · Mathematics 2021-07-21 V. V. Bavula

Let V_* be the normalized unitary subgroup of the modular group algebra FG of a finite p-group G over a finite field F with the classical involution *. We investigate the isomorphism problem for the group V_*, that asks when the group V_*…

Rings and Algebras · Mathematics 2020-05-20 Zsolt Balogh , Victor Bovdi

We study amenability of affine algebras (based on the notion of almost-invariant finite-dimensional subspace), and apply it to algebras associated with finitely generated groups. We show that a group G is amenable if and only if its group…

Group Theory · Mathematics 2009-11-27 Laurent Bartholdi

Let $K[x,y]$ be the polynomial algebra in two variables over an algebraically closed field $K$. We generalize to the case of any characteristic the result of Furter that over a field of characteristic zero the set of automorphisms $(f,g)$…

Algebraic Geometry · Mathematics 2008-07-07 Vesselin Drensky , Jie-Tai Yu

We discuss a conjecture which says that the automorphism group of the Weyl algebra in characteristic zero is canonically isomorphic to the automorphism group of the corresponding Poisson algebra of classical polynomial symbols. Several…

Rings and Algebras · Mathematics 2009-11-11 Alexei Belov-Kanel , Maxim Kontsevich

We expand the results of Roslanowski and Shelah arXive:1806.06283 , arXive:1909.00937 to all perfect Abelian Polish groups $(H,+)$. In particular, we show that if $\alpha<\omega_1$ and $4\leq k<\omega$, then there is a ccc forcing notion…

Logic · Mathematics 2021-08-05 Andrzej Roslanowski , Saharon Shelah