18
$\begingroup$

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.

$\endgroup$
15
  • $\begingroup$ @Arkamis So it seems there's not an easy way. Disheartening, but helpful anyways. $\endgroup$
    – GPerez
    Dec 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$
    – Emily
    Dec 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$
    – Emily
    Dec 22, 2014 at 1:18
  • $\begingroup$ @Arkamis Thank you, I will try that. $\endgroup$
    – GPerez
    Dec 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$
    – GPerez
    Dec 22, 2014 at 1:23
  • 3
    $\begingroup$ Most questions pertaining to Mathjax usage are generally considered to belong on Meta, actually. $\endgroup$
    – Emily
    Dec 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$
    – GPerez
    Dec 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$
    – Emily
    Dec 22, 2014 at 1:29
  • $\begingroup$ This post has an example with TikZ and TikZ-cd on making a lattice type diagrams. $\endgroup$
    – dustin
    Dec 22, 2014 at 21:59
  • $\begingroup$ The technical term is Hasse diagram. $\endgroup$ Dec 23, 2014 at 0:05
  • 1
    $\begingroup$ Related: How to draw a commutative diagram? $\endgroup$ Dec 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 Z
    Dec 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$ Dec 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$ Oct 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$ Oct 7, 2016 at 2:06

2 Answers 2

21
$\begingroup$

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}
$\endgroup$
1
  • $\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$
    – user645636
    Dec 19, 2019 at 18:57
1
$\begingroup$

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.

$\endgroup$

Not the answer you're looking for? Browse other questions tagged .