• Source: Finitely generated algebra

In mathematics, a finitely generated algebra (also called an algebra of finite type) is a commutative associative algebra



A


{\displaystyle A}

over a field



K


{\displaystyle K}

where there exists a finite set of elements




a

1


,
…
,

a

n




{\displaystyle a_{1},\dots ,a_{n}}

of



A


{\displaystyle A}

such that every element of



A


{\displaystyle A}

can be expressed as a polynomial in




a

1


,
…
,

a

n




{\displaystyle a_{1},\dots ,a_{n}}

, with coefficients in



K


{\displaystyle K}

.
Equivalently, there exist elements




a

1


,
…
,

a

n


∈
A


{\displaystyle a_{1},\dots ,a_{n}\in A}

such that the evaluation homomorphism at





a


=
(

a

1


,
…
,

a

n


)


{\displaystyle {\bf {a}}=(a_{1},\dots ,a_{n})}






ϕ


a



:
K
[

X

1


,
…
,

X

n


]
↠
A


{\displaystyle \phi _{\bf {a}}\colon K[X_{1},\dots ,X_{n}]\twoheadrightarrow A}


is surjective; thus, by applying the first isomorphism theorem,



A
≃
K
[

X

1


,
…
,

X

n


]

/



k
e
r


(

ϕ


a



)


{\displaystyle A\simeq K[X_{1},\dots ,X_{n}]/{\rm {ker}}(\phi _{\bf {a}})}

.
Conversely,



A
:=
K
[

X

1


,
…
,

X

n


]

/

I


{\displaystyle A:=K[X_{1},\dots ,X_{n}]/I}

for any ideal



I
⊆
K
[

X

1


,
…
,

X

n


]


{\displaystyle I\subseteq K[X_{1},\dots ,X_{n}]}

is a



K


{\displaystyle K}

-algebra of finite type, indeed any element of



A


{\displaystyle A}

is a polynomial in the cosets




a

i


:=

X

i


+
I
,
i
=
1
,
…
,
n


{\displaystyle a_{i}:=X_{i}+I,i=1,\dots ,n}

with coefficients in



K


{\displaystyle K}

. Therefore, we obtain the following characterisation of finitely generated



K


{\displaystyle K}

-algebras




A


{\displaystyle A}

is a finitely generated



K


{\displaystyle K}

-algebra if and only if it is isomorphic as a



K


{\displaystyle K}

-algebra to a quotient ring of the type



K
[

X

1


,
…
,

X

n


]

/

I


{\displaystyle K[X_{1},\dots ,X_{n}]/I}

by an ideal



I
⊆
K
[

X

1


,
…
,

X

n


]


{\displaystyle I\subseteq K[X_{1},\dots ,X_{n}]}

.
If it is necessary to emphasize the field K then the algebra is said to be finitely generated over K. Algebras that are not finitely generated are called infinitely generated.




Examples


The polynomial algebra



K
[

x

1


,
…
,

x

n


]


{\displaystyle K[x_{1},\dots ,x_{n}]}

is finitely generated. The polynomial algebra in countably infinitely many generators is infinitely generated.
The field



E
=
K
(
t
)


{\displaystyle E=K(t)}

of rational functions in one variable over an infinite field



K


{\displaystyle K}

is not a finitely generated algebra over



K


{\displaystyle K}

. On the other hand,



E


{\displaystyle E}

is generated over



K


{\displaystyle K}

by a single element,



t


{\displaystyle t}

, as a field.
If



E

/

F


{\displaystyle E/F}

is a finite field extension then it follows from the definitions that



E


{\displaystyle E}

is a finitely generated algebra over



F


{\displaystyle F}

.
Conversely, if



E

/

F


{\displaystyle E/F}

is a field extension and



E


{\displaystyle E}

is a finitely generated algebra over



F


{\displaystyle F}

then the field extension is finite. This is called Zariski's lemma. See also integral extension.
If



G


{\displaystyle G}

is a finitely generated group then the group algebra



K
G


{\displaystyle KG}

is a finitely generated algebra over



K


{\displaystyle K}

.




Properties


A homomorphic image of a finitely generated algebra is itself finitely generated. However, a similar property for subalgebras does not hold in general.
Hilbert's basis theorem: if A is a finitely generated commutative algebra over a Noetherian ring then every ideal of A is finitely generated, or equivalently, A is a Noetherian ring.




Relation with affine varieties


