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:

“Their martyred blood and ashes sow
O’er all the Italian fields where still doth sway
The triple tyrant; that from these may grow
A hundredfold, who, having learnt thy way,
Early may fly the Babylonian woe.”
—John Milton (1608–1674)

“For man is not the creature and product of Mechanism; but, in a far truer sense, its creator and producer.”
—Thomas Carlyle (1795–1881)

“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)