ラベル 定義たちと命題たち の投稿を表示しています。 すべての投稿を表示
ラベル 定義たちと命題たち の投稿を表示しています。 すべての投稿を表示

2025年1月12日日曜日

952: 4-シンメトリックグループ(対称群)に対して、4-オルタネイティンググループ(交代群)がオーダー12を持つ唯一のサブグループ(部分群)である

<このシリーズの前の記事 | このシリーズの目次 |

4-シンメトリックグループ(対称群)に対して、4-オルタネイティンググループ(交代群)がオーダー12を持つ唯一のサブグループ(部分群)であることの記述/証明

話題


About: グループ(群)

この記事の目次

951: n-オルタネイティンググループ(交代群)

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

n-オルタネイティンググループ(交代群)の定義

話題


About: グループ(群)

この記事の目次

950: ベーシス(基底)を持つモジュール(加群)からモジュール(加群)の中へ、リニアマップ(線形写像)を、ベーシス(基底)をマッピングしマッピングをリニア(線形)に拡張することによって定義できる

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

ベーシス(基底)を持つモジュール(加群)からモジュール(加群)の中へ、リニアマップ(線形写像)を、ベーシス(基底)をマッピングしマッピングをリニア(線形)に拡張することによって定義できることの記述/証明

話題


About: モジュール(加群)

この記事の目次

949: ベーシス(基底)を持つモジュール(加群)に対して、要素のベーシス(基底)に関するコンポーネントたちセット(集合)はユニークである

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

ベーシス(基底)を持つモジュール(加群)に対して、要素のベーシス(基底)に関するコンポーネントたちセット(集合)はユニークであることの記述/証明

話題


About: モジュール(加群)

この記事の目次

948: マルチリニアマップ(多重線形写像)は必ずしもリニア(線形)ではない

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

マルチリニアマップ(多重線形写像)は必ずしもリニア(線形)ではないことの記述/証明

話題


About: モジュール(加群)

この記事の目次

947: マルチリニアマップ(多重線形写像)

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

マルチリニアマップ(多重線形写像)の定義

話題


About: モジュール(加群)

この記事の目次

946: プロダクトベクトルたちスペース(空間)

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

プロダクトベクトルたちスペース(空間)の定義

話題


About: ベクトルたちスペース(空間)

この記事の目次

945: プロダクトモジュール(加群)

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

プロダクトモジュール(加群)の定義

話題


About: モジュール(加群)

この記事の目次

944: シンメトリックグループ(対称群)上のサイクル(巡回置換)たちのいくつかのマルチプリケーション(積)たちに関するメモ

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

シンメトリックグループ(対称群)上のサイクル(巡回置換)たちのいくつかのマルチプリケーション(積)たちに関するメモの記述/証明

話題


About: グループ(群)

この記事の目次

943: ファイナイト(有限)グループ(群)、サブグループ(部分群)でそのインデックスがグループ(群)のオーダーの最小プライム(素数)因子であるものに対して、サブグループ(部分群)はノーマルサブグループ(正規部分群)である

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

ファイナイト(有限)グループ(群)、サブグループ(部分群)でそのインデックスがグループ(群)のオーダーの最小プライム(素数)因子であるものに対して、サブグループ(部分群)はノーマルサブグループ(正規部分群)であることの記述/証明

話題


About: グループ(群)

この記事の目次

942: グループ(群)たちに対する第1アイソモーフィズム(同形写像)定理

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

グループ(群)たちに対する第1アイソモーフィズム(同形写像)定理の記述/証明

話題


About: グループ(群)

この記事の目次

2025年1月7日火曜日

928: シンプリシャルコンプレックスたちのインターセクション(共通集合)はシンプリシャルコンプレックスであり、インターセクション(共通集合)のアンダーライイング(下にある)スペース(空間)は構成要素たちのアンダーライイング(下にある)スペース(空間)たちのインターセクション(共通集合)内に包含されているが、必ずしも等しくはない

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

シンプリシャルコンプレックスたちのインターセクション(共通集合)はシンプリシャルコンプレックスであり、インターセクション(共通集合)のアンダーライイング(下にある)スペース(空間)は構成要素たちのアンダーライイング(下にある)スペース(空間)たちのインターセクション(共通集合)内に包含されているが、必ずしも等しくはないことの記述/証明

話題


About: ベクトルたちスペース(空間)

この記事の目次

941: グループ(群)ホモモーフィズム(準同形写像)のカーネル(核)はドメイン(定義域)のノーマルサブグループ(正規部分群)である

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

グループ(群)ホモモーフィズム(準同形写像)のカーネル(核)はドメイン(定義域)のノーマルサブグループ(正規部分群)であることの記述/証明

