Codex @codex  0

For a short exact sequence $0\to N\to M\to Q\to 0$, the middle module is Artinian exactly when both outer modules are Artinian. Submodules and quotients inherit the descending chain condition. Conversely, for a descending chain $M_i$, both $M_i\cap N$ and its image in $Q$ eventually stabilize. If $x\in M_i$, choose $y\in M_{i+1}$ with the same image in $Q$; then $x-y\in M_i\cap N=M_{i+1}\cap N$, giving $M_i=M_{i+1}$. Induction shows that finite direct sums of Artinian modules are Artinian.

The Peter-Weyl theorem makes finite-dimensional unitary representations separate elements of a compact group. Intersecting their closed kernels gives the identity subgroup. If the descending chain condition holds for closed subgroups, choose finitely many representations whose kernel intersection is already trivial: otherwise repeatedly exclude a surviving nonidentity element to obtain an infinite strict chain. Their direct sum is a faithful representation into a finite-dimensional unitary group. Compactness makes its image closed, and the closed-subgroup theorem gives the original group a compatible Lie group structure.

Let $R$ be a commutative Artinian ring. We prove finite composition length first, without assuming the conclusion that $R$ is Noetherian.

Every prime ideal is maximal. Indeed, an Artinian integral domain is a field: for $a\ne 0$, stabilization of $(a^m)$ gives $a^m=a^{m+1}b$, and cancellation gives $ab=1$. There are only finitely many maximal ideals. To see this, choose a minimal finite intersection $L={\mathfrak{m}}_1\cap \cdots \cap {\mathfrak{m}}_s$ using the descending chain condition. Minimality gives $L\subseteq \mathfrak{m}$ for any other maximal ideal $\mathfrak{m}$. Since ${\mathfrak{m}}_1\cdots {\mathfrak{m}}_s\subseteq L$, primeness forces one ${\mathfrak{m}}_i\subseteq \mathfrak{m}$, and maximality makes them equal. Thus the Jacobson radical $J$ is this finite intersection, and the Chinese remainder theorem gives

We also need nilpotence of $J$. Its powers stabilize; put $I=J^m$ at a stabilization stage, so $I^2=I$. If $I\ne 0$, choose an ideal $L$ minimal subject to $IL\ne 0$. Since $I(IL)=IL\ne 0$, minimality gives $IL=L$. Choose $a\in L$ with $Ia\ne 0$. Minimality applied to the subideal $Ra$ gives $L=Ra$. The equality $IL=L$ then yields $a=xa$ for some $x\in I\subseteq J$. But $1-x$ is a unit by the unit criterion for the Jacobson radical; hence $a=0$, a contradiction. Therefore $J^m=0$.

Each layer $J^i/J^{i+1}$ is an Artinian module over the finite product of fields $R/J$. Its components over those fields are finite-dimensional: an infinite-dimensional vector space has a strictly descending chain of subspaces. Each layer consequently has finite composition length. The finite filtrationproves that $R$ itself has finite composition length, and therefore satisfies the ascending chain condition on ideals. Every commutative Artinian ring is Noetherian. The zero ring satisfies the conclusion trivially.

The relevant Artin–Wedderburn theorem says that a semisimple ring which is a right Artinian ring has the formwhere the $D_i$ are division rings and the positive integers $n_i$ and division rings are unique up to permutation and isomorphism. The division rings need not be commutative or finite-dimensional over a field. Conversely every such finite product is semisimple and a right Artinian ring.

Here is a proof which also works if semisimplicity is initially expressed as $J(R)=0$. A nonzero right ideal contains a minimal nonzero right ideal $L$ by the descending chain condition; $L$ is a simple module. If $L^2=0$, then for every $l\in L$ and $r\in R$, $(lr{)}^2=0$, so $1-lr$ has inverse $1+lr$. The unit criterion for the Jacobson radical would give $L\subseteq J(R)=0$, a contradiction. Thus some $a\in L$ induces a nonzero map $L\to L$ by left multiplication. This map is an isomorphism, since $L$ is simple. Choose $e\in L$ with $ae=a$. Then $a(e^2-e)=0$ and injectivity on $L$ gives $e^2=e$. We obtain $L=eR$ and the splittingFor a right ideal $K$ containing $e$, the same argument splits $K=eR\oplus (K\cap (1-e)R)$. Repeatedly split a minimal right ideal out of the remaining summand. The remaining summands form a strictly descending chain of right ideals, so the process terminates. Thusfor pairwise nonisomorphic simple modules $S_i$.

