Intereting Posts

Perpendicular bisector
Is quotient of a ring by a power of a maximal ideal local?
The fix points of the Möbius transformations are the eigenspace of a certain matrix.
Is there a bijection between $(0,1)$ and $\mathbb{R}$ that preserves rationality?
Calculate $\pi$ precisely using integrals?
Approximation for elliptic integral of second kind
Calculus of variations ( interpreting the minimum in first order)
Suppose $a \in \mathbb{R}$, and $\exists n \in \mathbb{N}$, that $a^n \in \mathbb{Q}$, and $(a + 1)^n \in \mathbb{Q}$
Prove $p^2=p$ and $qp=0$
Solving $ax \equiv c \pmod b$ efficiently when $a,b$ are not coprime
Inequality regarding norms and weak-star convergence
Asymmetric Random Walk / Prove that $T:= \inf\{n: X_n = b\}$ is a $\{\mathscr F_n\}_{n \in \mathbb N}$-stopping time
Trigonometric Triangle Equality
Sequence sum question: $\sum_{n=0}^{\infty}nk^n$
On a necessary and sufficient condition for $\sum_{k\in\mathbb{Z}}a_k=L$ ($a_k\in\mathbb{C}$)

This question is somewhat linked to this one — in fact, I meant to ask the following:

Let $\mathcal{M}_n$ be the multiplicative monoid of $n \times n$ matrices on $\mathbb{N}$ (including $0$). Let $M_1, \ldots, M_k \in \mathcal{M}_n$ and suppose the monoid generated by each one of them is finite. Is the monoid generated by

allof them periodic (i.e. such that any of its elements generates a finite monoid)?

I hope I got it right this time. Sorry for the noise.

Thanks!

- faithfully flat ring extensions where primes extend to primes
- Cancellation of Direct Product in Grp
- If $G$ is non-abelian group of order 6, it is isomorphic to $S_3$
- $(\Bbb Z\oplus \Bbb Z) \not\cong \Bbb Z\oplus \Bbb Z\,$?
- Does $S = R \cap K$ of a field extension $K \subseteq L = Q(R)$ satisfy $Q(S) = K$?
- UFDs are integrally closed

- What are the conditions for integers $D_1$ and $D_2$ so that $\mathbb{Q} \simeq \mathbb{Q}$ as fields.
- Details about Cayley's Group Theorem
- Relating $\operatorname{lcm}$ and $\gcd$
- When to learn category theory?
- Is the Cayley graph of a word-hyperbolic group a CAT(0) metric space?
- Precise connection between complexification of $\mathfrak{su}(2)$, $\mathfrak{so}(1,3)$ and $\mathfrak{sl}(2, \mathbb{C})$
- Normal Subgroup Counterexample
- Generating a fan beam sweep algebraically.
- Let $R$ be a ring such that for all $a,b$ in $R$, $(a^2-a)b=b(a^2-a)$. Then $R$ is commutative
- Irreducibility check for polynomials not satisfying Eisenstein Criterion.

In fact, using the two examples in your comment provides a counterexample.

Let $A = \begin{bmatrix} 1 & 0\\1&0\end{bmatrix}$ and $B = \begin{bmatrix}0&2\\0&0 \end{bmatrix}$.

As you mention, $A^2 = \begin{bmatrix} 1 & 0 \\ 1 & 0\end{bmatrix}$ so $A$ generates a finite monoid. Likewise, $B^2$ is the $0$ matrix so this generates a finite monoid.

However, the monoid generated by $A$ and $B$ is not periodic: the element $BA = \begin{bmatrix} 2 & 0 \\ 0 & 0\end{bmatrix}$ doesn’t generate a finite monoid since $(BA)^n = \begin{bmatrix} 2^n & 0\\ 0 & 0\end{bmatrix}$, which is distinct for each $n$.

More generally, for any $n\gt 1$, the matrices

$$A=\left(\begin{array}{cccc}

1 & 0 & \cdots & 0\\

1 & 0 & \cdots & 0\\

\vdots & \vdots & \ddots & \vdots\\

1 & 0 & \cdots & 0

\end{array}\right)\quad\text{and}\quad