Finitely generated reduced commutative algebras are basic objects of consideration in modern algebraic geometry, where they correspond to affine algebraic varieties; for this reason, these algebras are also referred to as (commutative) affine algebras. More precisely, given an affine algebraic set



V
⊆


A


n




{\displaystyle V\subseteq \mathbb {A} ^{n}}

we can associate a finitely generated



K


{\displaystyle K}

-algebra




Γ
(
V
)
:=
K
[

X

1


,
…
,

X

n


]

/

I
(
V
)


{\displaystyle \Gamma (V):=K[X_{1},\dots ,X_{n}]/I(V)}


called the affine coordinate ring of



V


{\displaystyle V}

; moreover, if



ϕ
:
V
→
W


{\displaystyle \phi \colon V\to W}

is a regular map between the affine algebraic sets



V
⊆


A


n




{\displaystyle V\subseteq \mathbb {A} ^{n}}

and



W
⊆


A


m




{\displaystyle W\subseteq \mathbb {A} ^{m}}

, we can define a homomorphism of



K


{\displaystyle K}

-algebras




Γ
(
ϕ
)
≡

ϕ

∗


:
Γ
(
W
)
→
Γ
(
V
)
,


ϕ

∗


(
f
)
=
f
∘
ϕ
,


{\displaystyle \Gamma (\phi )\equiv \phi ^{*}\colon \Gamma (W)\to \Gamma (V),\,\phi ^{*}(f)=f\circ \phi ,}


then,



Γ


{\displaystyle \Gamma }

is a contravariant functor from the category of affine algebraic sets with regular maps to the category of reduced finitely generated



K


{\displaystyle K}

-algebras: this functor turns out to be an equivalence of categories




Γ
:
(

affine algebraic sets


)


o
p
p



→
(

reduced finitely generated

K

-algebras

)
,


{\displaystyle \Gamma \colon ({\text{affine algebraic sets}})^{\rm {opp}}\to ({\text{reduced finitely generated }}K{\text{-algebras}}),}


and, restricting to affine varieties (i.e. irreducible affine algebraic sets),




Γ
:
(

affine algebraic varieties


)


o
p
p



→
(

integral finitely generated

K

-algebras

)
.


{\displaystyle \Gamma \colon ({\text{affine algebraic varieties}})^{\rm {opp}}\to ({\text{integral finitely generated }}K{\text{-algebras}}).}





Finite algebras vs algebras of finite type


We recall that a commutative



R


{\displaystyle R}

-algebra



A


{\displaystyle A}

is a ring homomorphism



ϕ
:
R
→
A


{\displaystyle \phi \colon R\to A}

; the



R


{\displaystyle R}

-module structure of



A


{\displaystyle A}

is defined by




λ
⋅
a
:=
ϕ
(
λ
)
a
,

λ
∈
R
,
a
∈
A
.


{\displaystyle \lambda \cdot a:=\phi (\lambda )a,\quad \lambda \in R,a\in A.}


An



R


{\displaystyle R}

-algebra



A


{\displaystyle A}

is called finite if it is finitely generated as an



R


{\displaystyle R}

-module, i.e. there is a surjective homomorphism of



R


{\displaystyle R}

-modules





R


⊕

n




↠
A
.


{\displaystyle R^{\oplus _{n}}\twoheadrightarrow A.}


Again, there is a characterisation of finite algebras in terms of quotients

An



R


{\displaystyle R}

-algebra



A


{\displaystyle A}

is finite if and only if it is isomorphic to a quotient




R


⊕

n





/

M


{\displaystyle R^{\oplus _{n}}/M}

by an



R


{\displaystyle R}

-submodule



M
⊆
R


{\displaystyle M\subseteq R}

.
By definition, a finite



R


{\displaystyle R}

-algebra is of finite type, but the converse is false: the polynomial ring



R
[
X
]


{\displaystyle R[X]}

is of finite type but not finite.
Finite algebras and algebras of finite type are related to the notions of finite morphisms and morphisms of finite type.




References






See also


Finitely generated module
Finitely generated field extension
Artin–Tate lemma
Finite algebra
Morphism of finite type

Kata Kunci Pencarian:

• Grup sederhana
• Grup abelian bebas
• Grup abelian yang dihasilkan tak hingga
• Finitely generated algebra
• Finitely generated module
• Finitely generated
• Finitely generated group
• Morphism of finite type
• Finitely generated abelian group
• Σ-algebra
• Invariant theory
• Finite algebra
• Hilbert's fourteenth problem