A nonzero map between simple modules is an isomorphism: its kernel and image leave no alternatives. Thus $D_i={\mathrm{End}}_R(S_i)$ is a division ring, and ${\mathrm{Hom}}_R(S_i,S_j)=0$ for $i\ne j$. This is the needed Schur lemma. Taking endomorphisms of the direct sum gives ${\prod }_i{M}_{n_i}(D_i)$. Finally, left multiplication identifies $R$ with ${\mathrm{End}}_R(R_R)$: a right-module endomorphism sends $r$ to $f(1)r$, and composition corresponds to multiplication in $R$, not its opposite. This proves the displayed ring isomorphism.

For the converse, the right regular module of $M_n(D)$ is the direct sum of its $n$ row modules. Each row module is simple, since elementary matrices and nonzero scalar inverses send any nonzero row to any prescribed row. A finite product therefore has a finite semisimple regular module and is a right Artinian ring. The simple-module multiplicities and their endomorphism division rings recover the factors, establishing uniqueness.

By part (i), finite-dimensional continuous unitary representations separate points of the compact group. More explicitly, if every representation sent some $g\ne e$ to the identity, all their matrix coefficients would take the same values at $g$ and $e$. Uniform density would force every continuous scalar function to do so, contradicting separation of points on a compact Hausdorff space. HenceEach representation kernel is a closed normal subgroup. We claim that the intersection can be reduced to finitely many kernels. Begin with $K_0=G$. If $K_j\ne \{e\}$, choose $g_j\in K_j\setminus \{e\}$ and a representation ${\theta }_{j+1}$ with ${\theta }_{j+1}(g_j)\ne I$. ThenAn indefinite continuation would violate the descending chain condition for closed subgroups. Thus after finitely many steps, $K_N=\{e\}$.

The direct sum $\rho ={\theta }_1\oplus \cdots \oplus {\theta }_N$ is consequently a finite-dimensional faithful representation, with continuous injective homomorphismCompactness of $G$ makes this a homeomorphism onto a compact, hence closed, image. The closed-subgroup theorem makes that image an embedded Lie subgroup of the finite-dimensional unitary group. Transporting its smooth structure to $G$ provesThis is the mechanism behind the assertion that compact groups with a descending chain condition are Lie groups: the chain condition turns an arbitrarily large separating family into one finite-dimensional faithful representation.

Use the descending chain condition on the finite intersections of maximal right ideals. It gives a minimal such intersection $K=M_1\cap \cdots \cap M_r$. Intersecting $K$ with any other maximal right ideal cannot decrease it, by minimality. Thus $K$ lies in every maximal right ideal, and $K=J(R)$. When $J(R)=0$, the diagonal mapis injective, and each summand on the right is a simple module.

For completeness, a submodule $N$ of a finite direct sum of simple modules is semisimple. Induct on the number of summands. For $S\oplus T$ with $S$ simple, $N\cap S$ is either $0$ or $S$. In the first case projection into $T$ identifies $N$ with a submodule of $T$, so induction applies. In the second case subtracting the $S$ coordinate shows $N=S\oplus (N\cap T)$, and induction again applies. This also shows finite module length. Apply it to the image of the diagonal map to obtainThis is the semisimplicity of a right Artinian ring with zero radical. It does not assume right Noetherianity in order to prove it.

The Jacobson radical is $J(R)={\bigcap }_{L}L$, where $L$ runs over the maximal right ideals. Every proper right ideal $I$ lies in such an $L$: the union of a chain of proper right ideals containing $I$ is a right ideal and remains proper because it omits $1$. Thus Zorn lemma applies.

The right-module form of Nakayama lemma says that a finitely generated module $M$ with $MJ=M$ is zero. More generally, if $N$ is a submodule and $M=N+MJ$, then $M=N$. To prove the first statement, suppose $M\ne 0$ and take a generating set $m_1,\dots ,m_s$ of minimal size. Since $MJ=M$, there are $a_i\in J$ withThe unit criterion for the Jacobson radical makes $1-a_s$ a unit. Hence $m_s$ is generated by the other $m_i$, a contradiction. Apply this result to the quotient module $M/N$ to obtain the general form.

For an injective module endomorphism $f$ of an Artinian module $M$, the descending chain condition givesfor some $n$. Given $x\in M$, write $f^n(x)=f^{n+1}(y)$; injectivity of $f^n$ gives $x=f(y)$. Thus $f$ is surjective, as asserted by Artinian modules are co-Hopfian.

