Semi-boolean and Yosida $\ell$-groups, Martinez and Yosida frames, and the $G+B$ construction

Papiya Bhattacharjee; Anthony W. Hager; Warren Wm. McGovern; Brian Wynne

Home/Archive/arXiv

arXiv · 2410.11930

Semi-boolean and Yosida $\ell$-groups, Martinez and Yosida frames, and the $G+B$ construction

Papiya Bhattacharjee·Anthony W. Hager·Warren Wm. McGovern·Brian Wynne

View original source ↗Read source document ↗Export metadata ↓

Abstract

The class of semi-boolean $\ell$-groups was introduced in 1968 by A. Bigard. These are the $\ell$-groups $G$ in which the principal convex $\ell$-subgroup $G(a)$ generated by any $a \in G$ is equal to the polar $a^{\perp \perp}$. Examples include all hyperarchimedean $\ell$-groups and all existentially closed abelian $\ell$-groups. Ordered by inclusion, the set of convex $\ell$-subgroups of a semi-boolean $\ell$-group is a \Mart frame (an algebraic frame with FIP in which every element is a $d$-element). Related are the Yosida $\ell$-groups, i.e., the $\ell$-groups whose frame of convex $\ell$-subgroups is a Yosida frame (an algebraic frame with FIP in which every compact element is a meet of maximal elements). Applying results on \Mart frames and Yosida frames, we obtain new characterizations of the semi-boolean and Yosida $\ell$-groups, show that the former constitute a radical class and the latter do not, and present new examples with special properties. To build some of our examples, we introduce the $G+B$ construction for $\ell$-groups, an adaptation of the $A+B$ construction from commutative algebra.

Explore related subjects

math.GR

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Papiya Bhattacharjee, Anthony W. Hager, Warren Wm. McGovern, Brian Wynne. 2026-01-09. Semi-boolean and Yosida $\ell$-groups, Martinez and Yosida frames, and the $G+B$ construction. https://arxiv.org/abs/2410.11930

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Finiteness conditions on skew braces and solutions of the Yang-Baxter equation

A finite non-degenerate set-theoretic solution $(X,r)$ of the Yang-Baxter equation gives rise to a structure skew brace $B(X,r)$ that is a $λ_f$-skew brace, i.e. every element has finitely many $λ$-images, and whose additive group is $FC$. This motivates the study of finiteness conditions on skew braces. We first study the general class of $λ_f$ skew braces and the subclass where the additive group is $FC$, showing that these properties share a resemblance to finite conjugacy, having an analog of the $FC$-center and several analogous structural results. Furthermore, by passing through the structure skew brace of a solution, this property measures whether elements are contained in a finite decomposition factor, identifying a class of infinite solutions that may exhibit similar properties to finite ones. Finally, we show that for a sub skew brace where both groups have finite index, both indices need to coincide and that such a sub skew brace contains a strong left ideal of finite index.

math.GR↗

arXiv2026

Non-uniform exponential growth and the decay of growth rates in growing dimensions

We provide the first example of a finitely presented, and the first example of a simple, group of non-uniform exponential growth. The example is given by Thompson's group $V$. Our methods also show that the infimal exponential growth rates of $\mathrm{Aut}(F_{2^{n+2}})$ and of $\mathrm{EL}_{2^{n+2}}(R)$, for every finitely generated ring $R$, tend to $1$. As an application, we obtain the first example of an acylindrically hyperbolic group, and the first example of a Kazhdan group, of non-uniform exponential growth.

math.GR↗

arXiv2026

Solvable Supplements to Normalizers of Cyclic 2-Subgroups

Amberg and Kazarin proved that a finite group is solvable if the normalizer of every cyclic subgroup of prime power order has a solvable supplement. We substantially relax this hypothesis by requiring it only for cyclic $2$-subgroups. This condition, denoted by $\mathrm{SSN}_2$, sharply restricts the nonabelian composition factors of the group to the family $\PSL_2(q)$, where $q\geq7$ is a prime power satisfying $q\equiv3\pmod4$. Conversely, this family is precisely the nonabelian finite simple groups that satisfy $\mathrm{SSN}_2$. Consequently, a finite group satisfying $\mathrm{SSN}_2$ is solvable if and only if it has no section isomorphic to one of these groups.

math.GR↗