How do I make a lattice diagram, for example a tower of field extensions, on this website using MathJax?
I'll also accept a redirect to a helpful page. Here's a link to the original question I asked on TexSE.
$\begingroup$
$\endgroup$
15
-
$\begingroup$ @Arkamis So it seems there's not an easy way. Disheartening, but helpful anyways. $\endgroup$– GPerezDec 22, 2014 at 1:13
-
$\begingroup$ Unfortunately so. The easiest way might be to become familiar with some of the LaTeX commutative diagramming tools and use a service such as ShareLaTeX to code up the image. From there, it's easy enough to embed the image in a question. $\endgroup$– EmilyDec 22, 2014 at 1:17
-
$\begingroup$ For bonus points, you could make public the tex document and provide a link so others could edit. $\endgroup$– EmilyDec 22, 2014 at 1:18
-
$\begingroup$ @Arkamis Thank you, I will try that. $\endgroup$– GPerezDec 22, 2014 at 1:22
-
$\begingroup$ @Arkamis Bonus points counter-offer: Do you know of any other relevant tags to add? I couldn't find any syntax-related ones. $\endgroup$– GPerezDec 22, 2014 at 1:23
-
3$\begingroup$ Most questions pertaining to Mathjax usage are generally considered to belong on Meta, actually. $\endgroup$– EmilyDec 22, 2014 at 1:24
-
$\begingroup$ @Arkamis Ah, that's good to know. Is there a way I can migrate it (so the comments and answers still appear)? $\endgroup$– GPerezDec 22, 2014 at 1:27
-
$\begingroup$ You can flag and just comment that it should be migrated. But since this question has an accepted answer, I'd just let it be. Eventually someone else will search for what you're asking on main, and they might come across this question. $\endgroup$– EmilyDec 22, 2014 at 1:29
-
$\begingroup$ This post has an example with TikZ and TikZ-cd on making a lattice type diagrams. $\endgroup$– dustinDec 22, 2014 at 21:59
-
$\begingroup$ The technical term is Hasse diagram. $\endgroup$– Michael GreineckerDec 23, 2014 at 0:05
-
1$\begingroup$ Related: How to draw a commutative diagram? $\endgroup$– Martin SleziakDec 23, 2014 at 7:07
-
$\begingroup$ For what it's worth, MathJax was never really meant for this sort of thing. (Not as of today, at least, though perhaps it will be in the future.) It's meant as a way to render simple formulas, not as a complete in-browser implementation of (La)TeX; in fact the only reason MathJax has anything to do with TeX is that the LaTeX/AMSTeX syntax for math is the one that most professionals are familiar with. $\endgroup$– David ZDec 27, 2014 at 7:34
-
$\begingroup$ FWIW, the reason why MathJax currently does not easily draw more advanced diagrams, in particular diagonal arrows, is that our underlying format is MathML which does not easily lend itself to that. In the long run, we hope to add SVG-based extensions as part of core MathJax. E.g. the third party xyjax extension provides much of xypic (using SVG). $\endgroup$– Peter KrautzbergerDec 30, 2014 at 7:38
-
$\begingroup$ It seems that many users who need similar diagrams (field extensions or Galois theory or subgroups or Hasse diagrams in general) include them in images. $\endgroup$– Martin SleziakOct 7, 2016 at 2:06
-
$\begingroup$ One possibility would be to ask also in comments to some of those posts what software the particular poster used, but I am not sure whether you will learn something which is not already covered in some of the several meta posts on this or closely related topics). $\endgroup$– Martin SleziakOct 7, 2016 at 2:06
Add a comment
|
2 Answers
$\begingroup$
$\endgroup$
1
It's probably not the best solution, but you could use a matrix:
$$\begin{matrix} && \Bbb Q(\sqrt{2},i) & \\ &\huge\diagup & \huge| & \huge\diagdown \\ \Bbb Q(\sqrt{2}) & & \Bbb Q(i\sqrt{2})& & \Bbb Q(i)\\ &\huge\diagdown & \huge| & \huge\diagup \\ &&\Bbb Q \end{matrix}$$
\begin{matrix}
&& \Bbb Q(\sqrt{2},i) & \\
&\huge\diagup & \huge| & \huge\diagdown \\
\Bbb Q(\sqrt{2}) & & \Bbb Q(i\sqrt{2})& & \Bbb Q(i)\\
&\huge\diagdown & \huge| & \huge\diagup \\
&&\Bbb Q
\end{matrix}
-
$\begingroup$ or $$\mathbb{Q}(\sqrt{2},i)$$$$\Bigg / \hspace{.75cm}\Bigg \vert \hspace{.75cm}\Bigg \backslash $$$$\mathbb{Q}(\sqrt{2})\hspace{1.5cm}\mathbb{Q}(i\sqrt{2})\hspace{1.5cm}\mathbb{Q}(i)$$$$\Bigg \backslash \hspace{.75cm} \Bigg \vert \hspace{.75cm}\Bigg /$$$$\mathbb{Q}$$ $\endgroup$– user645636Dec 19, 2019 at 18:57
$\begingroup$
$\endgroup$
I've researched a few basic commutative diagramming tools and eventually settled with TikZ. To be able to "use" this on MathSE you have to create a TeX document and upload the image.