User michael kinyon - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T22:29:34Z http://mathoverflow.net/feeds/user/18405 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/58994/parker-like-loop-of-order-2187/82036#82036 Answer by Michael Kinyon for Parker-like loop of order 2187? Michael Kinyon 2011-11-28T02:05:12Z 2011-11-28T02:05:12Z <p>To follow up on Henry Cohn's answer, see also:</p> <p>A. Drapal and P. Vojtechovsky, Code loops in both parities, Journal of Algebraic Combinatorics 31 (2010), no. 4, 585-611.</p> http://mathoverflow.net/questions/68268/dissimilarity-between-groups-and-lie-algebras/77779#77779 Answer by Michael Kinyon for (Dis)similarity between groups and Lie algebras Michael Kinyon 2011-10-11T02:25:19Z 2011-10-11T02:25:19Z <p>This isn't getting directly at your question, but you might consider looking at Ellis' notion of a multiplicative Lie algebra. This all started in:</p> <p>G.J. Ellis, On ﬁve well-known commutator identities, <em>J. Aust. Math. Soc. Ser. A</em> <strong>54</strong> (1993), 1–19.</p> <p>Then just search for "multiplicative Lie algebra" or "multiplicative Lie ring" for more recent papers. Multiplicative Lie rings provide an interesting framework in which to think about some group and Lie algebra results in a unified way.</p> http://mathoverflow.net/questions/75435/has-this-pseudo-quotient-of-groups-been-studied-before/77647#77647 Answer by Michael Kinyon for Has this "pseudo-quotient" of groups been studied before? Michael Kinyon 2011-10-10T02:24:57Z 2011-10-10T02:24:57Z <p>This is very interesting. I don't really understand what is going on with the double cosets, but this is reminiscent of the standard construction of loops (quasigroups with identity elements) as tranversals in groups. This dates back to Baer in the early 40's. The idea is the following. You have a group $G$, a subgroup $H$, and a transveral $T$, that is a set of coset representatives. Assume further that $T$ is normalized, that is, $1\in T$. For $x,y \in T$, define an operation $\circ$ on $T$ by $(x\circ y)H = xyH$, that is, $x\circ y$ is the unique representative in $T$ of $xyH$. It is easy to see that $1$ is the identity element for $\circ$ and that for all $a,b\in T$, the equation $a\circ x = b$ is uniquely solvable for $x\in T$. If, in addition, one has that $T$ is a transversal for every conjugate of $H$, then it follows that the equation $y\circ a = b$ is also uniquely solvable for $y\in T$. Thus $(T,\circ)$ is a loop. Conversely, it is not hard to show that every loop arises in this way.</p> <p>The tables you are talking about remind me of this, except that you are keeping track of double coset clusters and you are not worrying about which products of representatives themselves have representatives. It would be interesting to know how this idea relates to loop theory.</p> http://mathoverflow.net/questions/75435/has-this-pseudo-quotient-of-groups-been-studied-before/77647#77647 Comment by Michael Kinyon Michael Kinyon 2011-11-28T01:59:21Z 2011-11-28T01:59:21Z David, I'm not an expert in code loops and don't know offhand what the multiplication group of the Parker loop is. (The multiplication group of a loop is the group generated by the loop's left and right translations.) I would suggest looking more generally at the literature on code loops, especially the work of my colleague Petr Vojtechovsky. He can probably give you more details on the particulars of the Parker loop.