English
Related papers

Related papers: Factor = quotient, uncountable Boolean algebras, n…

200 papers

The main result is Theorem: Let A be an R-algebra, mu, lambda be cardinals such that |A|<=mu=mu^{aleph_0}<lambda<=2^mu. If A is aleph_0-cotorsion-free or A is countably free, respectively, then there exists an aleph_0-cotorsion-free or a…

Rings and Algebras · Mathematics 2007-05-23 Rüdiger Göbel , Saharon Shelah

An important classical result in ZFC asserts that every infinite cardinal number is idempotent. Using this fact, we obtain several algebraic results in this article. The first result asserts that an infinite Abelian group has a proper…

Commutative Algebra · Mathematics 2024-09-05 Abolfazl Tarizadeh

Let $[X,\lambda]$ be a principally polarized abelian variety over a finite field with commutative endomorphism ring; further suppose that either $X$ is ordinary or the field is prime. Motivated by an equidistribution heuristic, we introduce…

Number Theory · Mathematics 2023-05-31 Jeff Achter , Salim Ali Altug , Luis Garcia , Julia Gordon , Wen-Wei Li , Thomas Rüd

We compute the factorization homology of a polynomial algebra over a compact and closed manifold with trivialized tangent bundle up to weak equivalence in a new way. This calculation is based on the model of a graph complex and an explicit…

Quantum Algebra · Mathematics 2018-05-22 Lennart Döppenschmitt

We characterize the canonical diagonal subalgebra of the C*-algebra associated with a generalized Boolean dynamical system. We also introduce a particular commutative subalgebra, which we call the abelian core, in our C*-algebra. We then…

Operator Algebras · Mathematics 2023-11-08 Eun Ji Kang

Let $X$ be a compact metric space and let $|A|$ denote the cardinality of a set $A$. We prove that if $f\colon X\to X$ is a homeomorphism and $|X|=\infty$ then for all $\delta>0$ there is $A\subset X$ such that $|A|=4$ and for all $k\in Z$…

Dynamical Systems · Mathematics 2014-04-03 Alfonso Artigue

We show that for algebraic groups over local fields of characteristic zero, the following are equivalent: Every homomorphism has a closed image, every unitary representation decomposes into a direct sum of finite-dimensional and mixing…

Group Theory · Mathematics 2024-04-16 Elyasheev Leibtag

For any abstract subfactor planar algebra $P$, there exists a finite index extremal subfactor $M_0 \subset M_1$ with $P$ as its standard invariant. In this paper, we classify the automorphism group of a bipartite graph planar algebra, and…

Operator Algebras · Mathematics 2010-03-16 R. D. Burstein

We continue the investigation of Boolean-like algebras of dimension n (nBA) having n constants e1,...,en, and an (n+1)-ary operation q (a "generalised if-then-else") that induces a decomposition of the algebra into n factors through the…

Logic in Computer Science · Computer Science 2022-10-26 Antonio Bucciarelli , Antonio Ledda , Francesco Paoli , Antonino Salibra

We investigate the sequential topology $\tau_s$ on a complete Boolean algebra $B$ determined by algebraically convergent sequences in $B$. We show the role of weak distributivity of $B$ in separation axioms for the sequential topology. The…

Logic · Mathematics 2016-09-06 Bohuslav Balcar , Wieslaw Glowczynski , Thomas Jech

An infinite family of Boolean polynomials which correspond to the discrete average maps, defined in [2], is constructed and their algebraic and combinatorial properties are investigated. They turn out to be balanced, and some recurrence…

Combinatorics · Mathematics 2021-08-17 Fumio Hazama

If f is a bijection from C^n onto a complex manifold M, which conjugates every holomorphic map in C^n to an endomorphism in M, then we prove that f is necessarily biholomorphic or antibiholomorphic. This extends a result of A. Hinkkanen to…

Complex Variables · Mathematics 2007-05-23 Gregery T. Buzzard , Sergei Merenkov

Let $2^{[n]}$ denote the power set of $[n]:=\{1,2,..., n\}$. A collection $\B\subset 2^{[n]}$ forms a $d$-dimensional {\em Boolean algebra} if there exist pairwise disjoint sets $X_0, X_1,..., X_d \subseteq [n]$, all non-empty with perhaps…

Combinatorics · Mathematics 2013-07-15 Travis Johnston , Linyuan Lu , Kevin G. Milans

We provide necessary and sufficient conditions for the existence of idempotents of arbitrarily large norms in the Fourier algebra A(G) and the Fourier-Stieltjes algebra B(G) of a locally compact group G. We prove that the existence of…

Functional Analysis · Mathematics 2022-06-27 M. Anoussis , G. K. Eleftherakis , A. Katavolos

We consider formal maps in any finite dimension $d$ with coefficients in an integral domain $K$ with identity. Those invertible under formal composition form a group $\mathcal{G}$. We consider the centraliser $C_g$ of an element…

Group Theory · Mathematics 2022-07-05 Anthony G. O'Farrell

For suitable groups G we will show that one can add a Boolean algebra B by forcing in such a way that Aut(B) is almost isomorphic to G. In particular, we will give a positive answer to the following question due to J.Roitman: Is…

Logic · Mathematics 2007-05-23 Tapani Hyttinen , Saharon Shelah

Here, we show that the first isomorphism theorem, the orbit-stabilizer theorem, and the non-uniqueness of solutions of underdetermined linear systems are all manifestations of the same underlying algebraic property. We will call this…

Group Theory · Mathematics 2014-12-15 Stephen G. Odaibo

We study the complexity of the classification problem for Cartan subalgebras in von Neumann algebras. We construct a large family of II$_1$ factors whose Cartan subalgebras up to unitary conjugacy are not classifiable by countable…

Operator Algebras · Mathematics 2018-05-28 Pieter Spaas

For two semi-simple algebras $A$ and $B$ over an arbitrary ground field $F$, we give a numerical criterion when $\Hom_F(A,B)$, the set of $F$-algebra homomorphisms between them, is non-empty. We also determine when the orbit set $B^\times…

Rings and Algebras · Mathematics 2012-04-24 Chia-Fu Yu

We investigate the computational complexity of the problem of deciding if an algebra homomorphism can be factored through an intermediate algebra. Specifically, we fix an algebraic language, L, and take as input an algebra homomorphism f…

Logic · Mathematics 2019-01-08 Kevin M. Berg