Etymology of "magma" in abstract algebra

Magma is one of those beautiful words of Greek origin (μάγμα) that arouses the child and the wild in me, making me think of volcanoes. I just found out, though, that it is also used in mathematics to mean a type of algebraic structure (a set paired with a binary operation on it)! I am very curious how this name was picked for this particular algebraic structure (which is also called by groupoid). Wikipedia attributes the coining of this term to Nicolas Bourbaki, but does not mention how they arrived at such a name. I have not been able to find the specific etymology of this sense anywhere else. What is its origin?

Solution 1:

It may be a pun. Looking up magma in the French wikipedia^*, another name for magma in French is groupoïde de Ore^†. Here Ore is a Norwegian mathematician, but ore in English is mineral-bearing rock, whereas magma (in both English and French) is molten rock.

Would Bourbaki have based a mathematical term on this pun? I'm not in a good position to judge; maybe somebody else could comment on this.

^{* Since Bourbaki was a pen name used by a group of French mathematicians, this is the right language to search in.
_†} There is also a groupoïde de Brandt, also called a groupoid in English, which would explain why Bourbaki felt compelled to coin a new name.

Solution 2:

Wikipedia says (without reference)

In French, the word "magma" has multiple common meanings, one of them being "jumble". It is likely that the French Bourbaki group referred to sets with well-defined binary operations as magmas with the "jumble" definition in mind.

Solution 3:

Google says of the etymology of magma

late Middle English (in the sense ‘residue of dregs after evaporation or pressing of a semi-liquid substance’): via Latin from Greek magma (from massein ‘knead’).

I have a hard time imagining an algebraic structure with less structure than a magma, so "residue of dregs" seems fitting. Once you boil away all the structure, you are left with a magma. Historically, I have nothing to suggest that this is accurate.