Let [Formula: see text] be a residually finite dimensional algebra (not necessarily associative) over a field [Formula: see text]. Suppose first that [Formula: see text] is algebraically closed. We show that if [Formula: see text] satisfies a homogeneous almost identity [Formula: see text], then [Formula: see text] has an ideal of finite codimension satisfying the identity [Formula: see text]. Using well known results of Zelmanov, we conclude that, if a residually finite dimensional Lie algebra [Formula: see text] over [Formula: see text] is almost [Formula: see text]-Engel, then [Formula: see text] has a nilpotent (respectively, locally nilpotent) ideal of finite codimension if char [Formula: see text] (respectively, char [Formula: see text]). Next, suppose that [Formula: see text] is finite (so [Formula: see text] is residually finite). We prove that, if [Formula: see text] satisfies a homogeneous probabilistic identity [Formula: see text], then [Formula: see text] is a coset identity of [Formula: see text]. Moreover, if [Formula: see text] is multilinear, then [Formula: see text] is an identity of some finite index ideal of [Formula: see text]. Along the way we show that if [Formula: see text] has degree [Formula: see text], and [Formula: see text] is a finite [Formula: see text]-algebra such that the probability that [Formula: see text] (where [Formula: see text] are randomly chosen) is at least [Formula: see text], then [Formula: see text] is an identity of [Formula: see text]. This solves a ring-theoretic analogue of a (still open) group-theoretic problem posed by Dixon,
more »
« less
Finite and nilpotent strongly verbally closed groups
We show, in particular, that, if a finite group [Formula: see text] is a retract of any finite group containing [Formula: see text] as a verbally closed subgroup, then the centre of [Formula: see text] is a direct factor of [Formula: see text].
more »
« less
- Award ID(s):
- 1901976
- PAR ID:
- 10438483
- Date Published:
- Journal Name:
- Journal of Algebra and Its Applications
- Volume:
- 22
- Issue:
- 09
- ISSN:
- 0219-4988
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
A braided fusion category is said to have Property F if the associated braid group representations factor through a finite group. We verify integral metaplectic modular categories have property F by showing these categories are group-theoretical. For the special case of integral categories [Formula: see text] with the fusion rules of [Formula: see text] we determine the finite group [Formula: see text] for which [Formula: see text] is braided equivalent to [Formula: see text]. In addition, we determine the associated classical link invariant, an evaluation of the 2-variable Kauffman polynomial at a point.more » « less
-
Locally trivial bundles of [Formula: see text]-algebras with fiber [Formula: see text] for a strongly self-absorbing [Formula: see text]-algebra [Formula: see text] over a finite CW-complex [Formula: see text] form a group [Formula: see text] that is the first group of a cohomology theory [Formula: see text]. In this paper, we compute these groups by expressing them in terms of ordinary cohomology and connective [Formula: see text]-theory. To compare the [Formula: see text]-algebraic version of [Formula: see text] with its classical counterpart we also develop a uniqueness result for the unit spectrum of complex periodic topological [Formula: see text]-theory.more » « less
-
For a finite-index [Formula: see text] subfactor [Formula: see text], we prove the existence of a universal Hopf ā-algebra (or, a discrete quantum group in the analytic language) acting on [Formula: see text] in a trace-preserving fashion and fixing [Formula: see text] pointwise. We call this Hopf ā-algebra the quantum Galois group for the subfactor and compute it in some examples of interest, notably for arbitrary irreducible finite-index depth-two subfactors. Along the way, we prove the existence of universal acting Hopf algebras for more general structures (tensors in enriched categories), in the spirit of recent work by Agore, Gordienko and Vercruysse.more » « less
-
In this paper, we develop the theory of residually finite rationally [Formula: see text] (RFR[Formula: see text]) groups, where [Formula: see text] is a prime. We first prove a series of results about the structure of finitely generated RFR[Formula: see text] groups (either for a single prime [Formula: see text], or for infinitely many primes), including torsion-freeness, a Tits alternative, and a restriction on the BNS invariant. Furthermore, we show that many groups which occur naturally in group theory, algebraic geometry, and in 3-manifold topology enjoy this residual property. We then prove a combination theorem for RFR[Formula: see text] groups, which we use to study the boundary manifolds of algebraic curves [Formula: see text] and in [Formula: see text]. We show that boundary manifolds of a large class of curves in [Formula: see text] (which includes all line arrangements) have RFR[Formula: see text] fundamental groups, whereas boundary manifolds of curves in [Formula: see text] may fail to do so.more » « less
An official website of the United States government

