Source author record

Cándido Martín González

Cándido Martín González appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

14works
1topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

14 published item(s)

preprint2023arXiv

Conservative algebras of $2$-dimensional algebras, V

The notion of conservative algebras appeared in a paper by Kantor in 1972. Later, he defined the conservative algebra $W(n)$ of all algebras (i.e. bilinear maps) on the $n$-dimensional vector space. If $n>1$, then the algebra $W(n)$ does not belong to any well-known class of algebras (such as associative, Lie, Jordan, or Leibniz algebras). It looks like $W(n)$ in the theory of conservative algebras plays a similar role to the role of $\mathfrak{gl}_n$ in the theory of Lie algebras. Namely, an arbitrary conservative algebra can be obtained from a universal algebra $W(n)$ for some $n \in \mathbb{N}.$ The present paper is a part of a series of papers, which dedicated to the study of the algebra $W(2)$ and its principal subalgebras.

preprint2022arXiv

On isomorphism conditions for algebra functors with applications to Leavitt path algebras

We introduce certain functors from the category of commutative rings (and related categories) to that of $\mathbb{Z}$-algebras (not necessarily associative or commutative). One of the motivating examples is the Leavitt path algebra functor $R\mapsto L_R(E)$ for a given graph $E$. Our goal is to find "descending" isomorphism results of the type: if $\mathfrak{F},\mathcal{G}$ are algebra functors and $K\subset K'$ a field extension, under what conditions an isomorphism $\mathfrak{F}(K')\cong \mathcal{G}(K')$ of $K'$-algebras implies the existence of an isomorphism $\mathfrak{F}(K)\cong\mathcal{G}(K)$ of $K$-algebras? We find some positive answers to that problem for the so-called "extension invariant functors" which include the functors associated to Leavitt path algebras, Steinberg algebras, path algebras, group algebras, evolution algebras and others. For our purposes, we employ an extension of the Hilbert's Nullstellensatz Theorem for polynomials in possibly infinitely many variables, as one of our main tools. We also remark that for extension invariant functors $\mathfrak{F},\mathcal{G}$, an isomorphism $\mathfrak{F}(H)\cong\mathcal{G}(H)$, for some Hopf $K$-algebra $H$, implies the existence of an isomorphism $\mathfrak{F}(S)\cong\mathcal{G}(S)$ for any commutative and unital $K$-algebra $S$.

preprint2022arXiv

On simple evolution algebras of dimension two and three. Constructing simple and semisimple evolution algebras

This work classifies three-dimensional simple evolution algebras over arbitrary fields. For this purpose, we use tools such as the associated directed graph, the moduli set, inductive limit group, Zariski topology and the dimension of the diagonal subspace. Explicitly, in the three-dimensional case, we construct some models $_i\mathbf{III}_{λ_1,\ldots,λ_n}^{p,q}$ of such algebras with $1\le i\le 4$, $λ_i\in\mathbb{K}^\times$, $p,q\in\mathbb{N}$, such that any algebra is isomorphic to one (and only one) of the given in the models and we further investigate the isomorphic question within each one. Moreover, we show how to construct simple evolution algebras of higher-order from known simple evolution algebras of smaller size.

preprint2022arXiv

Two dimensional perfect evolution algebras over domains

We will study evolution algebras $A$ which are free modules of dimension $2$ over domains. Furthermore, we will assume that these algebras are perfect, that is $A^2=A$. We start by making some general considerations about algebras over domains: they are sandwiched between a certain essential $D$-submodule and its scalar extension over the field of fractions of the domain. We introduce the notion of quasiperfect algebras and modify slightly the procedure to associate a graph to an evolution algebra over a field given in \cite{ElduqueGraphs}. Essentially, we introduce color in the connecting arrows, depending on a suitable criterion related to the squares of the natural basis elements. Then we classify the algebras under scope parametrizing the isomorphic classes by convenient moduli.

preprint2021arXiv

Evolution algebras with one-dimensional square

Evolution algebras with one dimensional square are classified using the theory of inner product spaces. More precisely, for $A$ an evolution algebra with $\dim(A^2) = 1$ and $a$ a generator of $A^2$, the product of $A$ is given by $xy = \langle x,y\rangle a$. Three broad classes of algebras are obtained: (1) $a\in\hbox{Ann}(A)$; (2) $a\notin\text{Ann}(A)$ and $a$ is isotropic relative to $\langle\cdot, \cdot\rangle$; (3) $a\notin\text{Ann}(A)$ and $a$ is anisotropic relative to $\langle\cdot, \cdot\rangle$.

preprint2020arXiv

Chains in evolution algebras

In this work we approach three-dimensional evolution algebras from certain constructions performed on two-dimensional algebras. More precisely, we provide four different constructions producing three-dimensional evolution algebras from two-dimensional algebras. Also we introduce two parameters, the annihilator stabilizing index and the socle stabilizing index, which are useful tools in the classification theory of these algebras. Finally, we use moduli sets as a convenient way to describe isomorphism classes of algebras.

preprint2020arXiv

Invariants ideals in Leavitt Path algebras

It is known that the ideals of a Leavitt path algebra $L_K(E)$ generated by $\Pl(E)$, by $\Pc(E)$ or by $\Pec(E)$ are invariant under isomorphism. Though the ideal generated by $\Pb(E)$ is not invariant we find its \lq\lq natural\rq\rq\ replacement (which is indeed invariant): the one generated by the vertices of $\Pbp$ (vertices with pure infinite bifurcations). We also give some procedures to construct invariant ideals from previous known invariant ideals. One of these procedures involves topology, so we introduce the $\tops$ topology and relate it to annihilators in the algebraic counterpart of the work. To be more explicit: if $H$ is a hereditary saturated subset of vertices providing an invariant ideal, its exterior $\ext(H)$ in the $\tops$ topology of $E^0$ generates a new invariant ideal. The other constructor of invariant ideals is more categorical in nature. Some hereditary sets can be seen as functors from graphs to sets (for instance $\Pl$, etc). Thus a second method emerges from the possibility of applying the induced functor to the quotient graph. The easiest example is the known socle chain $\soc^{(1)}(\ )\subset\soc^{(2)}(\ )\subset\cdots$ all of which are proved to be invariant. We generalize this idea to any hereditary and saturated invariant functor. Finally we investigate a kind of composition of hereditary and saturated functors which is associative.

preprint2016arXiv

Using the Steinberg algebra model to determine the center of any Leavitt path algebra

Given an arbitrary graph, we describe the center of its Leavitt path algebra over a commutative unital ring. Our proof uses the Steinberg algebra model of the Leavitt path algebra. A key ingredient is a characterization of compact open invariant subsets of the unit space of the graph groupoid in terms of the underlying graph: an open invariant subset is compact if and only if its associated hereditary and saturated set of vertices satisfies Condition (F). We also give a basis of the center. Its cardinality depends on the number of minimal compact open invariant subsets of the unit space.

preprint2015arXiv

$σ$-Biderivations and $σ$-commuting maps of triangular algebras

Let $\A$ be an algebra and $σ$ an automorphism of $\A$. A linear map $d$ of $\A$ is called a $σ$-derivation of $\A$ if $d(xy) = d(x)y + σ(x)d(y)$, for all $x, y \in \A$. A bilinear map $D: \A \times \A \to \A$ is said to be a $σ$-biderivation of $\A$ if it is a $σ$-derivation in each component. An additive map $Θ$ of $\A$ is $σ$-commuting if it satisfies $Θ(x)x - σ(x)Θ(x) = 0$, for all $x \in \A$. In this paper, we introduce the notions of inner and extremal $σ$-biderivations and of proper $σ$-commuting maps. One of our main results states that, under certain assumptions, every $σ$-biderivation of a triangular algebras is the sum of an extremal $σ$-biderivation and an inner $σ$-biderivation. Sufficient conditions are provided on a triangular algebra for all of its $σ$-biderivations (respectively, $σ$-commuting maps) to be inner (respectively, proper). A precise description of $σ$-commuting maps of triangular algebras is also given. A new class of automorphisms of triangular algebras is introduced and precisely described. We provide many classes of triangular algebras whose automorphisms can be precisely described.

preprint2015arXiv

Algebraic structure of the Lorentz and of the Poincaré Lie algebras

We start with the Lorentz algebra $ L=o_{R}(1,3)$ over the reals and find a suitable basis $B$ relative to which the structure constants are integers. Thus we consider the $Z$-algebra $L_{Z}$ which is free as a $Z$-module and its $Z$-basis is $B$. This allows us to define the Lorentz type algebra $L_K:=L_{Z}\otimes_{Z} K$ over any field $K$. In a similar way, we consider Poincaré type algebras over any field $K$. In this paper we study the ideal structure of Lorentz and of Poincaré type algebras over different fields. It turns out that Lorentz type algebras are simple if and only if the ground field has no square root of $-1$. Thus, they are simple over the reals but not over the complex. Also, if the ground field is of characteristic $2$ then Lorentz and Poincaré type algebras are neither simple nor semisimple. We extend the study of simplicity of the Lorentz algebra to the case of a ring of scalars where we have to use the notion of $m$-simplicity (relative to a maximal ideal $m$ of the ground ring of scalars). The Lorentz type algebras over a finite field $F_q$ where $q=p^n$ and $p$ is odd are simple if and only if $n$ is odd and $p$ of the form $p=4k+3$. In case $p=2$ then the Lorentz type algebra are not simple. Once we know the ideal structure of the algebras, we get some information of their automorphism groups. For the Lorentz type algebras (except in the case of characteristic $2$) we describe the affine group scheme of automorphisms and the derivation algebras. For the Poincaré algebras we restrict this program to the case of an algebraically closed field of characteristic other than $2$.

preprint2013arXiv

Centers of path algebras, Cohn and Leavitt path algebras

We study the center of several types of path algebras. We start with the path algebra $KE$ and prove that if the number of vertices is infinite then the center is zero. Otherwise, it coincides with the field $K$ except when the graph $E$ is a cycle in which case the center is $K[x]$, the polynomial algebra in one indeterminate. Then we compute the centers of prime Cohn and Leavitt path algebras. A lower and an upper bound for the center of a Leavitt path algebra are given by introducing the graded Baer radical for graded algebras.

preprint2011arXiv

Atlas of Leavitt Path Algebras of small graphs

The aim of this work is the description of the isomorphism classes of all Leavitt path algebras coming from graphs satisfying Condition (Sing) with up to three vertices. In particular, this classification recovers the one achieved by Abrams et al. in the case of graphs whose Leavitt path algebras are purely infinite simple. The description of the isomorphism classes is given in terms of a series of invariants including the K_0 group, the socle, the number of loops with no exits and the number of hereditary and saturated subsets of the graph.