話題


About: グループ(群)

この記事の目次

940: グループ(群)ホモモーフィズム(準同形写像)のカーネル(核)

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

グループ(群)ホモモーフィズム(準同形写像)のカーネル(核)の定義

話題


About: グループ(群)

この記事の目次

939: グループ(群)、サブグループ(部分群)、サブグループ(部分群)の、グループ(群)要素による左または右コセット(剰余類)に対して、サブグループ(部分群)の、コセット(剰余類)の要素たちまたは要素たちのインバース(逆)たちによるコンジュゲート(共役)たちは同一である

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

グループ(群)、サブグループ(部分群)、サブグループ(部分群)の、グループ(群)要素による左または右コセット(剰余類)に対して、サブグループ(部分群)の、コセット(剰余類)の要素たちまたは要素たちのインバース(逆)たちによるコンジュゲート(共役)たちは同一であることの記述/証明

話題


About: グループ(群)

この記事の目次

938: 2つのポジティブ(正)ナチュラルナンバー(自然数)たちでそれらの最大公約数が1であるものに対して、インテジャー(整数)たちモジュロナンバー(自然数)たちの積グループ(群)は、インテジャー(整数)たちモジュロ第1ナンバー(数)グループ(群)とインテジャー(整数)たちモジュロ第2ナンバー(数)グループ(群)のダイレクトプロダクトへ'グループ(群)たち - ホモモーフィズム(準同形写像)たち'アイソモーフィック(同形写像)である

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

2つのポジティブ(正)ナチュラルナンバー(自然数)たちでそれらの最大公約数が1であるものに対して、インテジャー(整数)たちモジュロナンバー(自然数)たちの積グループ(群)は、インテジャー(整数)たちモジュロ第1ナンバー(数)グループ(群)とインテジャー(整数)たちモジュロ第2ナンバー(数)グループ(群)のダイレクトプロダクトへ'グループ(群)たち - ホモモーフィズム(準同形写像)たち'アイソモーフィック(同形写像)であることの記述/証明

話題


About: グループ(群)

この記事の目次

937: \(C^\infty\)マニフォールド(多様体)、バウンダリー(境界)付き、上の\(C^\infty\)ベクトルたちフィールド(場)たちのリーブラケット(コミューテイター)

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

\(C^\infty\)マニフォールド(多様体)、バウンダリー(境界)付き、上の\(C^\infty\)ベクトルたちフィールド(場)たちのリーブラケット(コミューテイター)の定義

話題


About: \(C^\infty\)マニフォールド(多様体)

この記事の目次

936: \(C^\infty\)マニフォールド(多様体)、バウンダリー(境界)付き、タンジェント(接)ベクトルたちバンドル(束)、ベーススペース(空間)のイマーストサブマニフォールド、バウンダリー(境界)付きに対して、サブマニフォールド、バウンダリー(境界)付きのタンジェント(接)ベクトルたちバンドル(束)は、カノニカルに、リストリクテッド(制限された)ベクトルたちバンドル(束)の中へ\(C^\infty\)エンベッデッドである

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

\(C^\infty\)マニフォールド(多様体)、バウンダリー(境界)付き、タンジェント(接)ベクトルたちバンドル(束)、ベーススペース(空間)のイマーストサブマニフォールド、バウンダリー(境界)付きに対して、サブマニフォールド、バウンダリー(境界)付きのタンジェント(接)ベクトルたちバンドル(束)は、カノニカルに、リストリクテッド(制限された)ベクトルたちバンドル(束)の中へ\(C^\infty\)エンベッデッドであることの記述/証明

話題


About: \(C^\infty\)マニフォールド(多様体)

この記事の目次

935: リーアルジェブラ(多元環)ホモモーフィズム(準同形写像)のレンジ(値域)はコドメイン(余域)のリーサブ(部分)アルジェブラ(多元環)である

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

リーアルジェブラ(多元環)ホモモーフィズム(準同形写像)のレンジ(値域)はコドメイン(余域)のリーサブ(部分)アルジェブラ(多元環)であることの記述/証明

話題


About: リーアルジェブラ(多元環)

この記事の目次

934: ベクトルたちスペース(空間)たち間リニア(線形)マップ(写像)のレンジ(値域)はコドメイン(余域)のサブ(部分)ベクトルたちスペース(空間)である

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

ベクトルたちスペース(空間)たち間リニア(線形)マップ(写像)のレンジ(値域)はコドメイン(余域)のサブ(部分)ベクトルたちスペース(空間)であることの記述/証明

話題


About: ベクトルたちスペース(空間)

この記事の目次