<p>In this paper, we classify and study commutative algebras having a one-dimensional square. In finite dimension (see Theorem <InternalRef RefID="FPar22">3.9</InternalRef>) besides some cases (which are all associative and nilpotent with nilpotency index 3), the algebras with zero annihilator are either of symplectic type (appearing only in characteristic 2), or evolution algebras. In infinite dimension, ruling out the associative case, we prove that our algebras are either of symplectic type or evolution algebras provided some technical conditions are satisfied (see Theorem <InternalRef RefID="FPar27">3.12</InternalRef>). Our main tool is the theory of inner product spaces and quadratic forms. More precisely, if <i>A</i> denotes an evolution algebra with <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2812_Article_IEq1.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="89" /> </InlineMediaObject> <EquationSource Format="TEX">\(\dim (A^2) = 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>dim</mo> <mo stretchy="false">(</mo> <msup> <mi>A</mi> <mn>2</mn> </msup> <mo stretchy="false">)</mo> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> and <i>a</i> a generator of <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2812_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(A^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>A</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation>, then <i>A</i> admits an inner product <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2812_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(\langle \cdot , \cdot \rangle \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">⟨</mo> <mo>·</mo> <mo>,</mo> <mo>·</mo> <mo stretchy="false">⟩</mo> </mrow> </math></EquationSource> </InlineEquation> such that the product of <i>A</i> is given by <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2812_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="92" /> </InlineMediaObject> <EquationSource Format="TEX">\(xy = \langle x, y\rangle a\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mi>y</mi> <mo>=</mo> <mo stretchy="false">⟨</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo stretchy="false">⟩</mo> <mi>a</mi> </mrow> </math></EquationSource> </InlineEquation>. There are three classes to consider: <OrderedList> <ListItem> <ItemNumber>(1)</ItemNumber> <ItemContent> <p><InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2812_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="87" /> </InlineMediaObject> <EquationSource Format="TEX">\(a\in \textrm{Ann}(A)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>∈</mo> <mtext>Ann</mtext> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>;</p> </ItemContent> </ListItem> <ListItem> <ItemNumber>(2)</ItemNumber> <ItemContent> <p><InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2812_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="87" /> </InlineMediaObject> <EquationSource Format="TEX">\(a\notin \textrm{Ann}(A)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>∉</mo> <mtext>Ann</mtext> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <i>a</i> is isotropic relative to <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2812_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(\langle \cdot , \cdot \rangle \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">⟨</mo> <mo>·</mo> <mo>,</mo> <mo>·</mo> <mo stretchy="false">⟩</mo> </mrow> </math></EquationSource> </InlineEquation>;</p> </ItemContent> </ListItem> <ListItem> <ItemNumber>(3)</ItemNumber> <ItemContent> <p><InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2812_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="87" /> </InlineMediaObject> <EquationSource Format="TEX">\(a\notin \textrm{Ann}(A)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>∉</mo> <mtext>Ann</mtext> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <i>a</i> is anisotropic relative to <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2812_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(\langle \cdot , \cdot \rangle \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">⟨</mo> <mo>·</mo> <mo>,</mo> <mo>·</mo> <mo stretchy="false">⟩</mo> </mrow> </math></EquationSource> </InlineEquation>.</p> </ItemContent> </ListItem> </OrderedList> The isomorphism problem among these objects is investigated. For some of these algebras, we have also determined the existence of faithful associative representations in certain Clifford algebras.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Commutative Algebras with One-Dimensional Square

  • Dolores Martín Barquero,
  • Cándido Martín González,
  • Juana Sánchez-Ortega

摘要

In this paper, we classify and study commutative algebras having a one-dimensional square. In finite dimension (see Theorem 3.9) besides some cases (which are all associative and nilpotent with nilpotency index 3), the algebras with zero annihilator are either of symplectic type (appearing only in characteristic 2), or evolution algebras. In infinite dimension, ruling out the associative case, we prove that our algebras are either of symplectic type or evolution algebras provided some technical conditions are satisfied (see Theorem 3.12). Our main tool is the theory of inner product spaces and quadratic forms. More precisely, if A denotes an evolution algebra with \(\dim (A^2) = 1\) dim ( A 2 ) = 1 and a a generator of \(A^2\) A 2 , then A admits an inner product \(\langle \cdot , \cdot \rangle \) · , · such that the product of A is given by \(xy = \langle x, y\rangle a\) x y = x , y a . There are three classes to consider: (1)

\(a\in \textrm{Ann}(A)\) a Ann ( A ) ;

(2)

\(a\notin \textrm{Ann}(A)\) a Ann ( A ) and a is isotropic relative to \(\langle \cdot , \cdot \rangle \) · , · ;

(3)

\(a\notin \textrm{Ann}(A)\) a Ann ( A ) and a is anisotropic relative to \(\langle \cdot , \cdot \rangle \) · , · .

The isomorphism problem among these objects is investigated. For some of these algebras, we have also determined the existence of faithful associative representations in certain Clifford algebras.