🔢 mathematics

Commuting probability of skew left braces

This paper introduces the commuting probability for skew left braces, establishing that for both finite and infinite non-trivial cases the value is bounded above by $\frac{3}{4}$ with a gap in the interval $(\frac{5}{8}, 1)$ , while also providing characterizations for specific probabilities, proving nilpotency for high-probability cases, and demonstrating invariance under isoclinism.

Original authors: Susanta Mondal, Manoj K. Yadav

Published 2026-03-18

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Susanta Mondal, Manoj K. Yadav

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine a mathematical world where every object has two different personalities. Let's call this object a "Skew Left Brace."

In this world, every object can interact with others in two distinct ways:

The "Additive" Way (+): Think of this as a friendly handshake. It's usually predictable and follows standard rules (like adding numbers).
The "Multiplicative" Way (◦): Think of this as a complex dance move. It has its own rhythm and rules, which might be very different from the handshake.

The rule of this world is that these two personalities must get along in a specific, twisted way. If you try to mix them (like doing a dance move while shaking hands), the result must follow a strict formula. This structure is called a Skew Left Brace.

The Big Question: How "Complacent" is the Group?

In the world of regular groups (like numbers or symmetries), mathematicians have long asked: "How often do two random elements commute?"

Commuting means the order doesn't matter. If I shake your hand then you shake mine, it's the same as you shaking mine then I shake yours.
Non-commuting means order matters. If I dance with you, it might be different than if you dance with me.

In regular group theory, there's a famous rule: If a group is not perfectly orderly (abelian), the chance that two random people commute is at most 5/8 (62.5%).

This paper asks: What happens in our weird "Skew Brace" world with two personalities? Does the same rule apply?

The Main Discoveries (The "Plot")

The authors, Susanta Mondal and Manoj K. Yadav, went on a mathematical treasure hunt to find the "Commuting Probability" ( $P_b(B)$ ) for these braces. Here is what they found, explained simply:

1. The "3/4" Ceiling

They discovered that for any non-trivial Skew Brace, the probability of two elements commuting can never exceed 3/4 (75%).

Analogy: Imagine a party. If the party is perfectly organized, everyone gets along 100% of the time. If it's a chaotic party, they get along less. The authors found that even in the most "chill" Skew Brace parties, there is a hard limit: you can never get everyone to agree more than 75% of the time unless the party is actually just a boring, standard group in disguise.

2. The "Gap" in the Numbers

Here is the most interesting part. In the world of regular groups, there is a "forbidden zone" for commuting probabilities. You can have 5/8, or 1, but you can't have anything between 5/8 and 1 (except for the special case of 3/4).

The authors proved that Skew Braces follow this same rule!

If the commuting probability is not 1 (perfect order) and not 3/4, it must be 5/8 or lower.
There is no "in-between" chaos. It's either very orderly (3/4), moderately orderly (5/8), or quite chaotic (lower).
They even built a specific example to show that the 3/4 case actually exists in this weird world.

3. The "Silent" Infinite Braces

So far, we've talked about finite groups (like a party with 100 people). But what if the party is infinite?

The authors introduced the idea of a "Compact Topological Skew Brace." Think of this as an infinite party where the guests are packed so tightly they form a continuous cloud (like a solid block of ice rather than scattered dots).
They proved that even in these infinite, continuous clouds, the 3/4 limit still holds.
They also showed that if the probability of commuting is greater than zero, the "chaotic" parts of the group must be organized in a very specific, open way. If the probability is zero, the group is essentially "wild" everywhere.

4. The "Nilpotent" Connection

In math, "nilpotent" is a fancy word for "eventually becoming boring." If you keep mixing elements together, they eventually turn into the identity (the "do nothing" element).

The authors found a threshold: If the commuting probability is higher than 65/128 (about 50.8%), the Skew Brace must be nilpotent.
Analogy: If more than half the people at the party are getting along, the whole party is destined to become perfectly orderly eventually. If the chaos is too high (below 50%), the party might stay wild forever.

Why Does This Matter?

You might ask, "Who cares about these two-personality math objects?"

Quantum Physics: These structures were invented to solve the "Quantum Yang-Baxter Equation," which is a fundamental puzzle in quantum physics and knot theory. Understanding their "commuting" behavior helps physicists understand how particles interact.
Mathematical Unity: This paper shows that deep rules from standard group theory (like the 5/8 and 3/4 limits) are so fundamental that they survive even when you twist the rules of the game to create these "Skew Braces." It suggests a hidden order in the universe of mathematics.

Summary in One Sentence

The authors proved that even in a mathematical world where objects have two conflicting personalities, the "chaos" of their interactions is strictly limited: they can never be more than 75% orderly, and if they are more than 50% orderly, they are destined to become perfectly structured.

1. Problem Statement

The paper addresses the extension of the concept of commuting probability (also known as the degree of commutativity) from group theory to the algebraic structure of skew left braces.

Context: In group theory, the commuting probability $Pr(G)$ is the probability that two randomly selected elements commute. It is a fundamental invariant used to study the structure of finite and infinite groups (e.g., relating to nilpotency and isoclinism).
Gap: Skew left braces, introduced to study set-theoretical solutions of the quantum Yang-Baxter equation, possess two group structures $(B, +)$ and $(B, \circ)$ linked by a distributive law. While group theory results are well-established, analogous results for the commuting probability in the context of skew braces were lacking.
Objective: To define commuting probability for skew left braces, establish bounds, characterize structures achieving specific probability values, and investigate connections to nilpotency and isoclinism for both finite and infinite (topological) cases.