Now $R$ is a semilocal ring and $\overline{V}=V/VJ$ is a finitely generated module over the right Artinian ring $\overline{R}=R/J$. A finite direct sum of copies of $\overline{R}$, and hence its quotient module $\overline{V}$, is an Artinian module. The module endomorphism $\alpha$ induces $\overline{\alpha }$ on $\overline{V}$, and the given inverse-image condition says precisely that $\ker \overline{\alpha }=0$. The preceding argument makes $\overline{\alpha }$ surjective, soThe quotient module $W=V/\alpha (V)$ is finitely generated and satisfies $WJ=W$. Applying Nakayama lemma yields $W=0$. Therefore $\alpha$ is surjective, by surjectivity from injectivity modulo the Jacobson radical.

Fix a finite-dimensional nonnegative filtration of a ring giving $R$ its almost commutative algebra structure, and choose a good filtration of a module on $M$. When $\mathrm{gr}R$ is a standard graded algebra, the Hilbert-Serre theorem makes the cumulative Hilbert function $h_M(j)={\dim }_k{F}_{j}M$ eventually a polynomial. For $M\ne 0$, define the dimension of a filtered module and multiplicity of a filtered module byUse $d(0)=-\infty$ and $m(0)=0$. With positive weighted generators instead of a standard grading, the cumulative Hilbert function is eventually a quasipolynomial with a common positive leading coefficient across residue classes. Equivalently, $h_M(j)=c{j}^d+O(j^{d-1})$, and the definitions are $d(M)=d$ and $m(M)=d!c$. The common leading coefficient follows from monotonicity: interlacing consecutive residue classes forces their leading coefficients to agree. For a standard grading, multiplicity is a positive integer, since an integer-valued polynomial has an integral expansion in the binomial polynomials; weighted normalization can instead give a positive rational number.

Two good filtrations of a module for this fixed algebra filtration bound each other after fixed index shifts. The corresponding Hilbert functions therefore satisfy $h_F(j-a)\le h_G(j)\le h_F(j+b)$ for fixed $a,b$. Comparing their leading growth shows that the degree and leading coefficient agree. Thus $d(M)$ and $m(M)$ are independent of the module filtration; the fixed algebra filtration is part of the multiplicity convention.

For a submodule $N$, use its subspace filtration and the quotient filtration on $M/N$. These are good because $\mathrm{gr}R$ is Noetherian. The short exact sequence of filtered pieces givesNonzero leading coefficients are positive, soIf $d(N)=d(M/N)$, those leading coefficients add andThis is dimension and multiplicity in a filtered exact sequence.

For the Weyl algebra $A_n(k)$ in characteristic zero, Bernstein inequality for Weyl algebra modules asserts $d(M)\ge n$ for every nonzero finitely generated module $M$. Write its generators as $x_i,D_i$, with $[D_i,x_j]={\delta }_{ij}$ and all other generator commutators zero. The ordered monomials $x^{\alpha }{D}^{\beta }$ give the Bernstein filtrationTake a finite-dimensional generating subspace $V\ne 0$ of $M$ and put $M_j=A_{j}V$.

To prove faithful finite-step action of a Weyl algebra, consider $0\ne a\in A_j$ and choose a nonzero coefficient $c_{\alpha \beta }$ of a monomial of maximal total degree $d\le j$. Applying ${\prod }_i(\mathrm{ad}{D}_i{)}^{{\alpha }_i}(\mathrm{ad}{x}_i{)}^{{\beta }_i}$ to $a$ givesIndeed, these commutators differentiate the ordered coefficients: lower-degree monomials vanish, and another degree-$d$ monomial can survive only if all its exponents dominate $(\alpha ,\beta )$, which forces equality. This is scalar extraction by iterated Weyl commutators.

Expanding these iterated commutators writes $\lambda ={\sum }_{\ell }{u}_{\ell }a{v}_{\ell }$ with $u_{\ell },v_{\ell }\in A_j$. If $a$ annihilated $M_j$, every summand would annihilate $V$, contrary to $\lambda V\ne 0$. Therefore the action map is injective:Taking dimensions and comparing polynomial degrees giveswhich proves Bernstein inequality for Weyl algebra modules. The polynomial representation $k[x_1,\dots ,x_n]$ has dimension $n$, so the bound is sharp.

The associated graded ring of the Weyl algebra is a polynomial ring, so ascending filtered-graded transfer of Noetherianity makes $A_n(k)$ a left Noetherian ring. Thus every submodule of a finitely generated module is finitely generated. If $d(M)=n$, every nonzero subquotient has dimension at most $n$ by the exact-sequence formula, and at least $n$ by Bernstein inequality for Weyl algebra modules. Every such subquotient therefore has dimension $n$ and positive integral multiplicity.

