**Gröbner Basis**

Merve Algı, Afyon Kocatepe University

**Abstract:** Gröbner bases were introduced in 1965 by Bruno Buchberger in his Ph.D. thesis and he named them after his advisor Wolfgang Gröbner (1899-1980). The basic idea behind the theory can be described as a generalization of the theory of polynomials in one variable. In the polynomial ring where is a field, any ideal can be generated by a single element, namely the greatest common divisor of the elements of . Given any set of generators for , one can compute (using the Euclidean Algorithm) a single polynomial such that . Then a polynomial is in if and only if the remainder of the division of by is zero. Gröbner bases are the analog of greatest common divisors in the multivariate case in the following sense. A Gröbner basis for an ideal generates and a polynomial is in if and only if the remainder of the division of by the polynomials in the Gröbner basis is zero (the appropriate concept of division and ordering is a central aspect of the theory). Firstly, we will give the basic introduction to the concept of a Gröbner basis and show how to compute it using Buchberger’s Algorithm. Then we will extend the theory of Gröbner bases to submodules of a finitely generated free module over a polynomial ring. Thus we will show that the syzygy modules of finitely generated modules can be computed.

References

[1] V. Ene, J Herzog (2012). Gröbner Bases in Commutative Algebra (Graduate studies in mathematics; v.130). American Mathematical Society, 201 Charles Street, Providence, Rhode Island 02904-2294 USA.

[2] W. W. Adams, P. Loustaunaou (1994). An introduction to Gröbner Bases. American Mathematical Society.

[3] T. Becker, V.Weispfenning (1993). A Computational Approach to Commutative Algebra, Springer-Verlag New York.

**Torsion-free Modules**

Mücahit Bozkurt, Çukurova University* *

**Abstract:** Let be an integral domain and be a right -module. is called torsion-free module if implies that either or for and . In , Hattori defined and examined torsion-free modules over a noncommutative ring inspired by the homological property of torsion-free modules over an integral domain. Let be a noncommutative ring and a right -module. is said to be torsion-free module if for all . Torsion-free modules are intimately related to relatively divisible (RD) modules. A left -module is torsion-free if and only if every exact sequence is -exact sequence. Let be a right -module and be a left -module. If, for every exact sequence of left -modules , is exact, then is said to be an -subflat. If is -subflat module, all family of modules is called the subflat domain of and it is denoted by . A right -module is flat if and only if . If is -flat, consists of all torsion-free modules. If is a class of torsion-free modules, we say that -module is test module, shortly -module, for torsion-free modules. In this work, we investigate some properties of subflat domains, a new characterization of torsion-free rings via subflat domains, and the existence of test modules for torsion-freeness.

This research was supported by the Scientific and Technological Research Council of Türkiye. Project number: .

References

[1] A. Hattori (1960). A foundation of torsion theory for modules over general rings. Nagoya Mathematical

Journal, 17, 147-158.

[2] L. Mao (2011). Properties of RD-projective and RD-injective modules. Turkish J. Math., 35(2), 187-205.

[3] R. Alizade and Y. Durğun (2017). Test modules for flatness. Rendiconti del Seminario Mathematico della

Universita di Padova, 137, 75-91.

[4] U. Albrecht, J. Dauns and L. Fuchs (2005). Torsion-freeness and non-singularity over right p.p.-rings, J.

Algebra, 1, 98-119.

[5] J. Dauns and L. Fuchs (2004). Torsion-freeness for rings with zero divisor, J. Algebra Appl.3(3), 1,
221-237.

[6] Y. Durğun (2016). An alternative perspective on flatness of modules, Journal of Algebra and Its App.,

15(08), 1650145.

**Auslander-Reiten Quivers of Type **

Ayşenur Dinçer, Afyon Kocatepe University

**Abstract:** Since the late 1960s, the representation theory started growing fast owing to the introduction of almost split sequences by Maurice Auslander and Idun Reiten, and of quivers and their representations by Peter Gabriel. The use of quivers in the representation theory of finite-dimensional algebras gives us the possibility to visualize the modules of a given algebra very concretely as a collection of matrices, each of which is associated to an arrow in a certain diagram in the quiver. The main tool for describing the representation theory of a finite-dimensional algebra is the Auslander–Reiten quiver, which gives explicit information about the modules as well as the morphisms between them in a most convenient way. The Auslander–Reiten quivers provide a threefold information about the representation theory of the quiver, namely the indecomposable representations, the irreducible morphisms, and the almost split sequences (these in turn should be thought of the building blocks of arbitrary representations, morphisms, and short exact sequences, respectively). We present several methods to compute the Auslander–Reiten quiver of a quiver type . The first method, the knitting algorithm, is a recursive procedure which owes its name to the fact that it produces one mesh after the other. The second method is to compute the orbits under the Auslander–Reiten translation . The third method is a triangulation of a polygon as a geometric way. We will explain “Why does one draw an Auslander-Reiten quiver?”. Finally, we will give a brief history of representation theory highlighting the importance of Auslander-Reiten quivers.

