Birleşmeli cebir

Matematikte, birleşmeli cebir A birleşmeli halka (mutlaka birimsel değil) ve R değişmeli halka üzerinde bir modülün veya daha genel olarak belli bir K alanı üzerinde bir vektör uzayının uyumlu bir yapısına sahiptir. Böylece hem alan K veya halka R elemanları ile uyumlu çarpmanın birleşimi ve dağılımını içeriyor hem de aksiyomların bir sayısını karşılayan toplam ve çarpımının ikili operasyonları ile donatılmıştır. Örneğin, bir K alanı üzerinde kare matrislerin bir halkası birleşmeli K cebiridir. Daha genel olarak S,birleşmeli C cebiridir,merkez C ve bir halka S ile verilir. Matematiğin bazı alanlarında, birleşmeli cebirlerin genellikle 1 ile gösterilen, bir çarpımsal biriminin olduğu varsayılır. Bu ekstra varsayımı açıklığa kavuşturan, bu birleşmeli cebirlere birimsel cebirler denir. Ayrıca, bazı yazarlar tüm halkaların birimsel olması fikrinde; Bu makalede, halka kelimesinin potansiyel birimsel olmayan halkalara karşılık geldiği amaçlanmıştır.

Resmi tanım

Diyelimki R sabitlenmiş bir değişmeli halka olsun. Bir birleşmeli R-cebri bir ek abelyen grup Adır bu halka çarpımı gibi bir yol içinde hem bir halka ve hem de bir R-modülün yapısı olan R-çiftdoğrusaldır:

tüm rR için ve x, yA ve Biz diyoruzki A birimsel ise 1 ögesini içerir böylece

tüm xA için. Unutmadan böyle bir 1 ögesi o hiç var olmadığından tek olmalıdır.

Eğer A kendisi birleşmeli (bir halka olarak) ise bu bir birleşmeli R-cebridir.

R-modülünden

bir R-modulo A ile başlıyoruz,biz A donanımlı bir birleşmeli R-cebir ile bir R-çiftdoğrusal eşleme A × AA alıyoruz, böylece

tüm x, y, ve z için A içinde. Bu R-çiftdoğrusal eşleme ise verilen bir A halka yapısı ve bir birleşmeli R-cebir verilir. Her birleşmeli R-cebir bu şekilde ortaya çıkar.

Dahası,A cebri bu şekilde birimsel ancak ve ancak burada A nın bir 1 ögesi olacak şekilde örülmüştür.Böylece A nın karşıladığı her x ögesi 1x = x1 = x.

Bu tanım durumu için eşdeğer bir birimsel birleşmeli R-cebri R-Mod içinde bir monoiddir.(R-modülünün monoidal kategorisi).

Halkalardan

Bir halka ile başlayarak A, we get bir birimsel birleşmeli R-cebir bir halka homomorfizmi ile sağlanan böylece Anın merkezi içinde yer alan görüntüsüdür. A cebri gibi de düşünülebilir bir R-module ile tanımlanıyor

tüm rR için ve xA.

Eğer A değişmeli ise A nın mer..kezi A için eşdeğerdir, böylece bir değişmeli birimsel R-cebir değişmeli halkaların basit bir homomorfizmi olarak tanımlanabilir.

Cebrik homomorfizmler

Bir homomorfizm iki birleşmeli R-cebirleri ile bir R-doğrusal halka homomorfizmi arasındadır. Açıkçası bir birleşmeli cebir homomorfizmidir.Eğer

birimsel birleşmeli R-cebirinin bir homomorfizmi için, ayrıca arzuladığımız

tüm birimsel birleşmeli R-cebirinin sınıfı ile ile birlikte cebir homomorfizmleri bir kategori formu arasında, bazen R-Alg ile ifade edilir.

Birleşmeli R-cebirinin altkategorisi eşdilim kategori R/CRing olarak karakterize edilebilen burada CRing birleşmeli halkaların kategorisidir.

Örnekler

En temel örnek bir halkanın kendisidir; onun merkezi ya da merkezinde yatan herhangi bir alt halka üzerinde bir cebiridir. Özellikle de, herhangi bir değişmeli halka kendi Althalkalar üzerinde herhangi bir cebiridir. Diğer örnekler cebir ve matematik diğer alanlarına hem de boldur.

Cebir

Bu nedenle halka ve birimsel Z-cebirleri abeliyan grup lar ve Z-modüllerinin eşdeğeridir, aynı şekilde, eşdeğer kavramlar vardır.

Analiz

Geometri ve kombinatorik

Kurulumlar

Altcebirler
bir R-cebrinin bir altcebri olan Anın bir altkümesi Anın hem bir althalkası ve hem de bir altkümesidir. Şöyleki, toplama, halka çarpım, skaler çarpım altında kapalılık(periyodisite olmalı yani modül veya döngü), ve Anın birim öğesini içermelidir.
Bölüm cebiri
Diyelimki A bir R-cebri olsun. Anın içerisinde ideal Inin herhangi teorik halka r·x = (r1A)x bir R-modülü bağlamında otomatiktir. Bu verilen bölüm halkası A/I bir R-modülünün yapısı ve aslında, bir R-cebridir. Aşağıdaki Anın herhangi halka homomorfizm imajı ayrıca bir R-cebridir.
Direkt çarpım
R-cebirlerinin bir ailesinin direk çarpımı halka-teoretik direkt çarpımdır. Bu bir R-cebri ile açık skaler çarpım alır.
çarpımlar
One can form of grupların serbest çarpımı için benzer bir şekilde içinde R-cebirlerinin bir serbest çarpım formu olabilir.Serbest çarpım R-cebirlerinin kategorisi içinde eşçarpımdır.
Tensor çarpımları
İki R-cebirinin tensör çarpımı ayrıca bir doğal yol içinde bir R-cebridir .Ayrıntı için Cebirlerin tensör çarpımına bakınız.

Bir Lie cebri için alıştırma

One can try to be more clever in defining bir tensör çarpımı tanımı içinde daha akıllıca olduğu denenebilir. Bir örnekle düşünelim,

böylece tensör çarpım uzayı üzerinde bir hareket şöyle verilebilir

.

Bu eşleme x içinde açıklıkla doğrusaldır, vve böylece daha önceki tanımında sorun yoktur. Bununla birlikte, çarpımı korumak için başarısız olur:

.

Ancak, genel olarak, bu eşit değildir

.

Bu tensör çarpımının bu tanımının çok saf olduğunu gösterir. Bir Lie cebiri (yerine bir ilişkisel cebir hariç) çift gösterimleri tensör çarpımını tanımlamak için da kullanılabilmektedir olabilir.

Ayrıca balınız

Kaynakça

This article is issued from Vikipedi - version of the 3/30/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.