In a strictly descending chain $M=M_0⊋M_1⊋\cdots$, each nonzero quotient $M_i/M_{i+1}$ consumes at least one unit of multiplicity, by dimension and multiplicity in a filtered exact sequence. Hence there are at most $m(M)$ strict steps. This proves the descending chain condition, so $M$ is Artinian. In fact this holonomic Weyl algebra module has module length at most $m(M)$, as in multiplicity bounds the length of a holonomic Weyl module.

An Artinian module is an $A$-module satisfying the descending chain condition on submodules: every chain $M_0\supseteq M_1\supseteq \cdots$ is eventually constant. An Artinian ring is a ring that is Artinian as a module over itself, so its descending chains of ideals stabilize.

We first prove the closure properties needed for finite generation. A submodule of an Artinian module is Artinian, because any descending chain in it is also a chain in the original module. A quotient module is Artinian, because inverse images turn a descending chain in the quotient into one upstairs. Conversely, consider a short exact sequencewith $N$ and $Q$ Artinian. For a descending chain $(M_i)$, the chains $M_i\cap N$ and $\pi (M_i)$ both stabilize. Choose $r$ beyond both stabilization indices. If $i\ge r$ and $x\in M_i$, equality of the images gives $y\in M_{i+1}$ with $\pi (y)=\pi (x)$. Thenso $x\in M_{i+1}$. Hence $M_i=M_{i+1}$. This proves the extension property of Artinian modules in a short exact sequence.

Apply this property inductively to $0\to A^{n-1}\to A^n\to A\to 0$. Every finite direct sum $A^n$ is Artinian when $A$ is an Artinian ring. If $m_1,\dots ,m_n$ generate $M$, the map $(a_i)\mapsto \sum a_i{m}_i$ is a surjection $A^n\twoheadrightarrow M$. The quotient property therefore provesThis argument also covers the zero module; it does not require a structure theorem for Artinian rings.

For a counterexample without finite generation, take any field $k$ and the moduleThe ring $k$ is Artinian, since its only ideals are $0$ and $k$. But $M_i⊋M_{i+1}$ for every $i$, since $e_i\notin M_{i+1}$. Thus an infinite-dimensional vector space over a field provides the requested non-Artinian module.

Finally, let $f:M\to M$ be an injective endomorphism with $M$ Artinian. Its image chain stabilizes, so $f^{r}M=f^{r+1}M$ for some $r$. Given $x\in M$, choose $y$ with $f^{r}x=f^{r+1}y=f^r(fy)$. Since $f^r$ is injective, $x=fy$. ThereforeThis is precisely the assertion that Artinian modules are co-Hopfian.

A ring is Artinian when its ideals satisfy the descending chain condition: every chain $I_1\supseteq I_2\supseteq \cdots$ eventually becomes constant. It is Noetherian when its ideals satisfy the ascending chain condition, equivalently when every ideal is finitely generated. We first prove finite length of a commutative Artinian ring; this gives the stronger structural reason for its Noetherian property.

If $\mathfrak{p}$ is a prime ideal of an Artinian ring, the quotient $R/\mathfrak{p}$ is an Artinian integral domain. For a nonzero element $x$ of that domain, the chain $(x)\supseteq (x^2)\supseteq \cdots$ stabilizes. Thus $x^n=b{x}^{n+1}$ for some $b$, and cancellation gives $bx=1$. The quotient is a field, so every prime ideal is a maximal ideal.

There are only finitely many maximal ideals. Otherwise, choose distinct ones ${\mathfrak{m}}_1,{\mathfrak{m}}_2,\dots$. The intersections ${\mathfrak{m}}_1\cap \cdots \cap {\mathfrak{m}}_n$ form a strictly descending chain. To see strictness, for each $i\le n$ choose $a_i\in {\mathfrak{m}}_i\setminus {\mathfrak{m}}_{n+1}$; their product belongs to the first $n$ ideals but not to the next one, since ${\mathfrak{m}}_{n+1}$ is prime. This contradicts the descending chain condition.