B=\left(\begin{array}{cccc}

1 & 1 & \cdots & 1\\

0 & 0 & \cdots & 0\\

\vdots & \vdots & \ddots & \vdots\\

0 & 0 & \cdots & 0

\end{array}\right)$$

are each idempotent, so they each generate a finite monoid, but neither

$$AB = \left(\begin{array}{cccc}

1 & 1 & \cdots & 1\\

1 & 1 & \cdots & 1\\

\vdots & \vdots & \ddots & \vdots\\

1 & 1 & \cdots & 1

\end{array}\right)\quad\text{nor}\quad

BA = \left(\begin{array}{cccc}

n & 0 & \cdots & 0\\

0 & 0 & \cdots & 0\\

\vdots & \vdots & \ddots & \vdots\\

0 & 0 & \cdots & 0

\end{array}\right)$$

are periodic.

Let $A$ be an element of $\mathcal{M}_n$ such that $A$ is periodic. Then $A^\mathrm{T}$ is also periodic. However, $AA^\mathrm{T}$ is periodic if and only if each nonzero entry of $A$ is $1$ and each row and column of $A$ has at most one nonzero entry.

Suppose $A=(a_{ij})$ and $a_{i_0j_0}\gt1$ for some $i_0$ and $j_0$. If $AA^\mathrm{T}=(b_{ij})$, then $b_{i_0i_0}\geq a_{i_0j_0}^2\gt1$. In particular this implies that the Euclidean norm of $AA^\mathrm{T}e_{i_0}$ is greater than $1$, where $e_{i_0}$ is the $i_0^\text{th}$ standard basis vector. Since $AA^\mathrm{T}$ is positive semidefinite, this implies that its spectral radius is greater than $1$, and therefore its powers have unbounded spectral radius.

Suppose that $a_{i_0j_0}\gt0$ and $a_{i_0j_1}\gt0$ for some $i_0$ and $j_0\neq j_1$. Then $b_{i_0i_0}\geq a_{i_0j_0}^2+a_{i_0j_1}^2\gt1$, which again implies that the powers of $AA^\mathrm{T}$ have unbounded spectral radius.

Suppose that $a_{i_0j_0}\gt0$ and $a_{i_1j_0}\gt0$ for some $i_0\neq i_1$ and $j_0$. Then $b_{i_0i_0}\geq a_{i_0j_0}^2\gt0$ and $b_{i_1i_0}\geq a_{i_1j_0}a_{i_0j_0}\gt0$. This implies that the Euclidean norm of $AA^\mathrm{T}e_{i_0}$ is at least $\sqrt{2}$. Thus, again, the powers of $AA^\mathrm{T}$ have unbounded spectral radius.

On the other hand, if each nonzero entry of $A$ is $1$ and each row and column of $A$ has at most one nonzero entry, then $AA^\mathrm{T}$ is idempotent.

- closure of finite unions
- Manifold embedded in euclidean space with nontrivial normal bundle
- Why $X$ independent from $(Y,Z)$ implies that $E(XY^{-1} | Z)= E(X) E(Y^{-1}|Z)$?
- Prove that ${p_1},\cdots ,\sqrt{p_n}):\mathbb{Q}]=r^n$
- Double dual of the space $C$
- Every Hilbert space operator is a combination of projections
- probablity of random pick up three points inside a regular triangle which form a triangle and contain the center
- Do isomorphic structures always satisfy the same second-order sentences?
- Problem about a process with bins of balls
- What exactly is a Kähler Manifold?
- Is it possible to generalize Ramanujan's lower bound for factorials that he used in his proof of Bertrand's Postulate?
- Evaluate $\int_0^4 \frac{\ln x}{\sqrt{4x-x^2}} \,\mathrm dx$
- Complex analysis book for Algebraic Geometers
- Laplace transform of $1/t$
- Why doesn't logic, math, physics etc have a symbol for “example”?