b'\n_START_ARTICLE_\nFormellt sl\xc3\xa4t avbildning\n_START_PARAGRAPH_\nInom algebraisk geometri och kommutativ algebra s\xc3\xa4ges en ringhomomorfism f:A\\to B vara formellt sl\xc3\xa4t om den satisfierar f\xc3\xb6ljande infinitesimala lyftningsegenskap:_NEWLINE_Antag att B ges strukturen av en A-algebra via avbildningen f. Givet en kommutativ A-algebra C och ett nilpotent ideal N\\subseteq C, kan varje A-algebrahomomorfism B\\to C/N lyftas till en A-algebraavbildning B \\to C. Om varje s\xc3\xa5dan avbildning dessutom \xc3\xa4r unik, s\xc3\xa4ges f vara formellt \xc3\xa9tale._NEWLINE_Formellt sl\xc3\xa4ta avbildningar definierades av Alexander Grothendieck i \xc3\x89l\xc3\xa9ments de g\xc3\xa9om\xc3\xa9trie alg\xc3\xa9brique IV. Bland annat bevisade han att varje s\xc3\xa5dan avbildning \xc3\xa4r platt._NEWLINE_F\xc3\xb6r \xc3\xa4ndligpresenterade morfismer \xc3\xa4r formel sl\xc3\xa4thet ekvivalent till vanlig sl\xc3\xa4thet.'