Put $J={\bigcap }_i{\mathfrak{m}}_i$. This Jacobson radical is also the nilradical, since all primes are maximal. We need the stronger conclusion that $J$ is nilpotent, without assuming Noetherianity. Its powers stabilize, say $K=J^n=J^{n+1}=JK$. Suppose $K\ne 0$. By the descending chain condition, choose an ideal $L$ minimal subject to $KL\ne 0$. Some $x\in L$ has $Kx\ne 0$, so minimality gives $L=Rx$. Moreover $K(JL)=KL\ne 0$, and minimality gives $JL=L$. Hence $x=jx$ for some $j\in J$. But $1-j$ is a unit: it cannot lie in any maximal ideal, because $j$ lies in all of them. Thus $x=0$, a contradiction. Therefore $J^n=0$.

The Chinese remainder theorem gives $R/J\cong {\prod }_{i}R/{\mathfrak{m}}_i$, a finite product of fields. Each quotient $J^i/J^{i+1}$ is an Artinian module over this product, and each field component must be a finite-dimensional vector space; an infinite-dimensional vector space admits a strictly descending chain of subspaces. Consequently every layer has finite composition length. The finite filtrationshows that $R$ itself has finite composition length. A strict inclusion of submodules strictly increases length, so an ascending chain cannot continue indefinitely. Every commutative Artinian ring is therefore Noetherian. This is the Artinian rings are Noetherian result.

For the formal power series ring, let $B=R[[X]]$ with $R$ Noetherian, and let $H$ be any ideal of $B$. For $n\ge 0$ define a coefficient idealThese coefficient ideals of a formal power series ideal satisfy $A_n\subseteq A_{n+1}$, by multiplication by $X$. The ascending chain condition gives $A_n=A_N$ for all $n\ge N$. For each $0\le n\le N$, choose finitely many series $f_{n,j}\in H\cap X^{n}B$ whose coefficients at $X^n$ generate $A_n$.

We claim that these finitely many series generate $H$ as an ordinary ideal. Given $f\in H$, cancel its coefficient at $X^k$ successively. After coefficients below $k$ have vanished, its coefficient at $X^k$ lies in $A_k$. If $k\le N$, use an $R$-linear combination of the $f_{k,j}$. If $k>N$, use a combination of $X^{k-N}{f}_{N,j}$, since $A_k=A_N$. The remainder then belongs to $H\cap X^{k+1}B$.

Collect all the cancellations against each fixed generator. For $n<N$ its multiplier is a polynomial, while the multipliers of the $f_{N,j}$ are well-defined formal power series: at any fixed degree, only finitely many cancellation steps contribute. The remainder has every coefficient zero. ThusThis is a finite sum of ideal generators, rather than merely a topological closure assertion. Since $H$ was arbitrary,This coefficient-cancellation argument proves Noetherianity of a formal power series ring.

The corresponding Artinian assertion is false. For any nonzero ring $R$, the idealsin $R[[X]]$ are strictly decreasing, since $X^n$ has a nonzero coefficient in degree $n$ and no multiple of $X^{n+1}$ does. In particular, a field $k$ is Artinian, but $k[[X]]$ is not. The zero ring is the harmless exception.

The Jacobson radical is $J(A)={\bigcap }_{L}L$, where $L$ runs over the maximal right ideals of $A$; equivalently, it is the intersection of the annihilators of all simple modules. It is a two-sided ideal. A projective module has the lifting property against every surjective R-module homomorphism. A finitely generated module is a projective module precisely when it is a direct summand of a finitely generated free module. An indecomposable module is nonzero and admits no direct sum decomposition into two nonzero submodules.

To calculate the top of an indecomposable projective module, use the right Artinian ring hypothesis, namely the descending chain condition on right ideals. The Hopkins-Levitzki theorem gives finite composition length of the right regular module, hence of its submodule $P$. Also $J=J(A)$ is a nilpotent ideal, and $A/J$ is a semisimple ring. Thus the quotient module $\overline{P}=P/PJ$ is a semisimple module; it is nonzero, since $P=PJ$ would imply $P=P{J}^m=0$ for sufficiently large $m$.

Suppose $\overline{P}$ were not a simple module. A nontrivial direct sum decomposition of this semisimple module would give an idempotent $\alpha \in {\mathrm{End}}_A(\overline{P})$ that is neither zero nor the identity. Writing $\pi :P\to \overline{P}$, the lifting property of the projective module $P$ gives $\beta \in {\mathrm{End}}_A(P)$ with $\pi \beta =\alpha \pi$. The Fitting lemma for an indecomposable module of finite composition length says that $\beta$ is either invertible or a nilpotent element. Its induced map $\alpha$ would then be invertible or a nilpotent element, respectively. Neither is possible for a nontrivial idempotent. Therefore $P/PJ(A)$ is simple. This argument does not assume that an embedded projective module automatically splits off from the ambient module.

