BF Algebra¶
A type-(2,0) algebra with a distinguished zero and a binary operation satisfying self-cancellation, right-zero identity, and zero-mediated reversal.
Core Idea¶
A BF algebra is a nonempty set A, a selected element 0, and a binary operation * satisfying x*x=0, x*0=x, and 0*(x*y)=y*x for every x,y. Walendziak’s three equations define the class. They resemble subtraction but do not require a group, an order or a metric.[^ref-c717d2125d0a]
Scope of Application¶
The type-(2,0) algebra may have a finite or infinite carrier. The operation must be total and closed, and the three laws must hold universally. The source paper develops ideals and normal ideals, but those are downstream of membership. A bipolar-fuzzy pair space without a specified verified operation is not a positive example.[^ref-c717d2125d0a]
Clarity¶
The symbol 0 is a designated constant, not necessarily arithmetic zero. x*0=x is a right identity law; it does not force 0*x=x. The third law uses left action by zero to reverse arguments and does not universally impose commutativity. From the three laws follows 0*(0*x)=x, not as a fourth axiom.[^ref-c717d2125d0a]
BF is not automatically BCK, BCI or group subtraction. The absolute-difference BF model is not group-derived: its 0*x=x would make every element self-inverse under any supposed group representation, forcing an associative operation, yet |1-|2-3||=0 while ||1-2|-3|=2. Nonassociativity alone is not the argument, since group-derived difference can also be nonassociative.[^ref-c717d2125d0a]
Manages Complexity¶
Specify A, 0 and the full operation, then check only three defining laws. An algebraic proof works for infinite carriers; a complete operation table works for finite ones. Once membership is established, derived identities can be reused without importing extra group or metric laws.[^ref-c717d2125d0a]
Abstract Reasoning¶
For a group G with identity e, define 0=e and x*y=xy⁻¹. The laws follow from xx⁻¹=e, xe⁻¹=x, and e*(xy⁻¹)=(xy⁻¹)⁻¹=yx⁻¹=y*x. This constructs a BF algebra but does not show that all BF algebras come from groups. For nonnegative reals with x*y=|x-y|, self-difference is zero, zero is a right identity, and symmetry of absolute difference gives the reversal law.[^ref-c717d2125d0a]
Knowledge Transfer¶
A nonabelian finite group model and a continuous absolute-difference model share precisely the BF signature and three equations. Group inverses and quantitative distance are not transferable merely because both qualify. A claim proved with one model’s extra structure needs fresh hypotheses for the other.[^ref-c717d2125d0a]
Example¶
S3 group-derived model. On the six permutations of three objects, take group identity e as 0 and x*y=xy⁻¹. Closure, xx⁻¹=e, xe⁻¹=x, and (xy⁻¹)⁻¹=yx⁻¹ verify every BF role. This is an editorial construction from the axioms, not a Walendziak worked example.[^ref-c717d2125d0a]
Nonnegative-real absolute difference. On A=[0,∞), set x*y=|x-y| with ordinary zero. The output is closed in A; |x-x|=0, |x-0|=x, and |0-|x-y||=|x-y|=|y-x| verify every BF role. Walendziak states this example directly. It is a commutative quantitative model and not group-derived.[^ref-c717d2125d0a]
Relationships to Other Abstractions¶
Current abstraction BF Algebra Domain-specific
Parents (1) — more general patterns this builds on
-
BF Algebra is a kind of Algebraic Structure Domain-specific
A BF algebra is an algebraic structure with a carrier, distinguished zero, binary operation, and three additional equational laws.
Hierarchy path (1) — routes to 1 parentless root
- BF Algebra → Algebraic Structure → Mathematical structure → Set and Membership
Neighborhood in Abstraction Space¶
BF Algebra sits in a sparse region of the domain-specific corpus (81st percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Algebraic Operations & Quasigroup Structures (12 abstractions)
Nearest neighbors
- Absorbing element — 0.83
- Loop (Algebra) — 0.83
- Boolean algebra — 0.82
- Inclusion (Boolean algebra) — 0.81
- Polynomial identity ring — 0.81
Computed from structural-signature embeddings · 2026-10-08
Not to Be Confused With¶
Group subtraction: one BF construction, not a general representation theorem. B algebra, BF1/BF2, BCK or BCI: related classes whose additional axioms must be checked separately. Commutative Magma: not an all-instance genus because nonabelian group-derived BF models need not commute. The reviewed DAG places BF strictly under the live Algebraic Structure genus, whose general carrier-and-laws identity is broader than these three equations.[^ref-c717d2125d0a]
References¶
[^ref-c717d2125d0a]: Andrzej Walendziak, “On BF-algebras”, Mathematica Slovaca 57, no. 2 (2007): 119–128, Definition 2.1 and Examples 2.3–2.4, Proposition 2.5, Definition 2.7, and Example 3.2. Original paper for the axioms and direct models; the S3 group construction and non-group-derived proof for absolute difference are elementary derivations stated in this entry, not examples claimed by the author.