\(n\)-torsion clean and almost \(n\)-torsion clean matrix rings (Q2027917)

For an arbitrary fixed \(n\in \mathbb{N}\), a ring \(R\) is said to be \(n\)-\textsl{torsion clean} if, for each \(r\in R\), there exist a unit \(u\) with \( u^{n}=1\) and an idempotent \(e\) such that \(r=u+e\) and \(n\) is the smallest possible positive integer having this (decomposable) property. Without the minimality of \(n\) for \(u\), the ring \(R\) is called \textsl{almost }\(n\)-\textsl{torsion clean}. The following definition is introduced: Let \(p\) be a prime. If the polynomial \(X^{n}-1\) over the field \(\mathbb{F}_{p}\) has divisors of every degree less or equal to \(n\), then \(n\) is said to be \(p\)\textsl{-practical}. The following results are proved. Theorem 2.1. Let \(m,n\in \mathbb{N}\). Then, for each matrix of size \(n\), there exists \(m\in \{2,3,4\}\) such that \(\mathbb{M}_{n}(\mathbb{F}_{2})\) is almost \(m\)-torsion clean. In addition, if \(n\in 4+8\mathbb{N}\), then \( \mathbb{M}_{n}(\mathbb{F}_{2})\) is exactly \(4\)-torsion clean. Theorem 2.2. Let \(n>2\) be an integer. Then: 1. If \(n\) is 2-practical, then \(\mathbb{M}_{n}(\mathbb{F}_{2})\) is almost \(n\)-torsion clean. 2. If \(\mathbb{M}_{n}(\mathbb{F}_{2})\) is almost \(n\)-torsion clean, then \(n\) is not necessarily 2-practical. Theorem 2.3. Let \(n>2\) be an integer. Then \(\mathbb{T}_{n}(\mathbb{F }_{2})\) is almost \(n\)-torsion clean if and only if \(n=2^{l}\), where \(l\in \mathbb{N}\backslash \{0,1\}\). Theorem 2.4. Let \(n>2\) and \(m>2\) be two integers and let \(t\geq 1\) be an integer such that \(2t<n\leq 2t+1\). Then \(\mathbb{T}_{n}(\mathbb{F}_{2}) \) is \(m\)-torsion clean if and only if \(m=2t+1\). Theorem 2.5. Let \(n>2\) be an integer. Then \(\mathbb{T}_{n}(\mathbb{F}_{2})\) is \(n\)-torsion clean if and only if \(n=2^{l}\), where \(l\in \mathbb{N} \backslash \{0,1\}\).