Triple Product Property

In abstract algebra, the triple product property is an identity satisfied in some groups.

Let be a non-trivial group. Three nonempty subsets are said to have the triple product property in if for all elements, it is the case that

$s's^{-1}t't^{-1}u'u^{-1} = 1 \Rightarrow s' = s, t' = t, u' = u$

where is the identity of .

It plays a role in research of fast matrix multiplication algorithms.

Famous quotes containing the words triple, product and/or property:

“And DANTE searched the triple spheres,
Moulding nature at his will,
So shaped, so colored, swift or still,
And, sculptor-like, his large design
Etched on Alp and Apennine.”
—Ralph Waldo Emerson (1803–1882)

“Everything that is beautiful and noble is the product of reason and calculation.”
—Charles Baudelaire (1821–1867)

“Let’s call something a rigid designator if in every possible world it designates the same object, a non-rigid or accidental designator if that is not the case. Of course we don’t require that the objects exist in all possible worlds.... When we think of a property as essential to an object we usually mean that it is true of that object in any case where it would have existed. A rigid designator of a necessary existent can be called strongly rigid.”
—Saul Kripke (b. 1940)