A Blog About Mathematics and Data Science

Last week I made a list of conjectures about Lemma 4.1 in this article before I went ahead and dug into the proof. Recall: Let be a group, and subgroups of , and a selection of elements of . Suppose that $$G = \bigcup_{k \in \{1, \ldots, n\}} g_k H_k.$$ BH Neumann actually proves a…

Let be a group, and subgroups of , and a selection of elements of . Suppose that $$G = \bigcup_{k \in \{1, \ldots, n\}} g_k H_k.$$ Then it is a theorem that for some (Lemma 4.1 here, linked in this math overflow answer). I have some remarks/conjectures I want to record before I dig into…