2. Methodology

The authors employ a blend of algebraic structural analysis, combinatorial counting, and measure theory.

Definitions and Notation:
- They define the brace centralizer $Cb_B(x)$ for an element $x$ , which is the set of elements commuting with $x$ under both the additive and multiplicative operations (specifically where the commutators in both groups vanish).
- For finite skew braces, the commuting probability $P_b(B)$ is defined as the ratio of commuting pairs to the total number of pairs:
  $P_b(B) = \frac{1}{|B|^2} |\{(x, y) \in B \times B \mid x + y - x - y = x \circ y \circ x^{-1} \circ y^{-1} = 1\}|$
- For infinite skew braces, they introduce compact Hausdorff topological skew braces. They utilize the unique probability Haar measure $\mu$ on the underlying topological groups to define $P_b(B) = (\mu \times \mu)(Z)$ , where $Z$ is the set of commuting pairs.
Structural Tools:
- Annihilator ($Ann(B)$): Used as a kernel to define quotient structures $B/Ann(B)$.
- Isoclinism: Adapted from group theory (P. Hall) to skew braces to classify structures that share similar commutator properties.
- Nilpotency Series: Utilization of the annihilator series and lower central series to define nilpotency classes.
Analytical Techniques:
- Bounding: Deriving upper and lower bounds for $P_b(B)$ based on the index $d = |B/Ann(B)|$.
- Measure Theory: Using properties of Haar measures on compact groups (e.g., measure of subgroups, Fubini-Tonelli theorem) to extend results to infinite cases.
- Counter-examples: Using computational tools (GAP) to identify specific skew braces (e.g., of order 8, 16) that violate certain converses found in group theory.

3. Key Contributions and Results

A. Bounds and Characterization for Finite Skew Braces

Upper Bound: For any finite non-trivial skew brace, $P_b(B) \leq 3/4$ .
The "Gap" Theorem: There are no skew left braces with commuting probability in the open interval $(5/8, 1)$ $(5/8, 1)$ , except for the value $3/4$ $3/4$ .
- If $P_b(B) = 3/4$ , then $|B/Ann(B)| = 2$.
- If $P_b(B) = 5/8$ , then $|B/Ann(B)| = 4$, and both the additive and multiplicative groups of the quotient are isomorphic to $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$ .
Lower Bounds: The paper establishes lower bounds dependent on the index $d = |B/Ann(B)|$, specifically $P_b(B) \geq \frac{2d-1}{d^2}$ .
Sub-structure Inequality: For any sub-skew brace $H$ of $B$ , $P_b(B) \leq P_b(H)$ . This contrasts with some group theory intuitions but holds for braces.

B. Nilpotency and Commuting Probability

Nilpotency Threshold: The authors prove that if a finite skew brace $B$ has $P_b(B) > 65/128$ , then $B$ is necessarily nilpotent.
This result mirrors the famous theorem for groups (where $P_b(G) > 5/8$ implies nilpotency), but the threshold is slightly different due to the specific algebraic constraints of braces.

C. Isoclinism Invariance

Invariance: The commuting probability $P_b(B)$ is invariant under isoclinism. If two finite skew braces are isoclinic, they share the same commuting probability.
Stem Braces: Every isoclinism class contains a "stem" skew brace (where $Ann(B) \subseteq \Gamma_2(B)$ ), and the probability is determined by the structure of the quotient $B/Ann(B)$.

D. Infinite (Topological) Skew Braces

Borel Subgroups: For compact Hausdorff topological skew braces, the set of elements with finite centralizer index, $FCI(B)$, is proven to be a Borel subgroup of $(B, \circ)$ .
Positivity Condition: $P_b(B) > 0$ if and only if $FCI(B)$ is an open set in $B$ .
Infinite Bounds: The upper bound of $3/4$ holds for infinite non-trivial compact skew braces as well. The value $3/4$ is the only rational number in the interval $(5/8, 1)$ achievable by such braces.
Zero Probability: Explicit examples of infinite non-trivial skew braces with $P_b(B) = 0$ are constructed (e.g., using non-abelian connected compact Lie groups).

4. Significance

Theoretical Unification: The paper successfully bridges the gap between group theory and the theory of skew left braces, demonstrating that many structural theorems regarding commuting probability (bounds, nilpotency implications, isoclinism invariance) have valid analogues in the brace context.
Refinement of Bounds: The discovery that the interval $(5/8, 3/4)$ is empty for commuting probabilities (except for the specific value $3/4$ ) provides a sharp characterization of the "commutativity spectrum" of skew braces.
Topological Extension: By extending these concepts to compact Hausdorff topological skew braces using measure theory, the authors open new avenues for studying infinite algebraic structures that arise in the context of the Yang-Baxter equation and quantum groups.
Counter-Examples: The paper highlights where skew brace theory diverges from group theory (e.g., the converse of the $5/8$ characterization does not hold universally, and $Cb_B(x)$ is not always a subgroup of the additive group), emphasizing the unique complexity of the skew brace structure.

Conclusion

Mondal and Yadav establish a robust framework for analyzing the "commutativity" of skew left braces. They prove that despite the added complexity of having two interacting group structures, the commuting probability remains a powerful invariant that dictates the nilpotency and structural properties of the brace, mirroring and refining classical results from group theory.