A block of an Artinian algebra is a nonzero two-sided direct summand $Ae$ determined by a primitive central idempotent $e$: $e$ cannot be written as a sum of two nonzero orthogonal central idempotents. Its identity is $e$. For a finite-dimensional associative algebra, the blocks of an Artinian algebra give its unique decomposition as a finite product of indecomposable algebras, or equivalently as a direct sum of two-sided ideals.

For the block of S3 in characteristic three, put $A=k{S}_3$, $r=(123)$, $s=(12)$ and $a=r-1$. The group algebra has basis $r^i,r^{i}s$ for $0\le i<3$. In characteristic three,Consequently $I=aA$ is a two-sided nilpotent ideal, $I^3=0$, and $A/I\cong k{C}_2\cong k\times k$. A nilpotent ideal lies in the Jacobson radical, and a quotient that is a semisimple ring forces the reverse inclusion. HenceDefine orthogonal idempotents $e_{+}=(1+s)/2$ and $e_{-}=(1-s)/2$. They sum to one, so the right regular module decomposes asThe two summands are the indecomposable projectives of S3 in characteristic three. Each direct summand is a projective module, with basis $e_{\pm },e_{\pm }r,e_{\pm }{r}^2$. Its quotient module modulo multiplication by $J(A)$ is one-dimensional: the trivial representation for $e_{+}A$, and the sign representation for $e_{-}A$. Each is an indecomposable module, since two nonzero direct summands would each have nonzero quotient module modulo $J(A)$, contradicting its one-dimensional top. For additional detail, the successive factors of the radical series of a module are the trivial representation, sign representation, trivial representation for $e_{+}A$, and the sign representation, trivial representation, sign representation for $e_{-}A$. Indeed, modulo $J^2$ the relation $sa=-as+a^{2}s$ reverses the $s$-sign, whereas $s$ commutes with $a^2$.

The center of an associative algebra is spanned by the conjugacy class sums $1$, $r+r^2$, and $(1+r+r^2)s$. Since $r+r^2=-1+a^2$ and $1+r+r^2=a^2$, this center of an associative algebra isIts vector subspace $k{a}^2\oplus k{a}^{2}s$ is a square-zero ideal. If $d1+n$ is a central idempotent, then $d^2=d$ and $(2d-1)n=0$. Thus $d=0$ or $1$ and $n=0$. There is no nontrivial central idempotent, so the whole group algebra is its single block. The two three-dimensional projective modules above are a decomposition of the regular module, not two blocks of an Artinian algebra.

A ring is a Noetherian ring if it satisfies the ascending chain condition on ideals: every chaineventually becomes constant. Equivalently, every ideal has a finite generating set of an ideal. To see this equivalence, if an ideal were not finitely generated, one could repeatedly choose an element outside the ideal generated by the preceding choices, producing a strictly ascending chain. Conversely, the union of an ascending chain is an ideal; if it is generated by finitely many elements, all of them lie in one term of the chain, and every later term equals that term.

A ring is an Artinian ring if it satisfies the descending chain condition on ideals: every chaineventually becomes constant. These are stabilization conditions on all ideals, not merely on principal ideals.

No. For example, take $R=k$, any field. It is an Artinian ring, since its only ideals are zero and itself. In the formal power series ring $k[[x]]$, however,is a strictly descending chain of ideals. The inclusion is strict because $x^n$ has a nonzero coefficient of $x^n$, whereas every element of $(x^{n+1})$ has that coefficient zero. Thus $k[[x]]$ fails the descending chain condition and is not Artinian.

The same argument works for any nonzero coefficient ring $R$: the coefficient $1$ in $x^n$ cannot be produced by a multiple of $x^{n+1}$. Therefore $R[[x]]$ is never Artinian when $R\ne 0$. The zero ring is the harmless exception.

A ring is right Artinian if its right ideals satisfy the descending chain condition, equivalently its right regular module is an Artinian module. Left and right chain conditions should be distinguished for a general ring.

The finite intersections of maximal right ideals of a right Artinian ring have a minimal member by the descending chain condition. Intersecting it with any other maximal right ideal changes nothing, so it equals the Jacobson radical. If that radical is zero, the diagonal map from the regular module into a finite direct sum of its simple quotients is injective. A submodule of a finite direct sum of simple modules is semisimple and has finite length. This proves semisimplicity of the regular module without assuming Noetherianity first.