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:

“The triple pillar of the world transformed
Into a strumpet’s fool.”
—William Shakespeare (1564–1616)

“Good is a product of the ethical and spiritual artistry of individuals; it cannot be mass-produced.”
—Aldous Huxley (1894–1963)

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