Skip to main content
25 events
when toggle format what by license comment
Sep 14, 2011 at 7:41 vote accept Wox
Sep 10, 2011 at 1:04 answer added Ralph timeline score: 1
Sep 9, 2011 at 12:47 comment added Wox $G/T$ with elements $(t_q,q)T$ is isomorph with a finite subgroup $Q$ of $GL(n,\mathbb Z)$ because $q$ must be an element of the automorphism group of the $\mathbb Z$-lattice in Euclidean vector space which is isomorphic to $T$. We know that there are only finite many conjugacy classes of finite subgroups in $GL(n,\mathbb Z)$. If the possible translations for each Q are rational between 0 and 1 with maximal denominator $|Q|$ for a specific origin, then we find finite many space groups up to origin shift and conjugacy of their quotient group.
Sep 7, 2011 at 23:28 comment added Ralph Can you give some motivation, why the existence of a $t_q$ with rational componets of max. denominator $m$ shows that there are, up to isomorphism, only finitely many groups $G$ ?
Sep 7, 2011 at 15:56 answer added Wox timeline score: 0
Sep 5, 2011 at 14:22 history edited Wox CC BY-SA 3.0
added 2 characters in body; added 18 characters in body; added 16 characters in body; deleted 9 characters in body; deleted 25 characters in body
Sep 5, 2011 at 14:16 history edited Wox CC BY-SA 3.0
added 67 characters in body; added 56 characters in body
Sep 5, 2011 at 13:23 history edited Wox CC BY-SA 3.0
added 4 characters in body
Sep 5, 2011 at 13:16 history edited Wox CC BY-SA 3.0
added 3 characters in body; deleted 5 characters in body; deleted 6 characters in body; added 1 characters in body; deleted 1 characters in body
Sep 5, 2011 at 13:11 history edited Wox CC BY-SA 3.0
deleted 2 characters in body; added 6 characters in body; added 2 characters in body; Post Made Community Wiki
Sep 5, 2011 at 13:05 history edited Wox CC BY-SA 3.0
added 3 characters in body; deleted 1 characters in body; deleted 1 characters in body; deleted 1 characters in body; deleted 1 characters in body; added 3 characters in body; added 39 characters in body; deleted 78 characters in body; added 39 characters in body
Sep 5, 2011 at 12:59 history edited Wox CC BY-SA 3.0
deleted 1 characters in body; added 1 characters in body
Sep 5, 2011 at 12:45 history edited Wox CC BY-SA 3.0
added 7 characters in body; deleted 99 characters in body; added 15 characters in body; edited title
Sep 5, 2011 at 12:29 history edited Wox CC BY-SA 3.0
added 1484 characters in body; added 2 characters in body; added 4 characters in body
Sep 5, 2011 at 9:30 history edited Wox CC BY-SA 3.0
edited title
Sep 5, 2011 at 8:12 comment added Wox @Ralph: you're right, fixed it.
Sep 5, 2011 at 8:09 history edited Wox CC BY-SA 3.0
added 8 characters in body; added 32 characters in body; edited title; added 8 characters in body
Sep 4, 2011 at 16:16 history edited Wox CC BY-SA 3.0
Indeed: mod Z^n on the second row
Sep 2, 2011 at 23:07 history edited Ralph
edited tags
Sep 2, 2011 at 22:43 answer added Ralph timeline score: 5
Sep 2, 2011 at 18:33 comment added darij grinberg Ah, right. Another of my $0$-$1$ mixups.
Sep 2, 2011 at 18:22 comment added Geoff Robinson Isn't the point that your matrix has the form $mE$ for some idempotent matrix $E$, and is also integral?
Sep 2, 2011 at 16:41 comment added Ralph No, it isn't the inverse, since $(1+ q + \dots + q^{m-1})(1-q)=0$. But this shows that the columns of $1-q$ are in the "kernel" of $1+q+\dots +q^{m-1}$.
Sep 2, 2011 at 16:05 comment added darij grinberg I don't get it. Isn't $q+q^2+q^3+...+q^m=1+q+q^2+...+q^{m-1}$ the inverse of $1-q$ (where $1$ means the identity matrix), and thus invertible over $\mathbb Q/\mathbb Z$ as well?
Sep 2, 2011 at 15:55 history asked Wox CC BY-SA 3.0