84:
74:
53:
22:
162:
I think the discussion of free products with amalgamation would be benefited by at least a brief argument for the universal property of the construction. (In other words, a bit more detailed discussion into why it's the pushout in the category of groups.) If I have time, I will try to get around to
215:
for k a field, or even a commutative ring. I think we should expand a section on universality in the category of groups and add a section larger than 3 lines on the free product of other algebraic structures. I'm thoroughly confused regarding the free product of rings or algebras, which is briefly
346:
I have tried to clarify this sentence. I am not proud of the style, so feel free to improve it. By the way, I have replaced "most general" by the correct technical term, which is "universal". I'll link it in a next edit
140:
331:
Does that mean simply that all groups having those properties are homomorphic images of this one? Is this in some sense the smallest group that has all of those as homomorphic images?
376:
130:
371:
177:
The article only defines free product, and then goes on to talk about amalgamated free products without saying what they are, nor giving a link.
106:
243:
is said to be freely indecomposable if it is nontrivial and cannot be expressed as the free product of two nontrivial groups. Examples are:
97:
58:
217:
33:
324:
197:
21:
336:
261:
39:
83:
168:
196:
Obviously the free product is the coproduct in the category of groups, and with amalgamation is the
293:
178:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
352:
332:
257:
225:
182:
89:
73:
52:
327:
by the elements of these subgroups, and is the âmost generalâ group having these properties.
164:
365:
348:
221:
285:
281:
102:
79:
192:
Universality and the corresponding notions to monoids, rings, and algebras
320:
163:
this myself but thought it would be worth mentioning here, as well. -
356:
340:
265:
229:
186:
172:
15:
256:
Any group with a nontrivial periodic normal subgroup
101:, a collaborative effort to improve the coverage of
8:
19:
47:
158:Free product with amalgamation discussion
49:
7:
200:. This is also true in the category
95:This article is within the scope of
38:It is of interest to the following
253:Any group with a nontrivial center
14:
377:Mid-priority mathematics articles
115:Knowledge:WikiProject Mathematics
372:Start-Class mathematics articles
118:Template:WikiProject Mathematics
82:
72:
51:
20:
292:is an operation that takes two
276:This article begins as follows:
135:This article has been rated as
272:Precision about "most general"
216:mentioned over at the article
1:
266:04:24, 28 February 2015 (UTC)
173:14:17, 15 November 2010 (UTC)
109:and see a list of open tasks.
311:. The result contains both
250:Any nontrivial abelian group
235:Freely indecomposable groups
218:Tensor product of R-algebras
303:and constructs a new group
247:Any nontrivial finite group
230:21:56, 27 August 2014 (UTC)
393:
357:21:57, 21 March 2019 (UTC)
341:20:34, 21 March 2019 (UTC)
204:of monoids, as well as in
187:03:47, 17 March 2023 (UTC)
134:
67:
46:
141:project's priority scale
98:WikiProject Mathematics
329:
28:This article is rated
278:
121:mathematics articles
90:Mathematics portal
34:content assessment
155:
154:
151:
150:
147:
146:
384:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
392:
391:
387:
386:
385:
383:
382:
381:
362:
361:
284:, specifically
274:
237:
214:
194:
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
390:
388:
380:
379:
374:
364:
363:
360:
359:
273:
270:
269:
268:
254:
251:
248:
236:
233:
212:
193:
190:
159:
156:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
389:
378:
375:
373:
370:
369:
367:
358:
354:
350:
345:
344:
343:
342:
338:
334:
333:Michael Hardy
328:
326:
322:
318:
314:
310:
306:
302:
298:
295:
291:
287:
283:
277:
271:
267:
263:
259:
258:GeoffreyT2000
255:
252:
249:
246:
245:
244:
242:
234:
232:
231:
227:
223:
219:
211:
207:
203:
199:
191:
189:
188:
184:
180:
175:
174:
170:
166:
157:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
330:
316:
312:
308:
304:
300:
296:
290:free product
289:
286:group theory
279:
275:
240:
238:
209:
205:
201:
195:
176:
161:
137:Mid-priority
136:
96:
62:Midâpriority
40:WikiProjects
282:mathematics
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
366:Categories
165:mathemajor
325:generated
321:subgroups
349:D.Lazard
239:A group
222:Daviddwd
179:Selinger
198:pushout
139:on the
294:groups
288:, the
36:scale.
323:, is
353:talk
337:talk
315:and
299:and
262:talk
226:talk
220:. --
208:and
206:Ring
183:talk
169:talk
319:as
280:In
210:Alg
202:Mon
131:Mid
368::
355:)
339:)
307:â
264:)
228:)
185:)
171:)
351:(
335:(
317:H
313:G
309:H
305:G
301:H
297:G
260:(
241:G
224:(
213:k
181:(
167:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.