Tagged Questions

47 views

Every subgroup of a cyclic group is characteristic (using lattice theory).

I want to show for $n\in\Bbb N$, which is not square-free, that every subgroup of $Z_n=\langle x\;|\;x^n\rangle$ is characteristic. But I want to show it in a convoluted way. Every automorphism ...
22 views

Finite Linearly Ordered Abelian Monoids

This question concerns the proper definition of the phrase "finite linearly ordered abelian monoids". The sequence A030453 of OEIS counts the number of "finite linearly ordered abelian monoids". The ...
108 views

Who first studied semilattices?

Historically, who first studied semilattices, as opposed to lattices or Boolean algebras? (With or without identity, I do not mind.)
48 views

Distributive lattices and Birkhoff theorem

I am trying to prove the teorem (Birkhoff) $L$ is a nondistributive lattice iff $M_5$ or $N_5$ can be embedded into $L$ The only part of the proof which I can't understand is this (I am copying from ...
27 views

Lattice inside a finite dimensional vector space

I have an integral domain $R$ and its field of fractions $K$. Let $V$ be a finite dimensional $K$ vector space. Let $M$ be a finitely generated $R$-module contained in $V$. Why is $K\cdot M=V$ ...
37 views

All tree orders are lattice orders?

Say that a set is tree ordered if the downset $\downarrow a =\{b:b\leq a\}$ is linearly ordered for each $a$. In a comment, Keinstein says that such sets are also semi-lattices, provided they are ...
68 views

26 views

134 views

Prove $(\mathbb Z \times \mathbb Z, \Sigma)$ to be a partial order and tell if its subset $T'$ is a lattice

Let $T = (\mathbb Z\times\mathbb Z, \Sigma)$ be defined as follows: \begin{aligned} (a,b) \text{ } \Sigma \text { } (c,d) \Leftrightarrow (a,b) = (c,d) \text{ or } a^2b^2<c^2d^2\end{aligned} ...
Definitions: A partially ordered group or po-group is a po-set $(G,\leq)$, such that $G$ is a group and $\forall x,y,a,b\!\in\!G\!:x\!\leq\!y\Rightarrow axb\!\leq\!ayb$, i.e. a po-set that is a group ...