References

[1] R. Schiffler (2014). Quiver Representaions, Springer International Publishing Switzerland.

[2] M. Auslander, I. Reiten, S. O. Smalo (1995). Representation Theory of Artin Algebras, Cambridge Studies

in Advanced Mathematics, vol. 36, Cambridge University Press, Cambridge, MR 1314422 (96c:16015).

[3] I. Assem, F. U. Coelho (2020) Basic Representation Theory of Algebras, Springer Nature Switzerland.

[4] H. Treffinger, (2021) -Tilting Theory-An Introduction.

**Dualities in Artin Algebras**

Victor Blasco, Dokuz Eylül University

**Abstract:** In this talk, after introducing the categorical notion of duality in terms of contravariant functors and looking at some examples, we will show the existence of a duality between the category of finitely generated modules over an Artin Algebra and over its opposite algebra.

References

[1] Auslander, M., Reiten, I., Smalo, S. (1995). Representation Theory of Artin Algebras (Cambridge Studies

in Advanced Mathematics). Cambridge: Cambridge University Press.

**Thin Quiver Representations**

İrem Yıldız, Dokuz Eylül University

**Abstract:** In this talk we will see some types of quivers and basic properties of the representations over them. A representation is called thin if all the vector spaces have dimension less than two. We will prove that all indecomposable representations over a finite connected quiver are thin if and only if is of type .

References

[1] M. Ringel and J. Schröer (2012). Some unpublished notes.

** coGalois Groups of Quivers **

Canan Özeren, Dokuz Eylül University

**Abstract:** Given a module M and an F-cover ϕ : F → M, the coGalois group of ϕ is the subgroup G(ϕ) of Aut(F), consisting of all automorphisms g : F → F such that ϕ ◦ g = ϕ. In this talk, we will give the motivation for our study of coGalois groups associated to covers in the category of representations of quivers.

References

[1] E.E. Enochs, J.R.G. Rozas and L. Oyonarte (2000). Covering morphisms. Communications in Algebra,

28 (8) , 3823–3835.

[2] E.E. Enochs, S. Estrada and J.R.G. Rozas (2006). Galois and coGalois groups asociated with cotorsion

theories. Houston Journal of Mathematics, 32 (3), 651–663.

[3] P. Hill (2008). Abelian group pairs having a trivial coGalois group. Czechoslovak Mathematical Journal,

58 (133), 1069–1081.

**On a Certain Functional Identity Involving Inverses in Division Rings and Local Rings**

Nefise Cezayirlioğlu, Ege University

**Abstract:** Let be a division ring, an automorphism of and a fixed element. We determine the forms of additive maps satisfying the identity

for every nonzero . We show that and are both generalized -derivations of except possibly when is the identity automorphism and is an imperfect field of characteristic two. We further study the same rational identity in the context of local ring under some mild assumptions.

References

[1] Argaç, N., Eroǧlu, M.P., Lee, T.K. and Lin, J.H., 2020. Identities with inverses on matrix rings. Linear and Multilinear Algebra, 68(3), pp.635-651.

[2] M. Bresar(1990). Semiderivations of prime rings. Proc. Amer. Math. Soc., 108(4), 859-860.

[3] L. Catalano(2018). On a certain functional identity involving inverses. Comm. Algebra, 46(8), 3430-3435.

[4] P. M . Cohn(2003). Further Algebra and applications. , London: Springer-Verlag.

[5] J.M. Cusack (1975). Jordan derivations on rings. Proc. Amer. Math. Soc., 53(2), 321-324.

[6] I. N . Herstein(1969). Topics in ring theory. , London: University of Chicago Press.

[7] T.Y. Lam (2001). A first course in noncommutative rings (Graduate Texts in Mathematics, No. 131).
New York-Berlin: Springer-Verlag.

[8] T.K. Lee (2016). Functional identities and Jordan -derivations. Proc. Linear Multilinear Algebra, 64(2),
221-234.

[9] T.K. Lee (2017). Jordan -derivations of prime rings. Rocky. Mountain J. Math., 47(2), 511-525.

[10] T.K. Lee and J.H. Lin (2014). Jordan derivations of prime rings with characteristic two. Proc. Linear
Algebra Appl., 462, 1-15.

[11] J. Vukman (1987). A note on additive mappings in noncommutative fields. Bull. Austral. Math. Soc.,
36(3), 499502.