相关论文: Ranks of Maharam algebras
We construct an exhaustive submeasure that is not equivalent to a measure. This solves problems of J. von Neumann (1937) and D. Maharam (1947).
The paper investigates possible generalisations of Maharam's theorem to a classification of Boolean algebras that support a finitely additive measure. We prove that Boolean algebras that support a finitely additive non-atomic uniformly…
The rank of a finite algebraic structure with a single binary operation is the minimum number of elements needed to express every other element under the closure of the operation. In the case of groups, the previous best algorithm for…
We study order and topological properties of the non-commutative Arens algebra associated with arbitrary Maharam trace.
We present a collection of observations and results concerning submeasures on Boolean algebras. They are all motivated by Maharam's problem and Talagrand's construction that solved it.
We study a certain class of non-maximal rank contractions of the nilpotent Lie algebra $\frak{g}_{m}$ and show that these contractions are completable Lie algebras. As a consequence a family of solvable complete Lie algebras of non-maximal…
We give several new examples of computable structures of high Scott rank. For earlier known computable structures of Scott rank $\omega_1^{CK}$, the computable infinitary theory is $\aleph_0$-categorical. Millar and Sacks asked whether this…
A tropical matrix is a matrix defined over the max-plus semiring. For such matrices, there exist several non-coinciding notions of rank: the row rank, the column rank, the Schein/Barvinok rank, the Kapranov rank, or the tropical rank, among…
A systematic method is presented for the construction and classification of algebras of gauge transformations for arbitrary high rank tensor gauge fields. For every tensor gauge field of a given rank, the gauge transformation will be…
In this paper, we study the category of modules over the Smith algebra which are free of finite rank over the unital polynomial subalgebra generated by the Cartan element $h$ and obtain families of such simple modules of arbitrary rank. In…
If I is a suitably definable sigma-ideal on the real line and the factor algebra of Borel sets modulo I is weakly distributive then the algebra carries a Maharam submeasure.
Purpose: This study extends the structural theory of finite commutative ternary $\Gamma$-semirings into a computational and categorical framework for explicit classification and constructive reasoning. Methods: Constraint-driven enumeration…
It is consistent that every weakly distributive complete ccc Boolean algebra carries a strictly positive Maharam submeasure.
We classify essential algebras whose irredundant non-refinable covers consist of primal algebras. The proof is obtained by constructing one to one correspondence between such algebras and partial orders on finite sets. Further, we prove…
This paper introduces a SAT-based technique that calculates a compact and complete symmetry-break for finite model finding, with the focus on structures with a single binary operation (magmas). Classes of algebraic structures are typically…
It is shown that there exists a normal uniform algebra, on a compact metrizable space, that fails to be strongly regular at some peak point. This answers a 31-year-old question of Joel Feinstein. Our example is R(K) for a certain compact…
We explore various limit constructions for C*-algebras, such as composition series and inverse limits, in relation to the notions of real rank, stable rank, and extremal richness. We also consider extensions and pullbacks. We identify some…
In 1964, Golod and Shafarevich found that, provided that the number of relations of each degree satisfy some bounds, there exist infinitely dimensional algebras satisfying the relations. These algebras are called Golod-Shafarevich algebras.…
Let $M$ be a compact hyperkaehler manifold. The hyperkaehler structure equips $M$ with a set $R$ of complex structures parametrized by $CP^1$, called "the set of induced complex structures". It was known previously that induced complex…
For a class of irrational numbers, depending on their Diophantine properties, we construct explicit rank-one transformations that are totally ergodic and not weakly mixing. We classify when the measure is finite or infinite. In the finite…