Automorphism | EPFL Graph Search

Are you an EPFL student looking for a semester project?

Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.

In mathematics, an automorphism is an isomorphism from a mathematical object to itself. It is, in some sense, a symmetry of the object, and a way of mapping the object to itself while preserving all of its structure. The set of all automorphisms of an object forms a group, called the automorphism group. It is, loosely speaking, the symmetry group of the object. In the context of abstract algebra, a mathematical object is an algebraic structure such as a group, ring, or vector space. An automorphism is simply a bijective homomorphism of an object with itself. (The definition of a homomorphism depends on the type of algebraic structure; see, for example, group homomorphism, ring homomorphism, and linear operator.) The identity morphism (identity mapping) is called the trivial automorphism in some contexts. Respectively, other (non-identity) automorphisms are called nontrivial automorphisms. The exact definition of an automorphism depends on the type of "mathematical object" in question and what, precisely, constitutes an "isomorphism" of that object. The most general setting in which these words have meaning is an abstract branch of mathematics called . Category theory deals with abstract objects and morphisms between those objects. In category theory, an automorphism is an endomorphism (i.e., a morphism from an object to itself) which is also an isomorphism (in the categorical sense of the word, meaning there exists a right and left inverse endomorphism). This is a very abstract definition since, in category theory, morphisms are not necessarily functions and objects are not necessarily sets. In most concrete settings, however, the objects will be sets with some additional structure and the morphisms will be functions preserving that structure. Automorphism group If the automorphisms of an object form a set (instead of a proper class), then they form a group under composition of morphisms. This group is called the automorphism group of . Closure Composition of two automorphisms is another automorphism.

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related publications (6)

Nielsen Equivalence In Gupta-Sidki Groups

Aglaia Myropolska

For a group G generated by k elements, the Nielsen equivalence classes are defined as orbits of the action of AutF(k), the automorphism group of the free group of rank k, on the set of generating k-tu

Amer Mathematical Soc2017

The automorphism group of a self-dual [72; 36; 16] code is not an elementary abelian group of order 8

Martino Borello

Elsevier2014

Automorphisms of order 2p in binary self-dual extremal codes of length a multiple of 24

Martino Borello

Let C be a binary self-dual code with an automorphism g of order 2p, where p is an odd prime, such that gp is a fixed point free involution. If C is extremal of length a multiple of 24, all the involu

Institute of Electrical and Electronics Engineers2013

Related people (1)

Martino Borello

Related concepts (132)

Related courses (3)

Related lectures (76)

Field (mathematics)

In mathematics, a field is a set on which addition, subtraction, multiplication, and division are defined and behave as the corresponding operations on rational and real numbers do. A field is thus a fundamental algebraic structure which is widely used in algebra, number theory, and many other areas of mathematics. The best known fields are the field of rational numbers, the field of real numbers and the field of complex numbers.

Automorphism

Complex number

In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted i, called the imaginary unit and satisfying the equation ; every complex number can be expressed in the form , where a and b are real numbers. Because no real number satisfies the above equation, i was called an imaginary number by René Descartes. For the complex number , a is called the , and b is called the . The set of complex numbers is denoted by either of the symbols or C.

MATH-310: Algebra

Study basic concepts of modern algebra: groups, rings, fields.

MATH-110(a): Advanced linear algebra I

L'objectif du cours est d'introduire les notions de base de l'algèbre linéaire et de démontrer rigoureusement les résultats principaux de ce sujet.

MATH-211: Group Theory

Après une introduction à la théorie des catégories, nous appliquerons la théorie générale au cas particulier des groupes, ce qui nous permettra de bien mettre en perspective des notions telles que quo

Group Actions: G-object Notion

Explores the categorical framework for group actions, focusing on the concept of G-objects in different categories.

Automorphism Groups: Essential Chief Series

Explores essential chief series in tdlc groups, focusing on closed, normal subgroups and their chief factors.

Endomorphisms and automorphisms of totally disconnected locally compact groups III

Explores the properties of endomorphisms and automorphisms of locally compact groups, emphasizing invariance, tree representation theory, and minimal subgroups.